Reducing OWL Entailment to Description Logic Satisfiability
Ian Horrocks and Peter F. Patel−Schneider
Book Title
Proc. of the 2nd International Semantic Web Conference (ISWC 2003)
Editor
Dieter Fensel and Katia Sycara and John Mylopoulos
ISBN
3−540−20362−1
Pages
17–29
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
2870
Year
2003