Implementing Query Answering for Hybrid MKNF Knowledge Bases.
Ana Sofia GomesJosé Júlio AlferesTerrance SwiftPublished in: PADL (2010)
Keyphrases
- query answering
- open world
- dl lite
- knowledge base
- data exchange
- ontology languages
- incomplete information
- data complexity
- data integration
- conjunctive queries
- integrity constraints
- description logics
- closed world
- logic programming
- answering queries
- query rewriting
- datalog programs
- inconsistent databases
- query containment
- database
- fixpoint
- expert systems
- semantics for logic programs
- query answers
- xml documents
- special case
- first order logic