BIROn - Birkbeck Institutional Research Online

    Islands of tractability for relational constraints: towards dichotomy results for the description logic EL

    Kurucz, A. and Wolter, F. and Zakharyaschev, Michael (2010) Islands of tractability for relational constraints: towards dichotomy results for the description logic EL. In: Beklemishev, L. and Goranko, V. and Shehtman, V. (eds.) Papers from the eighth conference on "Advances in Modal Logic," held in Moscow, Russia, 24-27. Advances In Modal Logic 8. London, UK: College Publications, pp. 271-291. ISBN 9781848900134.

    Full text not available from this repository.

    Abstract

    EL is a tractable description logic serving as the logical underpinning of large-scale ontologies. We launch a systematic investigation of the boundary between tractable and intractable reasoning in EL under relational constraints. For example, we show that there are (modulo equivalence) exactly 3 universal constraints on a transitive and re exive relation under which reasoning is tractable: being a singleton set, an equivalence relation, or the empty constraint. We prove a number of results of this type and discuss a spectrum of open problems including generalisations to the algebraic semantics for EL (semi-lattices with monotone operators).

    Metadata

    Item Type: Book Section
    Keyword(s) / Subject(s): Description logic, tractability, frame condition
    School: Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences
    Depositing User: Administrator
    Date Deposited: 30 May 2013 13:19
    Last Modified: 09 Aug 2023 12:33
    URI: https://eprints.bbk.ac.uk/id/eprint/7107

    Statistics

    Activity Overview
    6 month trend
    0Downloads
    6 month trend
    217Hits

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item