First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries.
Alessandro ArtaleRoman KontchakovAlisa KovtunovaVladislav RyzhikovFrank WolterMichael ZakharyaschevPublished in: J. Artif. Intell. Res. (2022)
Keyphrases
- description logics
- expressive power
- conjunctive queries
- query language
- ontology based data access
- query evaluation
- first order logic
- semantic query
- high level query language
- query processing
- knowledge representation
- answering queries
- three dimensional
- query rewriting
- temporal data
- temporal information
- probabilistic databases
- database queries
- query answering
- data complexity
- query containment
- semantic web
- query complexity
- linear temporal logic
- database
- owl ontologies
- special case
- spatio temporal
- domain knowledge
- web search engines
- knowledge base
- complex queries
- temporal databases
- domain ontology
- temporal constraints
- multi dimensional
- range queries
- integrity constraints
- lower bound
- dnf formulas
- polynomial size
- artificial intelligence
- domain specific
- primary key
- databases
- temporal reasoning