Reasoning Support for Expressive Ontology Languages Using a Theorem Prover
Ian Horrocks and Andrei Voronkov
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