Keyphrases
- uml class diagrams
- graphical representation
- reasoning tasks
- open world
- proof theory
- logical framework
- proof theoretic
- logic programming
- reasoning mechanism
- fuzzy description logics
- logical rules
- default reasoning
- model theoretic
- knowledge base
- derivation rules
- default rules
- automated reasoning
- description logics
- formal semantics
- computational properties
- knowledge representation
- semantic information
- abstract argumentation
- reasoning services
- uml diagrams
- reasoning mechanisms
- owl dl
- reasoning process
- reasoning systems
- defeasible reasoning
- probabilistic reasoning
- operational semantics
- knowledge representation and reasoning
- vague concepts
- hand drawn
- qualitative reasoning
- conceptual model
- uncertain information
- artificial intelligence