BIROn - Birkbeck Institutional Research Online

    DL-Lite with temporalised concepts, rigid axioms and roles

    Artale, A. and Kontchakov, Roman and Ryzhikov, V. and Zakharyaschev, Michael (2009) DL-Lite with temporalised concepts, rigid axioms and roles. In: Ghilardi, S. and Sebastiani, R. (eds.) Frontiers of Combining Systems. Lecture Notes in Computer Science 5749. Berlin, Germany: Springer, pp. 133-148. ISBN 9783642042218.

    Full text not available from this repository.

    Abstract

    We investigate the temporal extension of the description logic \textslDL−Lite(RN)bool with the until operator on concepts, rigid (time-independent) and local (time-dependent) roles, and rigid TBox axioms. Using an embedding into the one-variable fragment of first-order temporal logic and the quasimodel technique, we prove that (i) the satisfiability problem for the resulting logic is PSpace-complete, and that (ii) by weakening until to sometime in the future we obtain an NP-complete logic, which matches the complexities of the propositional linear-time temporal logics with the corresponding temporal operators.

    Metadata

    Item Type: Book Section
    School: Birkbeck Schools and Departments > School of Business, Economics & Informatics > Computer Science and Information Systems
    Depositing User: Administrator
    Date Deposited: 13 May 2013 13:43
    Last Modified: 11 Oct 2016 12:02
    URI: http://eprints.bbk.ac.uk/id/eprint/6714

    Statistics

    Downloads
    Activity Overview
    0Downloads
    81Hits

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item