The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
A Coherent Well-founded Model for Hybrid MKNF Knowledge Bases
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Equilibria in heterogeneous nonmonotonic multi-context systems
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Reconciling description logics and rules
Journal of the ACM (JACM)
A Novel Combination of Answer Set Programming with Description Logics for the Semantic Web
IEEE Transactions on Knowledge and Data Engineering
| Hi-index | 0.00 |
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 an approach to defining the semantics of hybrid theories, composed of a DL and a Normal Logic Program (NLP) parts, which employs standard open-world semantics for the former and Pinto and Pereira's Minimal Hypotheses semantics (MHs) for the latter. As opposed to the currently employed semantics for hybrid DL-NLP KBs based on Stable Model (SM) semantics, our hybrid semantics 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.