Efficient Query Answering in DL-Lite through FOL Reformulation (Extended Abstract).
Damian BursztynFrançois GoasdouéIoana ManolescuPublished in: Description Logics (2015)
Keyphrases
- dl lite
- query answering
- extended abstract
- description logics
- data exchange
- data complexity
- conjunctive queries
- conjunctive query answering
- answering queries
- integrity constraints
- data integration
- incomplete information
- query rewriting
- first order logic
- expressive power
- computational complexity
- unions of conjunctive queries
- knowledge base
- schema mappings
- ontology based data access
- tight complexity bounds
- tuple generating dependencies
- artificial intelligence