Stage-oe-small.jpg

Techreport3042: Unterschied zwischen den Versionen

Aus Aifbportal
Wechseln zu:Navigation, Suche
 
(18 dazwischenliegende Versionen von 2 Benutzern werden nicht angezeigt)
Zeile 9: Zeile 9:
 
|Institution=Institut AIFB
 
|Institution=Institut AIFB
 
|Address=Karlsruhe
 
|Address=Karlsruhe
 +
|Type=Technical Report
 
|Reviewed=Daniel M. Herzig
 
|Reviewed=Daniel M. Herzig
 
}}
 
}}
 
{{Publikation Details
 
{{Publikation Details
 
|Abstract=Description logics  of minimal knowledge and negation as failure (MKNF-DLs) are formalisms which augment description logics (DLs) with the modal operators K representing `knowledge' and A representing `default assumption'. Such  hybrid formalisms are useful in characterizing many nonmonotonic features which can not captured in pure DLs. The traditional semantics employed  for MKNF-DLs is based on the possible world approach where each world corresponds to a DL interpretation. Further, the  semantics requires the interpretations to share a common domain and to interpret constants rigidly across the worlds. In this paper we argue that these restrictions lead to unintended effects when an expressive MKNF-DL like \mathcal{SROIQK}_\mathcal{NF} is considered. We thus propose employing  the extended semantics, introduced recently,  for \mathcal{SROIQK}_\mathcal{NF}.  We then provide a comparison between the  traditional and the extended semantics including a comparison from first-order modal logic perspective. In addition, we present a methodology for performing  reasoning tasks in  \mathcal{SROIQK}_\mathcal{NF}.
 
|Abstract=Description logics  of minimal knowledge and negation as failure (MKNF-DLs) are formalisms which augment description logics (DLs) with the modal operators K representing `knowledge' and A representing `default assumption'. Such  hybrid formalisms are useful in characterizing many nonmonotonic features which can not captured in pure DLs. The traditional semantics employed  for MKNF-DLs is based on the possible world approach where each world corresponds to a DL interpretation. Further, the  semantics requires the interpretations to share a common domain and to interpret constants rigidly across the worlds. In this paper we argue that these restrictions lead to unintended effects when an expressive MKNF-DL like \mathcal{SROIQK}_\mathcal{NF} is considered. We thus propose employing  the extended semantics, introduced recently,  for \mathcal{SROIQK}_\mathcal{NF}.  We then provide a comparison between the  traditional and the extended semantics including a comparison from first-order modal logic perspective. In addition, we present a methodology for performing  reasoning tasks in  \mathcal{SROIQK}_\mathcal{NF}.
 +
|Download=Relocated.pdf
 
|Projekt=ExpresST
 
|Projekt=ExpresST
 
|Forschungsgruppe=Wissensmanagement
 
|Forschungsgruppe=Wissensmanagement
 
}}
 
}}

Aktuelle Version vom 16. Dezember 2013, 12:52 Uhr

Semantical Considerations on Description Logics of MKNF




Published: 2013 Dezember
Type: Technical Report
Institution: Institut AIFB
Erscheinungsort / Ort: Karlsruhe
Archivierungsnummer:3042

BibTeX



Kurzfassung
Description logics of minimal knowledge and negation as failure (MKNF-DLs) are formalisms which augment description logics (DLs) with the modal operators K representing `knowledge' and A representing `default assumption'. Such hybrid formalisms are useful in characterizing many nonmonotonic features which can not captured in pure DLs. The traditional semantics employed for MKNF-DLs is based on the possible world approach where each world corresponds to a DL interpretation. Further, the semantics requires the interpretations to share a common domain and to interpret constants rigidly across the worlds. In this paper we argue that these restrictions lead to unintended effects when an expressive MKNF-DL like \mathcal{SROIQK}_\mathcal{NF} is considered. We thus propose employing the extended semantics, introduced recently, for \mathcal{SROIQK}_\mathcal{NF}. We then provide a comparison between the traditional and the extended semantics including a comparison from first-order modal logic perspective. In addition, we present a methodology for performing reasoning tasks in \mathcal{SROIQK}_\mathcal{NF}.

Download: Media:Relocated.pdf

Projekt

ExpresST



Forschungsgruppe

Wissensmanagement


Forschungsgebiet