OBDD-based OWL reasoning
From ONTOLORE
We develop a new reasoning algorithm and system for OWL based on Ordered Binary Decision Diagrams (OBDDs).
Literature
- Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler, Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams. In: Dieter Fox and Carla P. Gomes, Proceedings of the 23rd AAAI Conference on Artficial Intelligence, AAAI-08, Chicago, USA, July 2008. AAAI Press, pp. 529-534. Extended technical report.
- Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler, Description Logic Reasoning with Decision Diagrams: Compiling SHIQ to Disjunctive Datalog. In: A Sheth, Steffen Staab, Mike Dean, Massimo Paolucci, Diana Maynard, Timothy Finin, Krishnaprasad Thirunarayan (eds.), The Semantic Web - ISWC 2008, 7th International Semantic Web Conference. Springer Lecture Notes in Computer Science Vol. 5318, 2008, 435-450. Extended technical report.
- up: <ask>OBDD-based OWL reasoning</ask>
