Formalizing Production Systems with Rule-Based Ontologies

  title={Formalizing Production Systems with Rule-Based Ontologies},
  author={Mart{\'i}n Rezk and Michael Kifer},
In this paper we proposed a new semantics for the combination of production systems with arbitrary DL ontologies. Unlike previous approaches, the semantics presented here allow looping rules and can handle inconsistencies produced by the interaction of the rule actions and the ontology. We also define a sound embedding of such semantics, restricted to rule-based DL Ontologies, into Transaction Logic with partial action definitions (T R). This reduction adds a declarative semantics to the… CONTINUE READING