Towards Novel Techniques for Reasoning in Expressive Description Logics based on Binary Decision Diagrams

Uwe Keller. Towards Novel Techniques for Reasoning in Expressive Description Logics based on Binary Decision Diagrams. In Elena Paslaru Bontas Simperl, Jörg Diederich, Guus Schreiber, editors, Proceedings of the KWEPSY 2007 Knowledge Web PhD Symposium 2007, Innsbruck, Austria, June 6, 2007. Volume 275 of CEUR Workshop Proceedings, CEUR-WS.org, 2007. [doi]

Abstract

Abstract is missing.