Reasoning with inconsistencies in hybrid MKNF knowledge bases.
Shasha HuangQingguo LiPascal HitzlerPublished in: Log. J. IGPL (2013)
Keyphrases
- knowledge base
- open world
- logic programming
- knowledge representation
- expert systems
- description logics
- inconsistent knowledge
- inference engine
- knowledge representation systems
- knowledge acquisition
- knowledge based systems
- reasoning tasks
- closed world
- incomplete information
- production rules
- reasoning engine
- computing least common subsumers
- meta knowledge
- formal representation
- rule base
- domain experts
- natural language