Three-valued semantics for hybrid MKNF knowledge bases revisited.
Fangfang LiuJia-Huai YouPublished in: Artif. Intell. (2017)
Keyphrases
- open world
- logic programming
- knowledge base
- semantics for logic programs
- nonmonotonic logics
- closed world
- incomplete information
- logic programs
- possibilistic logic
- nonmonotonic reasoning
- data exchange
- deductive databases
- description logics
- knowledge representation
- semantic information
- valued semantics
- fixpoint
- stable models
- sound and complete with respect
- expert systems
- knowledge representation languages
- ontology languages
- query answering
- belief revision
- knowledge based systems
- owl ontologies
- formal semantics
- default reasoning
- answer set programming
- model theoretic
- inference rules
- semantic network
- wordnet