Query Answering via Modal Definability with FaCT++: First Blood.
Stanislav KikotDmitry TsarkovMichael ZakharyaschevEvgeny ZolinPublished in: Description Logics (2013)
Keyphrases
- query answering
- data exchange
- integrity constraints
- data complexity
- incomplete information
- conjunctive queries
- answering queries
- data integration
- fixed point
- inconsistent databases
- query rewriting
- modal logic
- schema mappings
- propositional logic
- dl lite
- data integration systems
- knowledge discovery
- query answers
- data analysis