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, Vladislav 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)


    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.


    Item Type: Book Section
    School: Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences
    Depositing User: Roman Kontchakov
    Date Deposited: 12 Jul 2016 08:55
    Last Modified: 09 Aug 2023 12:38


    Activity Overview
    6 month trend
    6 month trend

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item