Event Ordering Using Graphical Notation for Event-B Models

Author(s):  
Rahul Karmakar ◽  
Bidyut Biman Sarkar ◽  
Nabendu Chaki
2014 ◽  
Vol 4 (1) ◽  
Author(s):  
V. Uma ◽  
G. Aghila

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.


2001 ◽  
Vol 16 (4) ◽  
pp. 295-329 ◽  
Author(s):  
ANTHONY HUNTER

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.


2018 ◽  
Vol 14 (2) ◽  
pp. e1005740 ◽  
Author(s):  
Vasundra Touré ◽  
Nicolas Le Novère ◽  
Dagmar Waltemath ◽  
Olaf Wolkenhauer

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

2017 ◽  
Vol 24 (12) ◽  
pp. 1226-1229 ◽  
Author(s):  
Haitham Elmarakeby ◽  
Mostafa Arefiyan ◽  
Elijah Myers ◽  
Song Li ◽  
Ruth Grene ◽  
...  

Author(s):  
Stuart Moodie ◽  
Nicolas Le Novere ◽  
Emek Demir ◽  
Huaiyu Mi ◽  
Falk Schreiber

Sign in / Sign up

Export Citation Format

Share Document