A Well-founded Semantics for Hybrid MKNF Knowledge Bases.
Matthias KnorrJosé Júlio AlferesPascal HitzlerPublished in: Description Logics (2007)
Keyphrases
- logic programming
- semantics for logic programs
- knowledge base
- open world
- fixpoint
- logic programs
- description logics
- ontology languages
- deductive databases
- answer sets
- knowledge representation
- stable models
- nonmonotonic reasoning
- closed world
- answer set programming
- incomplete information
- finite state machines
- expert systems
- normal form
- normal logic programs
- default logic
- hybrid learning
- reasoning process
- possibilistic logic
- knowledge representation and reasoning
- belief revision
- answer set semantics
- data types
- knowledge representation systems
- information systems