00898nas a2200121 4500008004100000245007500041210006900116520048700185100002300672700002100695700002000716856004000736 2008 eng d00aTerminological Reasoning in SHIQ with Ordered Binary Decision Diagrams0 aTerminological Reasoning in SHIQ with Ordered Binary Decision Di3 aWe 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 data structure 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.1 aRudolph, Sebastian1 aKrotzsch, Markus1 aHitzler, Pascal uhttp://knoesis.wright.edu/node/1254