A formal semantics for DAI language NUML.
Manwu XuJianfeng LuFancong ZengJinwen DaiPublished in: J. Comput. Sci. Technol. (1995)
Keyphrases
- formal semantics
- logical language
- formal language
- operational semantics
- modelling language
- modeling language
- speech acts
- er model
- first order logic
- logical reasoning
- distributed artificial intelligence
- situation calculus
- ontology languages
- natural language
- conceptual schema
- knowledge representation
- data model
- database
- owl dl ontology