Keyphrases
- operational semantics
- definition language
- machine processable
- rule language
- logic programming
- formal semantics
- predicate calculus
- semantic information
- high level
- natural language
- database
- artificial intelligence
- information systems
- data mining
- object oriented
- model theoretic
- lexical semantics
- logical language
- argumentation semantics
- databases