Ian Horrocks, Andrei Voronkov. Reasoning Support for Expressive Ontology Languages Using a Theorem Prover. In Jürgen Dix, Stephen J. Hegner, editors, Foundations of Information and Knowledge Systems, 4th International Symposium, FoIKS 2006, Budapest, Hungary, February 14-17, 2006, Proceedings. Volume 3861 of Lecture Notes in Computer Science, pages 201-218, Springer, 2006. [doi]
Abstract is missing.