Ian Horrocks, Peter F. Patel-Schneider. Reducing OWL Entailment to Description Logic Satisfiability. In Dieter Fensel, Katia P. Sycara, John Mylopoulos, editors, The Semantic Web - ISWC 2003, Second International Semantic Web Conference, Sanibel Island, FL, USA, October 20-23, 2003, Proceedings. Volume 2870 of Lecture Notes in Computer Science, pages 17-29, Springer, 2003. [doi]
Abstract is missing.