Keyphrases
- formal semantics
- logical reasoning
- owl dl ontology
- design rationale
- er model
- domain knowledge
- logical language
- knowledge representation
- operational semantics
- semantic web
- modeling language
- knowledge base
- domain specific
- first order logic
- modelling language
- owl dl
- formal language
- database
- speech acts
- semantic information
- description logics
- semantic annotation
- ontology languages
- conceptual model
- life cycle
- probability distribution
- artificial intelligence