Keyphrases
- knowledge base
- uml class diagrams
- reasoning process
- reasoning tasks
- graphical representation
- analogical reasoning
- knowledge representation and reasoning
- knowledge representation
- meta level
- logical reasoning
- software engineering
- database
- default reasoning
- website
- information systems
- consistency checking
- information retrieval
- proof theory
- neural network
- data sets