A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is
All Elephants are Bigger than All Mice
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 arguedblp:conf/dlog/RudolphKH08 fatcat:cyl4af72yvau3kbs4muspw2blu