Keyphrases
- knowledge base
- reasoning systems
- reasoning tasks
- knowledge representation
- semantic web
- meta level
- formal models
- automated reasoning
- qualitative reasoning
- neural network
- reasoning problems
- knowledge representation and reasoning
- artificial intelligence
- data sets
- inference engine
- semantic web technologies
- computational properties
- expert systems
- decision making
- resource bounded
- rule based reasoning
- reasoning mechanism
- logical reasoning