Derivation of ontological relations using formal methods in a situation awareness scenario

Christopher J. Matheus; Kenneth P. Baclawski; Mieczyslaw M. Kokar

doi:10.1117/12.488441

1 April 2003 Derivation of ontological relations using formal methods in a situation awareness scenario

Christopher J. Matheus, Kenneth P. Baclawski, Mieczyslaw M. Kokar

Proceedings Volume 5099, Multisensor, Multisource Information Fusion: Architectures, Algorithms, and Applications 2003; (2003) https://doi.org/10.1117/12.488441
Event: AeroSense 2003, 2003, Orlando, Florida, United States

Abstract

This paper describes a case study of relation derivation within the context of situation awareness. First we present a scenario in which inputs are supplied by a simulated Level 1 system. The inputs are events annotated with terms from an ontology for situation awareness. This ontology contains concepts used to represent and reason about situations. The ontology and the annotations of events are represented in DAML and Rule-ML and then systematically translated to a formal method language called MetaSlang. Having all information expressed in a formal method language allows us to use a theorem prover, SNARK, to prove that a given relationship among the Level 1 objects holds (or that it does not hold). The paper shows a proof of concept that relation derivation in situation awareness can be done within a formal framework. It also identifies bottlenecks associated with this approach, such as the issue of the large number of potential relations that may have to be considered by the theorem prover. The paper discusses ways of resolving this as well as other problems identified in this study.

Citation Download Citation

Christopher J. Matheus, Kenneth P. Baclawski, and Mieczyslaw M. Kokar "Derivation of ontological relations using formal methods in a situation awareness scenario", Proc. SPIE 5099, Multisensor, Multisource Information Fusion: Architectures, Algorithms, and Applications 2003, (1 April 2003); https://doi.org/10.1117/12.488441

ACCESS THE FULL ARTICLE

INSTITUTIONAL
Select your institution to access the SPIE Digital Library.

SELECT YOUR INSTITUTION

PERSONAL
Sign in with your SPIE account to access your personal subscriptions or to use specific features such as save to my library, sign up for alerts, save searches, etc.

PERSONAL SIGN IN

No SPIE Account? Create one

PURCHASE THIS CONTENT

SUBSCRIBE TO DIGITAL LIBRARY

50 downloads per 1-year subscription

Members: $195

Non-members: $335 ADD TO CART

25 downloads per 1 - year subscription

Members: $145

Non-members: $250 ADD TO CART

PURCHASE SINGLE ARTICLE

Includes PDF, HTML & Video, when available