Sciweavers

Share
SEMWEB
2004
Springer

Using Vampire to Reason with OWL

12 years 7 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 FOL can potentially be used instead of dedicated DL reasoners to solve OWL DL reasoning tasks. In this paper we report on some experiments designed to explore the feasibility of using existing general-purpose FOL provers to reason with OWL DL. We also extend our approach to SWRL, a proposed rule language extension to OWL.
Dmitry Tsarkov, Alexandre Riazanov, Sean Bechhofer
Added 02 Jul 2010
Updated 02 Jul 2010
Type Conference
Year 2004
Where SEMWEB
Authors Dmitry Tsarkov, Alexandre Riazanov, Sean Bechhofer, Ian Horrocks
Comments (0)
books