]> MK downloaded this file from http://www.iro.umontreal.ca/~lapalme/ift6281/OWL/AfricanWildlifeOntology.xml, changed the extension to .owl and appended the name with Web. That ontology give a load error in protege due to the use of Collection in the definition of Herbivore, so the AfricanWildlifeOntology0.owl has that piece removed. African Wildlide Ontology, Semantic Web Primer, 4.3.1 pages 119-133 AfricanWildlifeOntology0.owl was then modified by Maria Keet (classes and object properties added, more comments added, updated the uri etc) and renamed into AfricanWildlifeOntology1.owl. This is still an ontology just for tutorial purposes, so take it with a grain of salt This ontology is just to show the behaviour of the non-transitive direct-part. It goes together with AfricanWildlifeOntology4b, where direct-part is a sub-property of the transitive part-of (not a sister-property as in this ontology). Observe that Giraffe is *not* classified as a Herbivore. Branches are parts of trees. Carnivores are exactly those animals that eat only animals. Giraffes are herbivores, and they eat only leaves. they also eat twigs Herbivores are exactly those animals that eat only plants or parts of plants Leaves are parts of branches. Lions are animals that eat only herbivores. Plants are disjoint from animals. Plants eaten both by herbivores and carnivores Trees are a type of plant. 'plant' is here a shorthand for plant kingdom An african antelope http://en.wikipedia.org/wiki/Impala They eat grasses and broad-leafed plants http://en.wikipedia.org/wiki/Rock_Hyrax Warthogs are Omnivorous http://en.wikipedia.org/wiki/Warthog