First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic.
Alessandro ArtaleRoman KontchakovAlisa KovtunovaVladislav RyzhikovFrank WolterMichael ZakharyaschevPublished in: CoRR (2020)
Keyphrases
- linear temporal logic
- description logics
- temporal logic
- ontology based data access
- expressive power
- query language
- conjunctive queries
- model checking
- semantic query
- query evaluation
- query processing
- bounded model checking
- knowledge base
- query rewriting
- knowledge representation
- semantic web
- data model
- query answering
- search algorithm
- domain specific
- data exchange
- data complexity
- database
- artificial intelligence