SPARQL Query Containment Under SHI Axioms.
Melisachew Wudage ChekolJérôme EuzenatPierre GenevèsNabil LayaïdaPublished in: AAAI (2012)
Keyphrases
- query containment
- conjunctive queries
- query optimization
- query language
- transitive closure of roles
- query rewriting
- query answering
- transitive closure
- complexity bounds
- query evaluation
- containment of conjunctive queries
- data model
- first order logic
- description logics
- decision procedures
- regular path queries
- regular expressions
- answering queries using views
- integrity constraints
- database systems
- knowledge base
- data exchange
- cost model
- expressive power
- database
- data integration
- incomplete information
- data complexity
- tree patterns
- relational algebra
- schema mappings
- metadata
- inference rules
- deductive databases