First-order rewritability of ontology-mediated queries in linear temporal logic.
Alessandro ArtaleRoman KontchakovAlisa KovtunovaVladislav RyzhikovFrank WolterMichael ZakharyaschevPublished in: Artif. Intell. (2021)
Keyphrases
- linear temporal logic
- description logics
- expressive power
- temporal logic
- ontology based data access
- query language
- semantic query
- conjunctive queries
- model checking
- query evaluation
- query rewriting
- bounded model checking
- knowledge base
- first order logic
- database
- query processing
- knowledge representation
- semantic web
- domain specific
- query answering
- general purpose
- data management
- data complexity
- data model
- dl lite