On the First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic (Extended Abstract).
Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
Beitragende
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
Originalsprache | Englisch |
---|---|
Titel | Proceedings of the 31st International Joint Conference on Artificial Intelligence, IJCAI 2022 |
Redakteure/-innen | Luc De Raedt, Luc De Raedt |
Herausgeber (Verlag) | ijcai.org |
Seiten | 5703-5707 |
Seitenumfang | 5 |
ISBN (elektronisch) | 9781956792003 |
Publikationsstatus | Veröffentlicht - 2022 |
Peer-Review-Status | Ja |
Externe IDs
Scopus | 85137886033 |
---|---|
ORCID | /0000-0001-9936-0943/work/142238129 |