Reducing OWL Entailment to Description Logic Satisfiability
Ian Horrocks and Peter F. Patel−Schneider
Book Title
Proc. of the 2003 Description Logic Workshop (DL 2003)
Pages
1–8
Series
CEUR (http://ceur-ws.org/)
Volume
81
Year
2003
Ian Horrocks and Peter F. Patel−Schneider