Using vampire to reason with OWL

Dmitry Tsarkov, Alexandre Riazanov, Sean Bechhofer, Ian Horrocks

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Abstract

    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. © Springer-Verlag 2004.
    Original languageEnglish
    Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.
    PublisherSpringer Nature
    Pages471-485
    Number of pages14
    Volume3298
    Publication statusPublished - 2004
    EventThe Semantic Web - ISWC 2004: Third International Semantic Web Conference,Hiroshima, Japan, November 7-11, 2004. Proceedings -
    Duration: 1 Jan 1824 → …
    http://dblp.uni-trier.de/db/conf/semweb/iswc2004.html#TsarkovRBH04http://dblp.uni-trier.de/rec/bibtex/conf/semweb/TsarkovRBH04.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/semweb/TsarkovRBH04

    Publication series

    NameLecture Notes in Computer Science

    Conference

    ConferenceThe Semantic Web - ISWC 2004: Third International Semantic Web Conference,Hiroshima, Japan, November 7-11, 2004. Proceedings
    Period1/01/24 → …
    Internet address

    Fingerprint

    Dive into the research topics of 'Using vampire to reason with OWL'. Together they form a unique fingerprint.

    Cite this