A goal-directed implementation of query answering for hybrid MKNF knowledge bases


Ontologies and rules are usually loosely coupled in knowledge representation formalisms. In fact, ontologies use open-world reasoning while the leading semantics for rules use non-monotonic, closed-world reasoning. One exception is the tightly-coupled framework of Minimal Knowledge and Negation as Failure (MKNF), which allows statements about individuals to… (More)
DOI: 10.1017/S1471068412000439


4 Figures and Tables

Slides referencing similar topics