Institution-Based Semantics for MOF and QVT-Relations.
Daniel CalegariNora SzaszPublished in: SBMF (2013)
Keyphrases
- conceptual graphs
- temporal relations
- intended meaning
- neural network
- lexical semantics
- algebraic structure
- logic programming
- relational data model
- model theoretic
- semantic representation
- formal semantics
- binary relations
- operational semantics
- relational operators
- database
- keywords
- conceptual model
- relational calculus
- semantic constraints
- reasoning mechanism
- higher education
- semantic information
- relational databases