Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams.

Sebastian Rudolph, Markus Krtzsch, Pascal Hitzler

Browse the full AAAI paper archive.