Temporal and Spatial OBDA with Many-Dimensional Halpern-Shoham Logic
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.
Roman Kontchakov, Laura Pandolfo, Luca Pulina, Vladislav Ryzhikov, and Michael Zakharyaschev. 2016. Temporal and Spatial OBDA with Many-Dimensional Halpern-Shoham Logic. In Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI-16. IJCAI, 1160–1165. https://ijcai.org/proceedings/2016/168
Kontchakov, R., Pandolfo, L., Pulina, L., Ryzhikov, V., & Zakharyaschev, M. (2016). Temporal and Spatial OBDA with Many-Dimensional Halpern-Shoham Logic. In Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI-16 (pp. 1160–1165). IJCAI. https://ijcai.org/proceedings/2016/168
@inproceedings{ijcai2016p168,
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 = {Proceedings of the Twenty-Fifth International Joint Conference on
Artificial Intelligence, {IJCAI-16}},
publisher = {AAAI Press / International Joint Conferences on Artificial Intelligence},
editor = {Subbarao Kambhampati},
pages = {1160--1165},
year = {2016},
month = {7},
url = {https://ijcai.org/proceedings/2016/168},
}
TY - CPAPER TI - Temporal and Spatial OBDA with Many-Dimensional Halpern-Shoham Logic AU - Kontchakov, Roman AU - Pandolfo, Laura AU - Pulina, Luca AU - Ryzhikov, Vladislav AU - Zakharyaschev, Michael T2 - Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI-16 PB - AAAI Press / International Joint Conferences on Artificial Intelligence PY - 2016 SP - 1160 EP - 1165 UR - https://ijcai.org/proceedings/2016/168 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
