Keyphrases
- formal semantics
- er model
- formal language
- logical language
- operational semantics
- modeling language
- logical reasoning
- modelling language
- optimal policy
- first order logic
- owl dl ontology
- ontology languages
- theorem prover
- speech acts
- case study
- metamodel
- expressive power
- query language
- domain knowledge
- learning process
- bayesian networks
- databases