Temporal Ontology-Mediated Queries and First-Order Rewritability: A Short Course.
Vladislav RyzhikovPrzemyslaw Andrzej WalegaMichael ZakharyaschevPublished in: Reasoning Web (2020)
Keyphrases
- description logics
- expressive power
- conjunctive queries
- ontology based data access
- query language
- semantic query
- query evaluation
- first order logic
- semantic web
- query rewriting
- linear temporal logic
- answering queries
- knowledge base
- knowledge representation
- query processing
- high level query language
- probabilistic databases
- primary key
- spatio temporal
- response time
- database
- domain knowledge
- temporal information
- temporal constraints
- query answering
- domain ontology
- domain specific
- user queries
- owl ontologies
- temporal data
- retrieval systems
- complex queries
- web search engines
- temporal databases
- data complexity
- ontology mapping
- temporal reasoning
- semantic information
- spatio temporal databases
- np complete
- range queries
- data sources
- expert systems
- owl dl ontologies
- artificial intelligence