{"type":"ScholarlyArticle","title":"Temporal and Spatial OBDA with Many-Dimensional Halpern-Shoham Logic","authors":[{"name":"Roman Kontchakov","slug":"roman-kontchakov","given":"Roman","family":"Kontchakov","affiliation":""},{"name":"Laura Pandolfo","slug":"laura-pandolfo","given":"Laura","family":"Pandolfo","affiliation":""},{"name":"Luca Pulina","slug":"luca-pulina","given":"Luca","family":"Pulina","affiliation":""},{"name":"Vladislav Ryzhikov","slug":"vladislav-ryzhikov","given":"Vladislav","family":"Ryzhikov","affiliation":""},{"name":"Michael Zakharyaschev","slug":"michael-zakharyaschev","given":"Michael","family":"Zakharyaschev","affiliation":""}],"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.","doi":null,"url":"https://ijcai.org/proceedings/2016/168","pdf":"https://ijcai.org/proceedings/2016/0168.pdf","markdown":"https://ijcai.org/proceedings/2016/168.md","bibtex":"https://ijcai.org/proceedings/2016/bibtex/168","volume":{"slug":"2016","title":"Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2016","url":"https://ijcai.org/proceedings/2016/","year":2016,"location":"New York, NY, USA","dates":"9–15 July 2016","editors":"Subbarao Kambhampati","isbn":"978-1-57735-770-4; 978-1-57735-771-1","publisher":"AAAI Press / International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":168,"pages":{"first":1160,"last":1165},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}