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

Research output: Contribution to book/Conference proceedings/Anthology/ReportConference contributionContributedpeer-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 languageEnglish
Title of host publicationProceedings of the 31st International Joint Conference on Artificial Intelligence, IJCAI 2022
EditorsLuc De Raedt, Luc De Raedt
Publisherijcai.org
Pages5703-5707
Number of pages5
ISBN (electronic)9781956792003
Publication statusPublished - 2022
Peer-reviewedYes

External IDs

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