Using Vampire to reason with OWL (2004)

by D Tsarkov, A Riazanov, S Bechhofer, I Horrocks
Venue:Harmelen (Eds.), Proc. of the 2004 International Semantic Web Conference (ISWC 2004), in: LNCS