Sciweavers

90
Voted
SEMWEB
2004
Springer
15 years 3 months ago
Using Vampire to Reason with OWL
OWL DL corresponds to a Description Logic (DL) that is a fragment of classical first-order predicate logic (FOL). Therefore, the standard methods of automated reasoning for full F...
Dmitry Tsarkov, Alexandre Riazanov, Sean Bechhofer...