On the First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic (Extended Abstract).

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/GutachtenBeitrag in KonferenzbandBeigetragenBegutachtung

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

OriginalspracheEnglisch
TitelProceedings of the 31st International Joint Conference on Artificial Intelligence, IJCAI 2022
Redakteure/-innenLuc De Raedt, Luc De Raedt
Herausgeber (Verlag)ijcai.org
Seiten5703-5707
Seitenumfang5
ISBN (elektronisch)9781956792003
PublikationsstatusVeröffentlicht - 2022
Peer-Review-StatusJa

Externe IDs

Scopus 85137886033
ORCID /0000-0001-9936-0943/work/142238129