Using Vampire to Reason with OWL.

Dmitry Tsarkov Alexandre Riazanov Sean Bechhofer Ian Horrocks

Published in: ISWC (2004)

Keyphrases

knowledge representation
semantic web
knowledge base
database
learning environment
expressive power
neural network
rdf knowledge bases
learning algorithm
relational databases
semantic web technologies
rule language
open world