Sciweavers

AAAI
2008

Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams

14 years 1 months ago
Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams
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 OBDDbased systems. To the best of our knowledge, we present the very first agorithm for using OBDDs for reasoning with general Tboxes.
Sebastian Rudolph, Markus Krötzsch, Pascal Hi
Added 02 Oct 2010
Updated 02 Oct 2010
Type Conference
Year 2008
Where AAAI
Authors Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
Comments (0)