Keyphrases
- formal semantics
- logical reasoning
- owl dl ontology
- design rationale
- logical language
- modeling language
- operational semantics
- semantic web
- first order logic
- er model
- formal language
- domain knowledge
- semantic annotation
- domain specific
- modelling language
- knowledge representation
- ontology languages
- metamodel
- machine learning
- speech acts
- knowledge base
- theorem prover
- domain ontology
- semantic information
- data integration
- case study
- heterogeneous information systems
- database