]> 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 awo.owl has that piece removed. African Wildlide Ontology, Semantic Web Primer, 4.3.1 pages 119-133 Branches are parts of trees. Carnivores are exactly those animals that eat also animals. Giraffes are herbivores, and they eat only leaves. 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.