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]
@inproceedings{HorrocksP03, title = {Reducing OWL Entailment to Description Logic Satisfiability}, author = {Ian Horrocks and Peter F. Patel-Schneider}, year = {2003}, url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2870&spage=17}, tags = {logic, OWL}, researchr = {https://researchr.org/publication/HorrocksP03}, cites = {0}, citedby = {0}, pages = {17-29}, booktitle = {The Semantic Web - ISWC 2003, Second International Semantic Web Conference, Sanibel Island, FL, USA, October 20-23, 2003, Proceedings}, editor = {Dieter Fensel and Katia P. Sycara and John Mylopoulos}, volume = {2870}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-20362-1}, }