Keyphrases
- formal language
- machine processable
- operational semantics
- model theoretic
- highly expressive
- logic programming
- formal semantics
- specification languages
- formal specification
- semantic information
- default reasoning
- formal languages
- formal methods
- owl ontologies
- commonsense knowledge
- transformation rules
- semantic interpretation
- database
- data sources
- case study
- artificial intelligence