Using Vampire to Reason with OWL
Dmitry Tsarkov‚ Alexandre Riazanov‚ Sean Bechhofer and Ian Horrocks
Details
| 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 |