Deciding FO-Rewritability of Ontology-Mediated Queries in Linear Temporal Logic.
Vladislav RyzhikovYury SavateevMichael ZakharyaschevPublished in: TIME (2021)
Keyphrases
- linear temporal logic
- query language
- expressive power
- description logics
- conjunctive queries
- ontology based data access
- semantic query
- knowledge base
- query evaluation
- first order logic
- semantic web
- transitive closure
- knowledge representation
- query rewriting
- query processing
- database
- domain specific
- temporal logic
- data model
- data complexity
- model checking
- special case
- relational databases