Keyphrases
- specification language
- ontology mapping
- semi automatic
- formal specification
- programming language
- ontology integration
- description language
- semantic interoperability
- semantic web
- ontology matching
- data sharing
- semantic wiki
- software environment
- knowledge acquisition
- data integration
- case study
- model checking
- semantic relations
- software architecture
- database
- business processes
- query processing
- information technology
- databases
- data sets