Techreport1751: Unterschied zwischen den Versionen

Version vom 8. September 2009, 10:02 Uhr

OBDD-based Tbox Reasoning in SHIQ

Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler

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

Projekt

NeOn, Active, ReaSem

Forschungsgebiet

Wissensrepräsentation, Beschreibungslogik, Modelltheorie, Logik

@@ Zeile 1: / Zeile 1: @@
-{{Publikation Author
+{{Publikation Erster Autor
-|Rank=3
+|ErsterAutorNachname=Rudolph
-|Author=Pascal Hitzler
+|ErsterAutorVorname=Sebastian
 }}
 {{Publikation Author
-|Rank=1
+|Rank=2
-|Author=Sebastian Rudolph
+|Author=Markus Krötzsch
 }}
 {{Publikation Author
-|Rank=2
+|Rank=3
-|Author=Markus Krötzsch
+|Author=Pascal Hitzler
 }}
 {{Techreport
@@ Zeile 25: / Zeile 25: @@
 |Link=http://www.aifb.uni-karlsruhe.de/Publikationen/showPublikation?publ_id=1656
 |DOI Name=
-|Projekt=ReaSem, NeOn, Active,
+|Projekt=NeOn, Active, ReaSem,
 |Forschungsgruppe=
+}}
+{{Forschungsgebiet Auswahl
+|Forschungsgebiet=Logik
 }}
 {{Forschungsgebiet Auswahl
@@ Zeile 32: / Zeile 35: @@
 }}
 {{Forschungsgebiet Auswahl
-|Forschungsgebiet=Logik
+|Forschungsgebiet=Beschreibungslogik
 }}
 {{Forschungsgebiet Auswahl
 |Forschungsgebiet=Wissensrepräsentation
-}}
-{{Forschungsgebiet Auswahl
-|Forschungsgebiet=Beschreibungslogik
 }}