First-Order Rewritability of Temporal Ontology-Mediated Queries.
Alessandro ArtaleRoman KontchakovAlisa KovtunovaVladislav RyzhikovFrank WolterMichael ZakharyaschevPublished in: IJCAI (2015)
Keyphrases
- description logics
- expressive power
- conjunctive queries
- query language
- ontology based data access
- query evaluation
- semantic query
- first order logic
- query rewriting
- knowledge representation
- semantic web
- knowledge base
- high level query language
- linear temporal logic
- domain knowledge
- query processing
- spatio temporal
- query answering
- database
- answering queries
- temporal constraints
- primary key
- owl dl ontologies
- temporal information
- temporal data
- complex queries
- range queries
- response time
- domain specific
- domain ontology
- web search engines
- artificial intelligence
- temporal reasoning
- temporal databases
- semantic annotation
- retrieval systems
- data complexity
- semantic information
- data sources
- semi automatic
- user queries