Another way to state this fact is to reason syntactically about the axioms.
The axioms from (le1) to (le6) simply add write effects to assertions.
The categorically minded reader will recognise these axioms as the unit, multiplication and functoriality axioms for a monad.
The use of ontologies (with axioms) within multi-agent systems is a topic that has recently received much attention.
Foundational theories provide the semantics for the ontology and their axioms serve as a basis for the implementation of competency questions.
Ultimately, this layered metaphor can be extended to check the ontological axioms themselves against another set of axioms, meta-axioms, which could come from another ontology.
Axioms of the form (6)+(9) are now taken as the (abnormality) axioms.
The simulation process is accomplished by deduction with logical axioms, describing abnormal behaviour, and assumed (abnormal) states.
