Aus Aifbportal
Version vom 16. Oktober 2009, 23:08 Uhr von Nicole Arlt (Diskussion | Beiträge) (Wikipedia python library)
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)
Wechseln zu:Navigation, Suche

Cheap Boolean Role Constructors for Description Logics

Cheap Boolean Role Constructors for Description Logics

Published: 2008 September
Herausgeber: Steffen Hölldobler and Carsten Lutz and Heinrich Wansing
Buchtitel: Proceedings of 11th European Conference on Logics in Artificial Intelligence (JELIA)
Ausgabe: 5293
Reihe: LNAI
Seiten: 362-374
Verlag: Springer

Referierte Veröffentlichung


We investigate the possibility of incorporating Boolean role constructors on simple roles into some of today's most popular description logics, focussing on cases where those extensions do not increase complexity of reasoning. We show that the expressive DLs SHOIQ and SROIQ, serving as the logical underpinning of OWL and the forthcoming OWL 2, can accommodate arbitrary Boolean expressions. The prominent OWL-fragment SHIQ can be safely extended by safe role expressions, and the tractable fragments EL++ and DLP retain tractability if extended by conjunction on roles, where in the case of DLP the restriction on role simplicity can even be discarded.

Weitere Informationen unter: LinkLink






Wissensrepräsentation, Wissensrepräsentationssprachen, Beschreibungslogik, Semantic Web