Using Vampire to reason with OWL (2004)

by Dmitry Tsarkov , Re Riazanov , Sean Bechhofer , Ian Horrocks
Venue:In Proc. of the 2004 International Semantic Web Conference (ISWC
Citations:28 - 1 self