Recognising FO-rewritability of Ontology-Mediated Queries in Linear Temporal Logic.
Vladislav RyzhikovYury SavateevMichael ZakharyaschevPublished in: Description Logics (2020)
Keyphrases
- linear temporal logic
- query language
- expressive power
- description logics
- conjunctive queries
- query evaluation
- semantic query
- ontology based data access
- first order logic
- knowledge base
- query processing
- transitive closure
- semantic web
- database
- temporal logic
- domain specific
- query rewriting
- knowledge representation
- bounded model checking
- answering queries
- model checking
- expert systems
- data sources
- data model
- integrity constraints
- data management
- general purpose