DL Role Constructors
Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
Cheap Boolean Role Constructors for Description Logics
Abstract. 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.
Published at JELIA2008 (Conference paper)
Download PDF (last update: July 8 2008)
Citation details
- Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler. Cheap Boolean Role Constructors for Description Logics. In Steffen Hölldobler, Carsten Lutz, Heinrich Wansing, eds.: Proceedings of the 11th European Conference on Logics in Artificial Intelligence (JELIA-08), pp. 362–347. SpringerProperty "Publisher" has a restricted application area and cannot be used as annotation property by a user. 2008.
author = {Sebastian Rudolph and Markus Kr\"{o}tzsch
and Pascal Hitzler},
title = {Cheap {Boolean} Role Constructors for Description
Logics},
pages = {362--374},
crossref = {jelia08}
}
@proceedings{jelia08,
editor = {Steffen H\"{o}lldobler and Carsten Lutz
and Heinrich Wansing},
title = {Proceedings of the 11th European Conference on
Logics in Artificial Intelligence (JELIA'08)},
booktitle = {Proceedings of the 11th European Conference on
Logics in Artificial Intelligence (JELIA'08)},
publisher = {Springer},
series = {LNAI},
volume = {5293},
year = {2008}
}
Remarks
The above PDF is the extended technical report.
