---
title: "Temporal and Spatial OBDA with Many-Dimensional Halpern-Shoham Logic"
authors:
  - "Roman Kontchakov"
  - "Laura Pandolfo"
  - "Luca Pulina"
  - "Vladislav Ryzhikov"
  - "Michael Zakharyaschev"
doi: ""
url: "https://ijcai.org/proceedings/2016/168"
pdf: "https://ijcai.org/proceedings/2016/0168.pdf"
venue: "Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence"
year: 2016
pages: "1160-1165"
track: ""
keywords:
---

# Temporal and Spatial OBDA with Many-Dimensional Halpern-Shoham Logic

Roman Kontchakov, Laura Pandolfo, Luca Pulina, Vladislav Ryzhikov, Michael Zakharyaschev

*Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence*, pages 1160-1165.

## Abstract

We design an extension datalogHS of datalog with hyperrectangle generalisations of Halpern-Shoham'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 datalogHS queries can be reduced to standard datalog query answering. We present experimental results showing the expressivity and efficiency of datalogHS on historical data.