Techreport3028: Unterschied zwischen den Versionen
Ame (Diskussion | Beiträge) |
Ame (Diskussion | Beiträge) |
||
Zeile 38: | Zeile 38: | ||
necessarily the case with current state-of-the-art approaches based on the SM | 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. | 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. | ||
+ | |Download=Main.pdf, | ||
|Projekt=ExpresST | |Projekt=ExpresST | ||
|Forschungsgruppe=Wissensmanagement | |Forschungsgruppe=Wissensmanagement | ||
}} | }} |
Version vom 2. Juli 2012, 14:56 Uhr
Published: 2012
Juli
Type: Technical Report
Institution: Institut AIFB, KIT
Erscheinungsort / Ort: Karlsruhe
Archivierungsnummer:3028
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 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.
Download: Media:Main.pdf