Stage-oe-small.jpg

Inproceedings3161: 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=Sebastian Rudolph }} {{Inproceedings |R…“)
 
Zeile 16: Zeile 16:
 
}}
 
}}
 
{{Publikation Details
 
{{Publikation Details
 +
|Abstract=Epistemic extensions of description logics (DLs) have been introduced several years ago in order to enhance expressivity and querying capabilities of these logics by knowledge base introspection. We argue that unintended eff�ects occur when imposing the semantics traditionally employed on the very expressive DLs that underly the OWL 1 and OWL 2 standards. Consequently, we suggest a revised semantics that behaves more intuitively in these cases and coincides with the traditional semantics on less expressive DLs. Moreover, we introduce a way of answering epistemic queries to OWL knowledge bases by a reduction to standard OWL reasoning. We provide an implementation of our approach and present first evaluation results.
 
|Projekt=ExpresST
 
|Projekt=ExpresST
 
|Forschungsgruppe=Wissensmanagement
 
|Forschungsgruppe=Wissensmanagement
 
}}
 
}}

Version vom 20. April 2011, 10:24 Uhr


Revisiting Semantics for Epistemic Extensions of Description Logics


Revisiting Semantics for Epistemic Extensions of Description Logics



Published: 2011

Buchtitel: Proceedings of the 25th Conference on Artificial Intelligence
Verlag: AAAI 2011

Nicht-referierte VeröffentlichungNote: to appear.

BibTeX

Kurzfassung
Epistemic extensions of description logics (DLs) have been introduced several years ago in order to enhance expressivity and querying capabilities of these logics by knowledge base introspection. We argue that unintended eff�ects occur when imposing the semantics traditionally employed on the very expressive DLs that underly the OWL 1 and OWL 2 standards. Consequently, we suggest a revised semantics that behaves more intuitively in these cases and coincides with the traditional semantics on less expressive DLs. Moreover, we introduce a way of answering epistemic queries to OWL knowledge bases by a reduction to standard OWL reasoning. We provide an implementation of our approach and present first evaluation results.


Projekt

ExpresST



Forschungsgruppe

Wissensmanagement


Forschungsgebiet