Keyphrases
- knowledge base
- consistency checking
- semi automatic
- mobile devices
- data driven
- meta reasoning
- fully automatic
- reasoning process
- small number
- query answering
- artificial intelligence
- reasoning systems
- meta level
- semantic web
- knowledge representation
- expert systems
- default reasoning
- automated reasoning
- case study
- analogical reasoning
- reasoning services
- database
- inheritance reasoning