Optimised Reasoning for SHIQ

Ian Horrocks, Ulrike Sattler. Optimised Reasoning for SHIQ. In Frank van Harmelen, editor, Proceedings of the 15th Eureopean Conference on Artificial Intelligence, ECAI 2002, Lyon, France, July 2002. pages 277-281, IOS Press, 2002.

Abstract

Abstract is missing.