Optimized Reasoning in Description Logics using Hypertableaux
Boris Motik‚ Rob Shearer and Ian Horrocks
Book Title
Proc. of the 21st Int. Conf. on Automated Deduction (CADE−21)
Pages
67–83
Publisher
Springer
Series
Lecture Notes in Artificial Intelligence
Volume
4603
Year
2007