{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,7]],"date-time":"2024-08-07T07:37:53Z","timestamp":1723016273614},"publisher-location":"California","reference-count":0,"publisher":"International Joint Conferences on Artificial Intelligence Organization","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,7]]},"abstract":"<jats:p>We argue that linear temporal logic LTL in tandem with monadic first-order logic can be used as a ba- sic language for ontology-based access to tempo- ral data and obtain a classification of the resulting ontology-mediated queries according to the type of standard first-order queries they can be rewritten to.<\/jats:p>","DOI":"10.24963\/ijcai.2022\/794","type":"proceedings-article","created":{"date-parts":[[2022,7,16]],"date-time":"2022-07-16T02:55:56Z","timestamp":1657940156000},"page":"5703-5707","source":"Crossref","is-referenced-by-count":0,"title":["On the First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic (Extended Abstract)"],"prefix":"10.24963","author":[{"given":"Alessandro","family":"Artale","sequence":"first","affiliation":[{"name":"KRDB Research Centre, Free University of Bozen-Bolzano, Italy"}]},{"given":"Roman","family":"Kontchakov","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Information Systems, Birkbeck, University of London, UK"}]},{"given":"Alisa","family":"Kovtunova","sequence":"additional","affiliation":[{"name":"Chair for Automata Theory, Technische Universitat Dresden, Germany"}]},{"given":"Vladislav","family":"Ryzhikov","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Information Systems, Birkbeck, University of London, UK"}]},{"given":"Frank","family":"Wolter","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University of Liverpool, UK"}]},{"given":"Michael","family":"Zakharyaschev","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Information Systems, Birkbeck, University of London, UK"}]}],"member":"10584","event":{"number":"31","sponsor":["International Joint Conferences on Artificial Intelligence Organization (IJCAI)"],"acronym":"IJCAI-2022","name":"Thirty-First International Joint Conference on Artificial Intelligence {IJCAI-22}","start":{"date-parts":[[2022,7,23]]},"theme":"Artificial Intelligence","location":"Vienna, Austria","end":{"date-parts":[[2022,7,29]]}},"container-title":["Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence"],"original-title":[],"deposited":{"date-parts":[[2022,7,18]],"date-time":"2022-07-18T11:11:38Z","timestamp":1658142698000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.ijcai.org\/proceedings\/2022\/794"}},"subtitle":[],"proceedings-subject":"Artificial Intelligence Research Articles","short-title":[],"issued":{"date-parts":[[2022,7]]},"references-count":0,"URL":"https:\/\/doi.org\/10.24963\/ijcai.2022\/794","relation":{},"subject":[],"published":{"date-parts":[[2022,7]]}}}