A Formal Semantics for Brahms.
Richard StockerMaarten SierhuisLouise A. DennisClare DixonMichael FisherPublished in: CLIMA (2011)
Keyphrases
- formal semantics
- tool kit
- modeling language
- logical language
- er model
- modelling language
- logical reasoning
- first order logic
- operational semantics
- ontology languages
- formal language
- knowledge representation
- speech acts
- theorem prover
- domain knowledge
- relational databases
- functional dependencies
- learning objects
- databases