Semantisches Browsen
Aus International Center for Computational Logic
A central and much debated topic in the Kn … 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.</br>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.</br>A central and much debated topic in the Knowledge Representation</br>and Reasoning community is how to combine open-world with closed-world formalisms,</br>such as Description Logics (DLs) with Logic Programming. We propose</br>a new approach to defining the semantics of hybrid theories,</br>composed of a DL and a Normal Logic Program (NLP) parts, which employs</br>Pinto and Pereira’s Minimal Hypotheses semantics (MHs) for the latter. Because</br>this semantics is more general than the currently employed semantics for hybrid</br>DL-NLP KBs based on Stable Model (SM) semantics, and because MH semantics</br>guarantees model existence for every NLP, our hybrid semantics also guarantees</br>the existence of models for any hybrid DL-NLP theory with consistent</br>DL fragment and consistent DL-NLP ensemble. Finally, due to the MHs featuring</br>beneficial theoretical properties, like relevance and cumulativity, existential</br>query answering tasks may not need to consider the whole hybrid KB, as it is</br>necessarily the case with current state-of-the-art approaches based on the SM</br>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.-art approaches based on the SM semantics. +
@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}
}
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}
}
ul Mehdi +
Anees +
Institut AIFB, KIT +
Anees ul Mehdi, Alexandre Miguel Pinto, Se … Anees ul Mehdi, Alexandre Miguel Pinto, Sebastian Rudolph<br /> '''[[Techreport3028|On Integrating Description Logic and Rules under MH Semantics]]''' <br />__NOTOC__Technical Report, ''Institut AIFB, KIT'', July 2012. ''Technical Report''<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[Techreport3028|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex; "></span> [[Media:TechReport.pdf|Download]]a:TechReport.pdf|Download]] +
Anees ul Mehdi, Alexandre Miguel Pinto, Se … Anees ul Mehdi, Alexandre Miguel Pinto, Sebastian Rudolph<br /> '''[[Techreport3028/en|On Integrating Description Logic and Rules under MH Semantics]]''' <br />__NOTOC__Technical Report, ''Institut AIFB, KIT'', July 2012. ''Technical Report''<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[Techreport3028|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex;" ></span> [[Media:TechReport.pdf|Download]]a:TechReport.pdf|Download]] +
Display title of"Display title of" is a predefined property that can assign a distinct display title to an entity and is provided by <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a>.
On Integrating Description Logic and Rules under MH Semantics +
Modification date"Zuletzt geändert <span style="font-size:small;">(Modification date)</span>" is a predefined property that corresponds to the date of the last modification of a subject and is provided by <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a>.
24. Oktober 2014, 15:54:25 +
Has query"Hat Abfrage <span style="font-size:small;">(Has query)</span>" is a predefined property that represents meta information (in form of a <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Subobject">subobject</a>) about individual queries and is provided by <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a>.
On Integrating Description Logic and Rules under MH Semantics +, On Integrating Description Logic and Rules under MH Semantics +, On Integrating Description Logic and Rules under MH Semantics +, On Integrating Description Logic and Rules under MH Semantics +, On Integrating Description Logic and Rules under MH Semantics +, On Integrating Description Logic and Rules under MH Semantics + and On Integrating Description Logic and Rules under MH Semantics +
