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