Sebastian Rudolph Markus Krötzsch Pascal Hitzler Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams. 529-534 2008 AAAI conf/aaai/2008 db/conf/aaai/aaai2008.html#RudolphKH08