Answering Conjunctive Regular Path Queries over Guarded Existential Rules.
Jean-François BagetMeghyn BienvenuMarie-Laure MugnierMichaël ThomazoPublished in: IJCAI (2017)
Keyphrases
- query answering
- dl lite
- conjunctive regular path queries
- conjunctive queries
- description logics
- data exchange
- answering queries
- integrity constraints
- data complexity
- incomplete information
- regular path queries
- data integration
- first order logic
- association rules
- horn clauses
- query containment
- computational complexity
- databases