Tutorial on Reasoning and Representation with Concept Languages.
Jürgen MüllerFranz BaaderBernhard NebelWerner NuttGert SmolkaPublished in: CADE (1990)
Keyphrases
- description logics
- number restrictions
- highly expressive
- multiscale
- knowledge base
- reasoning process
- knowledge representation
- expressive power
- graphical representation
- multiple representations
- reasoning mechanisms
- intermediate representations
- conceptual representation
- representing knowledge
- inference process
- reasoning systems
- automated reasoning
- text summarization