Share Email Print
cover

Proceedings Paper

Derivation of ontological relations using formal methods in a situation awareness scenario
Author(s): Christopher J. Matheus; Kenneth P. Baclawski; Mieczyslaw M. Kokar
Format Member Price Non-Member Price
PDF $14.40 $18.00

Paper 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.

Paper Details

Date Published: 1 April 2003
PDF: 12 pages
Proc. SPIE 5099, Multisensor, Multisource Information Fusion: Architectures, Algorithms, and Applications 2003, (1 April 2003); doi: 10.1117/12.488441
Show Author Affiliations
Christopher J. Matheus, Versatile Information Systems, Inc. (United States)
Kenneth P. Baclawski, Northeastern Univ. (United States)
Northeastern Univ. (United States)
Mieczyslaw M. Kokar, Northeastern Univ. (United States)
Northeastern Univ. (United States)


Published in SPIE Proceedings Vol. 5099:
Multisensor, Multisource Information Fusion: Architectures, Algorithms, and Applications 2003
Belur V. Dasarathy, Editor(s)

© SPIE. Terms of Use
Back to Top