Polynomial Rewritings from Expressive Description Logics with Closed Predicates to Variants of Datalog.
Shqiponja AhmetajMagdalena OrtizMantas SimkusPublished in: CoRR (2019)
Keyphrases
- regular path queries
- expressive description logics
- datalog programs
- query answering
- data complexity
- conjunctive queries
- query containment
- expressive power
- regular expressions
- query language
- query evaluation
- semistructured data
- query rewriting
- data exchange
- graph databases
- integrity constraints
- transitive closure
- np complete
- incomplete information
- deductive databases
- exptime complete
- first order logic
- pattern matching
- databases
- data integration
- answering queries
- knowledge base
- reasoning tasks
- fixpoint
- ontology languages