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