On the First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic (Extended Abstract).
Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review
Contributors
Abstract
We argue that linear temporal logic LTL in tandem with monadic first-order logic can be used as a basic language for ontology-based access to temporal 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.
Details
| Original language | English |
|---|---|
| Title of host publication | Proceedings of the 31st International Joint Conference on Artificial Intelligence, IJCAI 2022 |
| Editors | Luc De Raedt, Luc De Raedt |
| Publisher | ijcai.org |
| Pages | 5703-5707 |
| Number of pages | 5 |
| ISBN (electronic) | 9781956792003 |
| Publication status | Published - 2022 |
| Peer-reviewed | Yes |
External IDs
| Scopus | 85137886033 |
|---|---|
| ORCID | /0000-0001-9936-0943/work/142238129 |