This example illustrates the use of disjointness axioms to catch errors in the ontology.
Constructs illustrated:
- Disjoint classes 4.3 in owl primer
- Open bad-chromosome.owl
- Do a query for all parts of a nucleus - how many?
- Do a query for all parts of a mitochondrion - how many?
- Can you tell what the problem with chromosome is?
- Add a disjointness axiom
- Select HermiT and start it up
- Find the problem and get an explanation
- Have a look at your disjointness axiom. Can it be made more specific or more general? Does this make a difference?
- Look at the text definition for cytoplasm - can you make it correspond to the definition
- Open go.owl (this can be found in the tutorial directory under "external")
- Add a disjointness axiom between 'plasma membrane part' and 'cytosolic part'
- Run hermit (should take a minute or so)
- How many unsatisfiable classes are there? Are these problematic, or is the disjointess axiom too strong?