Reasoning Support for Expressive Ontology Languages Using a Theorem Prover
Ian Horrocks and Andrei Voronkov
Details
| Book Title |
Proceedings of the Fourth International Symposium on Foundations of Information and Knowledge Systems (FoIKS) |
| ISBN |
3−540−31782−1 |
| Number |
3861 |
| Pages |
201–218 |
| Publisher |
Springer |
| Series |
Lecture Notes in Computer Science |
| Year |
2006 |