Formalizing production systems with rule-based ontologies
FoIKS, pp. 332-351, 2012.
In this paper we proposed a new semantics for the combination of production systems with arbitraryDL 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, r...More
Full Text (Upload PDF)
PPT (Upload PPT)