Temporal and spatial OBDA with many-dimensional halpern-shoham logic
Roman Kontchakov, Laura Pandolfo, Luca Pulina, Vladislav Ryzhikov, Michael Zakharyaschev · BIROn (Birkbeck, University of London) · 2016
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.