We present a novel reasoning calculus for Description Logics (DLs)-knowledge representation formalisms with applications in areas such as the Semantic Web. In order to reduce the nondeterminism due to general inclusion axioms, we base our calculus on hypertableau and hyperresolution calculi, which we extend with a blocking condition to ensure termination. To prevent the calculus from generating large models, we introduce "anywhere" pairwise blocking. Our preliminary implementation shows significant performance improvements on several well-known ontologies. To the best of our knowledge, our reasoner is currently the only one that can classify the original version of the GALEN terminology. © Springer-Verlag Berlin Heidelberg 2007.
CITATION STYLE
Motik, B., Shearer, R., & Horrocks, I. (2007). Optimized reasoning in Description Logics using hypertableaux. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4603 LNAI, pp. 67–83). Springer Verlag. https://doi.org/10.1007/978-3-540-73595-3_6
Mendeley helps you to discover research relevant for your work.