ML Anthology

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

Roman Kontchakov, Laura Pandolfo, Luca Pulina, Vladislav Ryzhikov, Michael Zakharyaschev
IJCAI 2016 pp. 1160-1166
/ijcai/2016/kontchakov2016ijcai-temporal/

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. PDF

PDF IJCAI Semantic Scholar

Cite

Text

Kontchakov et al. "Temporal and Spatial OBDA with Many-Dimensional Halpern-Shoham Logic." International Joint Conference on Artificial Intelligence, 2016.

Markdown

[Kontchakov et al. "Temporal and Spatial OBDA with Many-Dimensional Halpern-Shoham Logic." International Joint Conference on Artificial Intelligence, 2016.](https://mlanthology.org/ijcai/2016/kontchakov2016ijcai-temporal/)

BibTeX

@inproceedings{kontchakov2016ijcai-temporal,
  title     = {{Temporal and Spatial OBDA with Many-Dimensional Halpern-Shoham Logic}},
  author    = {Kontchakov, Roman and Pandolfo, Laura and Pulina, Luca and Ryzhikov, Vladislav and Zakharyaschev, Michael},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2016},
  pages     = {1160-1166},
  url       = {https://mlanthology.org/ijcai/2016/kontchakov2016ijcai-temporal/}
}