Polynomial Datalog Rewritings for Expressive Description Logics with Closed Predicates.
Shqiponja AhmetajMagdalena OrtizMantas SimkusPublished in: IJCAI (2016)
Keyphrases
- regular path queries
- expressive description logics
- datalog programs
- query answering
- data complexity
- conjunctive queries
- query containment
- regular expressions
- expressive power
- query language
- data exchange
- semistructured data
- graph databases
- integrity constraints
- transitive closure
- incomplete information
- query rewriting
- data integration
- exptime complete
- query evaluation
- special case
- answering queries
- schema mappings
- decision procedures
- databases
- deductive databases
- ontology languages
- np complete