Reducing OWL entailment to description logic satisfiability
Ian Horrocks and Peter Patel−Schneider
ISSN
1570−8268
Journal
J. of Web Semantics
Number
4
Pages
345–357
Publisher
Elsevier
Volume
1
Year
2004
Ian Horrocks and Peter Patel−Schneider