A comparative study of two formal semantics of the SIGNAL language.
Zhibin YangJean-Paul BodeveixMamoun FilaliPublished in: Frontiers Comput. Sci. (2013)
Keyphrases
- formal semantics
- logical language
- formal language
- operational semantics
- modeling language
- modelling language
- speech acts
- er model
- first order logic
- logical reasoning
- natural language
- theorem prover
- ontology languages
- situation calculus
- database
- owl dl ontology
- model theoretic
- epistemic logic
- metamodel
- database management systems
- description logics