Keyphrases
- update semantics
- operational semantics
- definition language
- machine processable
- logic programming
- rule language
- semantic information
- formal semantics
- lexical semantics
- high level
- predicate calculus
- attribute grammars
- precisely defined
- model theoretic
- semantic representation
- update operators
- databases
- syntactic semantic
- minimal change
- semantic constraints
- context free grammars
- data model
- neural network