Using Vampire to reason with OWL (2004)

by D Tsarkov, A Riazanov, S Bechhofer, I Horrocks
Venue:In Proc. of the International Semantic Web Conference, LNCS 3298