Inproceedings3293
On Integrating Description Logics and Rules under Minimal Hypotheses
On Integrating Description Logics and Rules under Minimal Hypotheses
Published: 2012
September
Buchtitel: Proceedings of the 6th International Conference on Web Reasoning and Rule Systems
Verlag: RR2012
Nicht-referierte Veröffentlichung
BibTeX
Kurzfassung
A central and much debated topic in the Knowledge Representation
and Reasoning community is how to combine open-world with closed-world formalisms,
such as Description Logics (DLs) with Logic Programming. We propose
a crossed fixed-point approach to defining the semantics of hybrid theories,
composed of a DL and a Normal Logic Program (NLP) parts, which employs
Pinto and Pereira’s Minimal Hypotheses semantics (MHs) for the latter. Because
this semantics is more general than the currently employed semantics for hybrid
DL-NLP KBs based on Stable Model (SM) semantics, and because MH
semantics guarantees model existence for every NLP, our hybrid semantics also
guarantees the existence of models for any hybrid DL-NLP theory with consistent
DL fragment and consistent DL-NLP ensemble. Because MHs features beneficial
theoretical properties, like relevance and cumulativity, existential query answering
tasks may not need to consider the whole hybrid KB, as it is necessarily the
case with current state-of-the-art approaches based on the SM semantics.