Keyphrases
- formal semantics
- uml class diagrams
- logic programming
- databases
- semantic information
- graphical representation
- categorical data
- conceptual graphs
- real time
- attribute values
- software development
- semantic representation
- specification language
- operational semantics
- model theoretic
- artificial intelligence
- logical language