title = {Reducing {OWL} Entailment to Description Logic Satisfiability},
author = {I. Horrocks and P. F. Patel-Schneider}, journal = {J. of Web Semantics}, number = {1}, url = {http://www.cs.man.ac.uk/~horrocks/Publications/download/2004/HoPa04b.pdf}, volume = {4}, year = {2004}, owner = {Mauro}, timestamp = {2006.08.31},
keywords = {imported }
::