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