Using Vampire to Reason with OWL
Dmitry Tsarkov‚ Alexandre Riazanov‚ Sean Bechhofer and Ian Horrocks
Book Title
Proc. of the 3rd International Semantic Web Conference (ISWC 2004)
Editor
Sheila A. McIlraith and Dimitris Plexousakis and Frank van Harmelen
ISBN
3−540−23798−4
Pages
471–485
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
3298
Year
2004