Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams

TitleTerminological Reasoning in SHIQ with Ordered Binary Decision Diagrams
Publication TypeMiscellaneous
Year of Publication2008
AuthorsSebastian Rudolph, Markus Krotzsch, Pascal Hitzler
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 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.

Full Text

'Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams,' Sebastian Rudolph, Markus Krotzsch, Pascal Hitzler In: Dieter Fox and Carla P. Gomes (eds.), Proceedings of the 23rd AAAI Conference on Artficial Intelligence, AAAI-08, Chicago, USA, July 2008. AAAI Press, pp. 529-534.
pages: 529-534
year: 2008
hasEditor: Dieter Fox And Carla P. Gomes
venue name: 23rd AAAI Conference on Artficial Intelligence, AAAI-08
hasURL: http://knoesis.wright.edu/library/download/terminological_reasoning_SHIQ...