Stage-oe-small.jpg

Inproceedings3293: Unterschied zwischen den Versionen

Aus Aifbportal
Wechseln zu:Navigation, Suche
(Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorNachname=ul Mehdi |ErsterAutorVorname=Anees }} {{Publikation Author |Rank=2 |Author=Alexandre Miguel Pinto }} {{Publikation…“)
 
 
Zeile 34: Zeile 34:
 
tasks may not need to consider the whole hybrid KB, as it is necessarily the
 
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.
 
case with current state-of-the-art approaches based on the SM semantics.
 +
|Download=DL and MN Semantics.pdf,
 
|Projekt=ExpresST
 
|Projekt=ExpresST
 
|Forschungsgruppe=Wissensmanagement
 
|Forschungsgruppe=Wissensmanagement
 
}}
 
}}

Aktuelle Version vom 2. Juli 2012, 15:18 Uhr


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.

Download: Media:DL and MN Semantics.pdf

Projekt

ExpresST



Forschungsgruppe

Wissensmanagement


Forschungsgebiet