P.: All elephants are bigger than all mice (2008)
Cached
Download Links
| Venue: | In: Proc. 21st Int. Workshop on Description Logics |
| Citations: | 9 - 2 self |
BibTeX
@INPROCEEDINGS{Rudolph08p.:all,
author = {Sebastian Rudolph and Markus Krötzsch and Pascal Hitzler},
title = {P.: All elephants are bigger than all mice},
booktitle = {In: Proc. 21st Int. Workshop on Description Logics},
year = {2008}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstract. We introduce the concept product as a new expressive feature to description logics (DLs). While this construct allows us to express an arguably very common and natural type of statement, it can be simulated only by the very expressive DLSROIQ for which no tight worst-case complexity is known. However, we show that concept products can also be added to the DLsSHOIQ and SHOI, and to the tractable DLEL ++ without increasing the worst-case complexities in any of those cases. We therefore argue that concept products provide practically relevant expressivity at little cost, making them a good candidate for future extensions of the DL-based ontology language OWL. 1
