Exploiting Modularity for Ontology Verification.
Michael GrüningerTorsten HahmannMegan KatsumiPublished in: WoMO (2011)
Keyphrases
- domain knowledge
- knowledge representation
- semantically enhanced
- domain ontology
- knowledge base
- semantic web
- semantic annotation
- domain specific
- semantic information
- ontology mapping
- model checking
- semantic relationships
- ontological framework
- face verification
- database
- case study
- semantic network
- semantic representation
- semi automatically
- semi automatic
- semantic interoperability
- ontology driven
- ontology construction
- ontology evolution
- verification method
- requirement analysis
- keywords
- functional verification