Using Vampire to reason with OWL (2004)

by D Tsarkov, A Riazanov, S Bechhofer, I Horrocks
Venue:in Proceedings of the 3rd International Semantic Web Conference, volume 3298 of LectureNotes in Computer Science