Data Complexity and Rewritability of Ontology-Mediated Queries in Metric Temporal Logic under the Event-Based Semantics (Full Version).
Vladislav RyzhikovPrzemyslaw Andrzej WalegaMichael ZakharyaschevPublished in: CoRR (2019)
Keyphrases
- data complexity
- conjunctive queries
- query containment
- expressive power
- query evaluation
- combined complexity
- query language
- query answering
- database query languages
- query complexity
- query answers
- ontology languages
- ontology based data access
- owl dl
- metric temporal logic
- probabilistic databases
- integrity constraints
- conceptual model
- query rewriting
- np complete
- regular path queries
- complexity of query answering
- consistent query answering
- answering queries
- data model
- description logics
- data exchange
- first order logic
- special case
- exptime complete
- query processing
- null values
- decision procedures
- owl ontologies
- monadic second order logic
- knowledge representation
- dl lite
- relational algebra
- schema mappings
- inconsistent databases
- relational queries
- transitive closure
- semantic web
- tuple generating dependencies
- formal semantics
- conceptual modeling
- incomplete information
- database
- tree patterns
- xml data
- knowledge base
- machine learning