All Elephants are Bigger than All Mice
Aus International Center for Computational Logic
All Elephants are Bigger than All Mice
Sebastian RudolphSebastian Rudolph, Markus KrötzschMarkus Krötzsch, Pascal HitzlerPascal Hitzler
Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
All Elephants are Bigger than All Mice
Technical Report, Institut AIFB, KIT, February 2008
All Elephants are Bigger than All Mice
Technical Report, Institut AIFB, KIT, February 2008
- KurzfassungAbstract
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 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 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. - Projekt:Project: ReaSem
- Forschungsgruppe:Research Group: Information Systems„Information Systems“ befindet sich nicht in der Liste (Computational Logic, Automatentheorie, Wissensverarbeitung, Knowledge-Based Systems, Knowledge Systems, Wissensbasierte Systeme, Logische Programmierung und Argumentation, Algebra und Diskrete Strukturen, Knowledge-aware Artificial Intelligence, Algebraische und logische Grundlagen der Informatik) zulässiger Werte für das Attribut „Forschungsgruppe“.Knowledge-Based Systems
@techreport{RKH2008,
author = {Sebastian Rudolph and Markus Kr{\"{o}}tzsch and Pascal Hitzler},
title = {All Elephants are Bigger than All Mice},
institution = {Institut {AIFB,} {KIT}},
year = {2008},
month = {February}
}
