Terminological Reasoning in SHIQ with OBDDs
Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams
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.
Published at AAAI2008 (Conference paper)
Download PDF (last update: April 1 2008)
Citation details
- Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler. Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams. In Proceedings of the 23rd AAAI Conference on Artificial Intelligence (AAAI-08), pp. 529–534. AAAI PressProperty "Publisher" has a restricted application area and cannot be used as annotation property by a user. 2008.
author = {Sebastian Rudolph and Markus Kr\"{o}tzsch
and Pascal Hitzler},
title = {Terminological Reasoning in $\mathcal{SHIQ}$ with
Ordered Binary Decision Diagrams},
pages = {529--534},
booktitle = {Proceedings of the 23rd AAAI Conference on
Artificial Intelligence (AAAI'08)},
publisher = {AAAI Press},
year = {2008}
}
Remarks
This work is superseded by the later journal paper Type-elimination-based Reasoning for SHIQbs.
