Polynomial rewritings from expressive Description Logics with closed predicates to variants of Datalog.
Shqiponja AhmetajMagdalena OrtizMantas SimkusPublished in: Artif. Intell. (2020)
Keyphrases
- regular path queries
- expressive description logics
- datalog programs
- query answering
- data complexity
- conjunctive queries
- query containment
- regular expressions
- expressive power
- query language
- query evaluation
- semistructured data
- data exchange
- integrity constraints
- graph databases
- np complete
- data integration
- query rewriting
- answering queries
- decision procedures
- special case
- matching algorithm
- databases
- query optimization