Reducing OWL Entailment to Description Logic Satisfiability
Ian Horrocks and Peter F. Patel−Schneider
Details
| Book Title |
Proc. of the 2nd International Semantic Web Conference (ISWC 2003) |
| Editor |
Dieter Fensel and Katia Sycara and John Mylopoulos |
| ISBN |
3−540−20362−1 |
| Pages |
17–29 |
| Publisher |
Springer |
| Series |
Lecture Notes in Computer Science |
| Volume |
2870 |
| Year |
2003 |