Keyphrases
- formal semantics
- initial findings
- logical language
- operational semantics
- formal language
- modelling language
- er model
- modeling language
- ontology languages
- first order logic
- logical reasoning
- speech acts
- probabilistic model
- owl dl ontology
- databases
- relational database systems
- theorem prover
- software engineering
- bayesian networks
- case study