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 |