The Description Logic Handbook
The Description Logic Handbook
Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family
Journal of Automated Reasoning
On Instance-level Update and Erasure in Description Logic Ontologies
Journal of Logic and Computation
A Logic Based Approach to the Static Analysis of Production Systems
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
Formalizing production systems with rule-based ontologies
FoIKS'12 Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems
Simulating production rules using ACTHEX
Correct Reasoning
Hi-index | 0.00 |
Production systems are an established paradigm in knowledge representation, while ontologies are widely used to model and reason about the domain of an application. Description logics, underlying for instance the Web ontology language OWL, are a well-studied formalism to express ontologies. In this work we combine production systems (PS) and Description Logics (DL) in such a way that allows one to express both, facts and rules, using an ontology language. We explore the space of design options for combining the traditional closed world semantics of PS with the open world semantics of DL and propose a generic semantics for such combination. We show how to encode our semantics in a fixpoint extension of first-order logic. We show that in special cases (monotonic and light PS) checking properties of the system such as termination is decidable.