On the First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic (Extended Abstract).
Alessandro ArtaleRoman KontchakovAlisa KovtunovaVladislav RyzhikovFrank WolterMichael ZakharyaschevPublished in: IJCAI (2022)
Keyphrases
- extended abstract
- linear temporal logic
- description logics
- conjunctive queries
- query evaluation
- query language
- expressive power
- ontology based data access
- temporal logic
- semantic query
- model checking
- knowledge base
- bounded model checking
- query rewriting
- semantic web
- knowledge representation
- database
- query answering
- query processing
- domain specific
- databases
- first order logic
- data model
- artificial intelligence