Stage-oe-small.jpg

Inproceedings1712: Unterschied zwischen den Versionen

Aus Aifbportal
Wechseln zu:Navigation, Suche
K (Added from ontology)
K (Added from ontology)
Zeile 21: Zeile 21:
 
|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.
 
|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.
 
|VG Wort-Seiten=
 
|VG Wort-Seiten=
|Download=2008_1712_Rudolph_All_Elephants_a_1.pdf
+
|Link=http://korrekt.org/page/Elephants, http://korrekt.org/papers/RudolphKroetzschHitzer_DL-Concept-Product_TR_2008.pdf, http://korrekt.org/page/Elephants
|Link=http://korrekt.org/page/Elephants, http://korrekt.org/page/Elephants
 
 
|DOI Name=
 
|DOI Name=
 
|Projekt=ReaSem, NeOn,  
 
|Projekt=ReaSem, NeOn,  
Zeile 29: Zeile 28:
 
{{Forschungsgebiet Auswahl
 
{{Forschungsgebiet Auswahl
 
|Forschungsgebiet=Komplexitätstheorie
 
|Forschungsgebiet=Komplexitätstheorie
 +
}}
 +
{{Forschungsgebiet Auswahl
 +
|Forschungsgebiet=Logik
 
}}
 
}}
 
{{Forschungsgebiet Auswahl
 
{{Forschungsgebiet Auswahl
Zeile 34: Zeile 36:
 
}}
 
}}
 
{{Forschungsgebiet Auswahl
 
{{Forschungsgebiet Auswahl
|Forschungsgebiet=Logik
+
|Forschungsgebiet=Ontologiemodellierung
 
}}
 
}}
 
{{Forschungsgebiet Auswahl
 
{{Forschungsgebiet Auswahl
|Forschungsgebiet=Wissensrepräsentation
+
|Forschungsgebiet=Wissensrepräsentationssprachen
 
}}
 
}}
 
{{Forschungsgebiet Auswahl
 
{{Forschungsgebiet Auswahl
Zeile 43: Zeile 45:
 
}}
 
}}
 
{{Forschungsgebiet Auswahl
 
{{Forschungsgebiet Auswahl
|Forschungsgebiet=Ontologiemodellierung
+
|Forschungsgebiet=Wissensrepräsentation
}}
 
{{Forschungsgebiet Auswahl
 
|Forschungsgebiet=Wissensrepräsentationssprachen
 
 
}}
 
}}

Version vom 11. September 2009, 03:45 Uhr


All Elephants are Bigger than All Mice


All Elephants are Bigger than All Mice



Published: 2008 Mai

Buchtitel: Proceedings of the 21st International Workshop on Description Logics (DL2008)

Referierte Veröffentlichung

BibTeX

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.

Weitere Informationen unter: LinkLinkLink

Projekt

ReaSemNeOn



Forschungsgebiet

Wissensrepräsentation, Wissensrepräsentationssprachen, Beschreibungslogik, Ontologiemodellierung, Komplexitätstheorie, Logik, Semantic Web