Document Type
Conference Proceeding
Publication Date
1-1-2008
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.
Repository Citation
Rudolph, S.,
Krotzsch, M.,
& Hitzler, P.
(2008). Cheap Boolean Role Constructors for Description Logics. Lecture Notes in Computer Science, 5293, 362-374.
https://corescholar.libraries.wright.edu/cse/138
DOI
10.1007/978-3-540-87803-2_30
Included in
Bioinformatics Commons, Communication Technology and New Media Commons, Databases and Information Systems Commons, OS and Networks Commons, Science and Technology Studies Commons
Comments
Presented at the 11th European Conference on Logics in Artificial Intelligence, Dresden, Germany, September 28-October 1, 2008.
Attached is the unpublished, authors' version of this proceeding. The final, publisher's version can be found at http://dx.doi.org/10.1007/978-3-540-87803-2_30.