Keyphrases
- formal semantics
- modeling language
- metamodel
- logical language
- er model
- formal language
- logical reasoning
- first order logic
- constraint language
- theorem prover
- test cases
- open source
- speech acts
- ontology languages
- uml class diagrams
- description logics
- software engineering
- operational semantics
- epistemic logic
- expert systems
- artificial intelligence