Reducing OWL entailment to description logic satisfiability

Ian Horrocks, Peter Patel-Schneider

    Research output: Contribution to journalArticlepeer-review


    We show how to reduce ontology entailment for the OWL DL and OWL Lite ontology languages to knowledge base satisfiability in (respectively) the SHOIN(D) and SHIF(D) description logics. This is done by first establishing a correspondence between OWL ontologies and description logic knowledge bases and then by showing how knowledge base entailment can be reduced to knowledge base satisfiability. © 2004 Elsevier B. V. All rights reserved.
    Original languageEnglish
    Pages (from-to)345-357
    Number of pages12
    JournalWeb Semantics
    Issue number4
    Publication statusPublished - Oct 2004


    • Architecture
    • Knowledge
    • OWL Lite


    Dive into the research topics of 'Reducing OWL entailment to description logic satisfiability'. Together they form a unique fingerprint.

    Cite this