Ontology Verification with Repositories
Gruninger, Hahmann, Hashemi, Ong
ontology model theory verification
@inproceedings{gruninger:fois-2010,
title={Ontology Verification with Repositories},
author={Michael Gr\"{u}ninger and Torsten Hahmann and
Ali Hashemi and Darren Ong},
booktitle={Formal Ontology in Information Systems},
pages={317--330},
year={2010},
publisher={{IOS} Press}
}
Defines verification as proving the relationship between intended models of an ontology and those of its actual axiomatization
- Want to show isomorphism between the two
- Supports claims that inferences drawn from axioms follow how the software operates
"We can say that two software systems are semantically integrated if their sets of intended models are equivalent."
- But systems can't exchange the models themselves
Three challenges:
- "How can we identify and characterize the classes of structures that are isomorphic to the models of ontologies?"
- "What is the weakest theory that is required to axiomatize the intended models of an ontology?"
- "How can the design of new ontologies be driven by investigating the properties of the models of existing ontologies?"
Rooted around COLORE, Common Logic Ontology Repository
- Common Logic ISO 24707
- Ontologies/theories within repository constitute modules
Relationships between ontologies:
- Conservative extension
- Relative interpretability
- Faithful interpretability
Ontology can be linked to core theory modules in repository to define intended models, verify
- Construct network connecting needed core modules