Optimizing terminological reasoning for expressive description logics

Dmitry Tsarkov, Ian Horrocks, Peter F. Patel-Schneider

    Research output: Contribution to journalArticlepeer-review

    Abstract

    Tableau algorithms are currently the most widely used and empirically the fastest algorithms for reasoning in expressive description logics, including the important description logics SHIQ and SHOIQ. Achieving a high level of performance on terminological reasoning in expressive description logics when using tableau-based algorithms requires the incorporation of a wide variety of optimizations. The description logic system FaCT++ implements a wide variety of such optimizations, some present in other reasoners and some novel or refined in FaCT++. © 2007 Springer Science+Business Media B.V.
    Original languageEnglish
    Pages (from-to)277-316
    Number of pages39
    JournalJournal of Automated Reasoning
    Volume39
    Issue number3
    DOIs
    Publication statusPublished - Oct 2007

    Keywords

    • Description logic
    • Optimizations
    • Reasoning systems

    Fingerprint

    Dive into the research topics of 'Optimizing terminological reasoning for expressive description logics'. Together they form a unique fingerprint.

    Cite this