Techreport3007: Unterschied zwischen den Versionen
Sru (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorNachname=Rudolph |ErsterAutorVorname=Sebastian }} {{Publikation Author |Rank=2 |Author=Markus Krötzsch }} {{Publikation Au…“) |
Sru (Diskussion | Beiträge) |
||
Zeile 14: | Zeile 14: | ||
|Title=All Elephants are Bigger than All Mice | |Title=All Elephants are Bigger than All Mice | ||
|Year=2008 | |Year=2008 | ||
− | |Month= | + | |Month=Februar |
|Institution=Institut AIFB, KIT | |Institution=Institut AIFB, KIT | ||
|Address=Karlsruhe | |Address=Karlsruhe | ||
Zeile 22: | Zeile 22: | ||
|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 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 | |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 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. | practically relevant expressivity at little cost, making them a good candidate for future extensions of the DL-based ontology language OWL. | ||
− | |Download=RudolphKroetzschHitzer DL-Concept-Product TR 2008.pdf, | + | |Download=RudolphKroetzschHitzer DL-Concept-Product TR 2008.pdf, |
|Projekt=ReaSem | |Projekt=ReaSem | ||
|Forschungsgruppe=Wissensmanagement | |Forschungsgruppe=Wissensmanagement |
Aktuelle Version vom 28. August 2010, 10:06 Uhr
Published: 2008
Februar
Institution: Institut AIFB, KIT
Erscheinungsort / Ort: Karlsruhe
Archivierungsnummer:3007
Kurzfassung
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.
Download: Media:RudolphKroetzschHitzer DL-Concept-Product TR 2008.pdf
Beschreibungslogik, Ontologiemodellierung, Semantic Web