Keyphrases
- programming language
- meta level
- language learning
- reasoning mechanism
- natural language
- proof theory
- knowledge representation
- reasoning systems
- probabilistic knowledge
- highly expressive
- uml class diagrams
- language processing
- reasoning tasks
- terminological reasoning
- constraint language
- logic programming language
- data sets
- knowledge base
- artificial intelligence
- machine learning