Ontology Verification with Repositories.
Michael GrüningerTorsten HahmannAli HashemiDarren OngPublished in: FOIS (2010)
Keyphrases
- topic maps
- domain ontology
- domain knowledge
- semantic web
- domain specific
- semantically rich
- metadata
- learning objects
- linked open data
- source code
- knowledge representation
- formal verification
- knowledge base
- knowledge repositories
- face verification
- conceptual model
- ontological framework
- digital libraries
- information retrieval
- verification method
- ontology evolution
- class hierarchy
- owl dl ontologies
- semantic data
- semi automatically
- formal methods
- semantic annotation
- model checking
- semantic information