A Goal-Directed Implementation of Query Answering for Hybrid MKNF Knowledge Bases
Ana Sofia GomesJosé Júlio AlferesTerrance SwiftPublished in: CoRR (2011)
Keyphrases
- goal directed
- query answering
- open world
- dl lite
- data exchange
- knowledge base
- incomplete information
- integrity constraints
- data complexity
- ontology languages
- answering queries
- conjunctive queries
- autonomous robots
- description logics
- closed world
- data integration
- inconsistent databases
- schema mappings
- logic programming
- query rewriting
- query relaxation
- data model
- first order logic
- data management
- knowledge representation
- query answers