Keyphrases
- knowledge base
- knowledge representation systems
- reasoning process
- knowledge representation
- description logics
- expert systems
- inference engine
- knowledge based systems
- abductive logic programming
- computing least common subsumers
- reasoning engine
- reasoning systems
- artificial intelligence
- automated reasoning
- formal representation
- machine learning
- knowledge representation and reasoning
- meta knowledge
- deductive reasoning
- knowledge representation languages
- production rules
- knowledge sources
- background knowledge
- domain experts
- neural network
- logical framework
- spatial reasoning
- probabilistic reasoning
- semantic network
- open world
- wordnet
- semantic web