BIROn - Birkbeck Institutional Research Online

    Temporal and spatial OBDA with many-dimensional Halpern-Shoham logic

    Kontchakov, Roman and Pandolfo, L. and Pulina, L. and Ryzhikov, V. and Zakharyaschev, Michael (2016) Temporal and spatial OBDA with many-dimensional Halpern-Shoham logic. In: Kambhampati, S. (ed.) Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence (IJCAI-16). Palo Alto, California USA: AAAI Press, pp. 1160-1166. ISBN 9781577357704.

    [img] Text
    temp spat obda.pdf - Published Version of Record
    Restricted to Repository staff only

    Download (800kB)

    Abstract

    We design an extension datalogHS2 n of datalog with hyperrectangle generalisations of HalpernShoham’s modal operators on intervals and a corresponding query language. We prove that, over n-dimensional spaces comprised of Z and R, finding certain answers to datalogHS2 n queries can be reduced to standard datalog query answering. We present experimental results showing the expressivity and efficiency of datalogHS2 n on historical data.

    Metadata

    Item Type: Book Section
    School: Birkbeck Schools and Departments > School of Business, Economics & Informatics > Computer Science and Information Systems
    Depositing User: Roman Kontchakov
    Date Deposited: 12 Jul 2016 08:55
    Last Modified: 12 Jul 2016 08:56
    URI: http://eprints.bbk.ac.uk/id/eprint/15035

    Statistics

    Downloads
    Activity Overview
    1Download
    103Hits

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item