Skip to content
conftrace_
2022 IJCAI IJCAI 2022

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

Abstract

We argue that linear temporal logic LTL in tandem with monadic first-order logic can be used as a ba- sic language for ontology-based access to tempo- ral 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.

Authors

Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev

Topics

Machine Learning > Optimization & Theory > Theory

Keywords

first-order logic query rewriting ontology-mediated query linear temporal logic temporal data first-order rewritability monadic first-order logic ontology-mediated queries ontology-based queries
Download PDF

More from IJCAI 2022

All IJCAI 2022 papers →
A Survey on Gradient Inversion: Attacks, Defenses and Future Directions
Towards Verifiable Federated Learning
A Survey on Neural Open Information Extraction: Current Status and Future Directions
Bayesian Auctions with Efficient Queries (Extended Abstract)
Overlapping Communities and Roles in Networks with Node Attributes: Probabilistic Graphical Modeling, Bayesian Formulation and Variational Inference (Extended Abstract)
On Quantifying Literals in Boolean Logic and its Applications to Explainable AI (Extended Abstract)