A goal-directed implementation of query answering for hybrid MKNF knowledge bases.
Ana Sofia GomesJosé Júlio AlferesTerrance SwiftPublished in: Theory Pract. Log. Program. (2014)
Keyphrases
- goal directed
- query answering
- open world
- dl lite
- data exchange
- knowledge base
- data complexity
- data integration
- integrity constraints
- ontology languages
- answering queries
- conjunctive queries
- closed world
- description logics
- incomplete information
- logic programming
- schema mappings
- autonomous robots
- query rewriting
- computational complexity
- query processing
- inconsistent databases
- data management