Explaining Inconsistency-Tolerant Query Answering over Description Logic Knowledge Bases.
Meghyn BienvenuCamille BourgauxFrançois GoasdouéPublished in: AAAI (2016)
Keyphrases
- query answering
- dl lite
- description logics
- conjunctive query answering
- transitive roles
- knowledge base
- data exchange
- data integration
- incomplete information
- data complexity
- query rewriting
- conjunctive queries
- computing least common subsumers
- reasoning tasks
- answering queries
- semantic web
- knowledge representation
- computational properties
- integrity constraints
- unions of conjunctive queries
- exptime complete
- schema mappings
- datalog programs
- query answers
- inconsistent databases
- first order logic
- complexity of query answering
- tight complexity bounds