This example extends the previous one introducing "or" (UnionOf) and "not" (complementOf)
-
open taxslim-with-union.owl
-
briefly check the asserted hierarchy if you like - this is a subset of the NCBI taxonomy
-
Examine the "union" classes at the top of the class hierarchy. In particular:
- 'Nematoda or Protostomia' (note that ncbi classifies nematodes as pseudocoelomata)
- 'Bacteria or Viridiplantae'
-
Select hermit as the reasoner and start it
-
where have the union terms gone? Check their placement in the class hierarchy. In particular the two classes above
-
Create your own grouping classes and classify them. Some examples:
- mouse or human
- mouse or primate
- Pescetarian dietary component (plant or fish)
- Pescetarian dietary component, more relaxed variant (plant or fish or fungi or mollusc or arthropod)
-
Note: don't manually place these in the hierarchy, let the reasoner do this
-
Tip: use the DL query tab to test your class expression first
-
Create a non-sensical "transgenic hybrid" class, such as a fly-human - which is both a Drosophila and a human. What happens to this when you classify?
-
try using the explanations feature (the "?").
- Hint: the explanation is more compact if you choose two sibling taxa - e.g. Deuterostome and Protostome
-
Remove the hybrid class before moving .
-
Use the DL query tab to find all mammals that are not humans
-
Try creating one or more of the following paraphyletic classes. This will involve the "not" construct
- Nonhuman primate
- Invertebrate
- Invertebrate chordate
- Reptilia, as traditionally defined: (amniote minus aves and mammals)
- Land mammal
-
What happens when you classify?
-
see HINTS.txt if you get stuck