Optimizing terminological reasoning for expressive description logics

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

    Research output: Contribution to journalArticlepeer-review


    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
    Issue number3
    Publication statusPublished - Oct 2007


    • Description logic
    • Optimizations
    • Reasoning systems


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

    Cite this