All Elephants are Bigger than All Mice

Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
2008 International Workshop on Description Logics  
We investigate the concept product as an expressive feature for 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 DL SROIQ for which no tight worst-case complexity is known. However, we show that concept products can also be added to the DLs SHOIQ and SHOI, and to the tractable DL EL ++ without increasing the worst-case complexities in any of those cases. We therefore argue
more » ... at concept products provide practically relevant expressivity at little cost, making them a good candidate for future extensions of the DL-based ontology language OWL. ⋆ Supported by the European Commission under contracts 027595 NeOn and 215040 ACTIVE, and by the Deutsche Forschungsgemeinschaft (DFG) under the ReaSem project. 1
dblp:conf/dlog/RudolphKH08 fatcat:cyl4af72yvau3kbs4muspw2blu