On Integrating Description Logic and Rules under MH Semantics

From International Center for Computational Logic
Toggle side column

On Integrating Description Logic and Rules under MH Semantics

Anees ul MehdiAnees ul Mehdi,  Alexandre Miguel PintoAlexandre Miguel Pinto,  Sebastian RudolphSebastian Rudolph
Anees ul Mehdi, Alexandre Miguel Pinto, Sebastian Rudolph
On Integrating Description Logic and Rules under MH Semantics
Technical Report, Institut AIFB, KIT, July 2012. Technical Report
  • KurzfassungAbstract
    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 new 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. 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 new 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. Finally, due to the MHs featuring 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.Finally, due to the MHs featuring 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.
  • Forschungsgruppe:Research Group: Computational Logic
@techreport{MPR2012,
  author      = {Anees ul Mehdi and Alexandre Miguel Pinto and Sebastian Rudolph},
  title       = {On Integrating Description Logic and Rules under {MH} Semantics},
  institution = {Institut {AIFB,} {KIT}},
  year        = {2012},
  month       = {July}
}