Event Ordering Using Graphical Notation for Event-B Models

2020 ◽  
pp. 377-389
Author(s):  
Rahul Karmakar ◽  
Bidyut Biman Sarkar ◽  
Nabendu Chaki
Keyword(s):  
Graphical Notation ◽  
Event Ordering

scholarly journals Event order generation using Reference Event based qualitative Temporal (REseT) relations in Time Event Ontology

2014 ◽  
Vol 4 (1) ◽  
Author(s):  
V. Uma ◽  
G. Aghila
Keyword(s):  
Query Languages ◽  
Vital Role ◽  
Knowledge Representation And Reasoning ◽  
Interval Algebra ◽  
Event Ordering ◽  
Ontology Language ◽  
Reference Event ◽  
Event Order ◽  
Event Based ◽  
Temporal Ordering

AbstractOWL (Web Ontology Language) is the standard language for Semantic Web and is used in defining ontologies for Web. Temporal event data are ubiquitous in nature. Temporal data can be represented qualitatively using temporal relations in OWL, enabling temporal ordering of events which plays a vital role in task planners. The basic Allen’s temporal interval relations can be used to describe relations in OWL. Allen’s interval algebra is a well known formalism used to represent and reason the temporal knowledge. In this work, Allen’s interval algebra is extended by Reference Event based Temporal (REseT) relations to reduce the ambiguity in the before relation. The extended formalism is used in the representation of relations between time intervals and the viability of ordering of events in ontology is elucidated. This paper proposes a temporal knowledge representation and reasoning based event ordering system which helps in the temporal ordering of events. The advantage of this method is that it does not introduce any additional constructs in OWL and hence the existing reasoning tools and DL based query languages are capable of generating the linear order of events. The system is investigated experimentally using the COW (Correlates of War) dataset and has been evaluated using the Percent_ Similarity measure.

Hybrid argumentation systems for structured news reports

2001 ◽  
Vol 16 (4) ◽  
pp. 295-329 ◽  
Author(s):  
ANTHONY HUNTER
Keyword(s):  
Knowledge Management ◽  
Decision Support ◽  
Hybrid Systems ◽  
Real World ◽  
Hybrid Approach ◽  
Graphical Notation ◽  
The Real ◽  
News Reports ◽  
Further Development ◽  
Argumentation Systems

Numerous argumentation systems have been proposed in the literature. Yet there often appears to be a shortfall between proposed systems and possible applications. In other words, there seems to be a need for further development of proposals for argumentation systems before they can be used widely in decision-support or knowledge management. I believe that this shortfall can be bridged by taking a hybrid approach. Whilst formal foundations are vital, systems that incorporate some of the practical ideas found in some of the informal approaches may make the resulting hybrid systems more useful. In informal approaches, there is often an emphasis on using graphical notation with symbols that relate more closely to the real-world concepts to be modelled. There may also be the incorporation of an argument ontology oriented to the user domain. Furthermore, in informal approaches there can be greater consideration of how users interact with the models, such as allowing users to edit arguments and to weight influences on graphs representing arguments. In this paper, I discuss some of the features of argumentation, review some key formal argumentation systems, identify some of the strengths and weaknesses of these formal proposals and finally consider some ways to develop formal proposals to give hybrid argumentation systems. To focus my discussions, I will consider some applications, in particular an application in analysing structured news reports.

scholarly journals Quick tips for creating effective and impactful biological pathways using the Systems Biology Graphical Notation

2018 ◽  
Vol 14 (2) ◽  
pp. e1005740 ◽  
Author(s):  
Vasundra Touré ◽  
Nicolas Le Novère ◽  
Dagmar Waltemath ◽  
Olaf Wolkenhauer
Keyword(s):  
Systems Biology ◽  
Biological Pathways ◽  
Graphical Notation

Model querying with graphical notation of QVT relations

2012 ◽  
Vol 37 (4) ◽  
pp. 1-8
Author(s):  
Dan Li ◽  
Xiaoshan Li ◽  
Volker Stolz
Keyword(s):  
Graphical Notation ◽  
Qvt Relations

Beacon Editor: Capturing Signal Transduction Pathways Using the Systems Biology Graphical Notation Activity Flow Language

2017 ◽  
Vol 24 (12) ◽  
pp. 1226-1229 ◽  
Author(s):  
Haitham Elmarakeby ◽  
Mostafa Arefiyan ◽  
Elijah Myers ◽  
Song Li ◽  
Ruth Grene ◽  
...  
Keyword(s):  
Signal Transduction ◽  
Systems Biology ◽  
Signal Transduction Pathways ◽  
Graphical Notation

scholarly journals Systems Biology Graphical Notation: Process Description language Level 1

2010 ◽  
Author(s):  
Stuart Moodie ◽  
Nicolas Le Novere ◽  
Emek Demir ◽  
Huaiyu Mi ◽  
Falk Schreiber
Keyword(s):  
Systems Biology ◽  
Description Language ◽  
Graphical Notation ◽  
Language Level ◽  
Level 1

Globally consistent event ordering in one-directional distributed environments

1996 ◽  
Vol 7 (6) ◽  
pp. 665-670 ◽  
Author(s):  
P. Ammann ◽  
S. Jajodia ◽  
P.G. Frankl
Keyword(s):  
Distributed Environments ◽  
Event Ordering
Sign in / Sign up

Export Citation Format

Share Document