Techreport1751: Unterschied zwischen den Versionen
K (Added from ontology) |
K (Wikipedia python library) |
||
(4 dazwischenliegende Versionen von 2 Benutzern werden nicht angezeigt) | |||
Zeile 1: | Zeile 1: | ||
+ | {{Publikation Erster Autor | ||
+ | |ErsterAutorNachname=Rudolph | ||
+ | |ErsterAutorVorname=Sebastian | ||
+ | }} | ||
{{Publikation Author | {{Publikation Author | ||
|Rank=2 | |Rank=2 | ||
|Author=Markus Krötzsch | |Author=Markus Krötzsch | ||
− | |||
− | |||
− | |||
− | |||
}} | }} | ||
{{Publikation Author | {{Publikation Author | ||
Zeile 17: | Zeile 17: | ||
|Month=Januar | |Month=Januar | ||
|Institution=Universität Karlsruhe | |Institution=Universität Karlsruhe | ||
− | | | + | |Archivierungsnummer=1751 |
}} | }} | ||
{{Publikation Details | {{Publikation Details | ||
|Abstract=We present a new algorithm for reasoning in the description logic SHIQ, which is the most prominent fragment of the Web Ontology Language OWL. The algorithm is based on ordered binary decision diagrams (OBDDs) as a datastructure for storing and operating on large model representations. We thus draw on the success and the proven scalability of OBDD-based systems. To the best of our knowledge, we present the very first algorithm for using OBDDs for reasoning with general TBoxes. | |Abstract=We present a new algorithm for reasoning in the description logic SHIQ, which is the most prominent fragment of the Web Ontology Language OWL. The algorithm is based on ordered binary decision diagrams (OBDDs) as a datastructure for storing and operating on large model representations. We thus draw on the success and the proven scalability of OBDD-based systems. To the best of our knowledge, we present the very first algorithm for using OBDDs for reasoning with general TBoxes. | ||
|VG Wort-Seiten= | |VG Wort-Seiten= | ||
− | |Download=2008_1751_Rudolph_OBDD- | + | |Download=2008_1751_Rudolph_OBDD-based_Tbox_1.pdf, 2008_1751_Rudolph_OBDD-based_Tbox_2.pdf |
|Link=http://www.aifb.uni-karlsruhe.de/Publikationen/showPublikation?publ_id=1656 | |Link=http://www.aifb.uni-karlsruhe.de/Publikationen/showPublikation?publ_id=1656 | ||
|DOI Name= | |DOI Name= | ||
− | | | + | |Projekt=NeOn, Active, ReaSem, |
− | | | + | |Forschungsgruppe=Wissensmanagement |
− | | | + | }} |
+ | {{Forschungsgebiet Auswahl | ||
+ | |Forschungsgebiet=Logik | ||
+ | }} | ||
+ | {{Forschungsgebiet Auswahl | ||
+ | |Forschungsgebiet=Beschreibungslogik | ||
+ | }} | ||
+ | {{Forschungsgebiet Auswahl | ||
+ | |Forschungsgebiet=Wissensrepräsentation | ||
+ | }} | ||
+ | {{Forschungsgebiet Auswahl | ||
+ | |Forschungsgebiet=Modelltheorie | ||
}} | }} |
Aktuelle Version vom 16. Oktober 2009, 22:46 Uhr
Published: 2008
Januar
Institution: Universität Karlsruhe
Archivierungsnummer: 1751
Kurzfassung
We present a new algorithm for reasoning in the description logic SHIQ, which is the most prominent fragment of the Web Ontology Language OWL. The algorithm is based on ordered binary decision diagrams (OBDDs) as a datastructure for storing and operating on large model representations. We thus draw on the success and the proven scalability of OBDD-based systems. To the best of our knowledge, we present the very first algorithm for using OBDDs for reasoning with general TBoxes.
Download: Media:2008_1751_Rudolph_OBDD-based_Tbox_1.pdf,Media:2008_1751_Rudolph_OBDD-based_Tbox_2.pdf
Weitere Informationen unter: Link
Wissensrepräsentation, Beschreibungslogik, Modelltheorie, Logik