For concreteness we sketch how such an ontology based agent belief store could be implemented in a multi-threaded logic programming language with imperative and object oriented programming features called Go!. This language was specifically designed for implementing communicating rational agent applications. We shall see that its Prolog style rules allow us to considerable enrich the ontology with rule defined n-ary relations and functions.
For inferences licensed by the ontology we shall use a combination of forward and backward chaining deduction, with justifications associated with each dynamically asserted fact. The justifications are used in the pragmatics of consistency maintenance, an issue not normally considered by the ontology community, and to allow any inferred asserted facts to be automatically removed when one of the facts from which they were derived is removed.
The paper assumes some familiarity with ontology specification using languages such as Owl and with logic programming.
KEYWORDS: Labeled theories, object-oriented logic programming, ontology repesentation
Click here for a pdf version of the paper (OntBelStore.pdf, 224K bytes).