Keyphrases
- operational semantics
- definition language
- rule language
- predicate calculus
- machine processable
- formal semantics
- lexical semantics
- logic programming
- attribute grammars
- precisely defined
- business rules
- default reasoning
- context free grammars
- database
- conceptual model
- domain knowledge
- natural language
- website
- argumentation semantics
- metadata