An Implementation Platform for Query-Answering in Default Logics: Theoretical Underpinnings.
Torsten SchaubPascal NicolasPublished in: ISMIS (1997)
Keyphrases
- query answering
- theoretical underpinnings
- default logic
- data exchange
- data complexity
- data integration
- answering queries
- integrity constraints
- incomplete information
- conjunctive queries
- logic programming
- default theories
- machine learning
- schema mappings
- databases
- nonmonotonic reasoning
- default reasoning
- logic programs
- query rewriting
- metadata
- autoepistemic logic
- query answers