Skip to main content

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