Keyphrases
- operational semantics
- definition language
- formal semantics
- machine processable
- semantic information
- data sets
- attribute grammars
- rule language
- model theoretic
- lexical semantics
- natural language
- social networks
- computer technology
- high level
- computer systems
- case study
- desktop computers
- predicate calculus
- databases
- constraint language
- data processing
- logical language
- logic programs
- expert systems