@prefix AfricanWildlifeOntology1: <http://www.meteck.org/teaching/OEbook/ontologies/AfricanWildlifeOntology1.owl#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
AfricanWildlifeOntology1:eats a owl:ObjectProperty ;
rdfs:comment "Note: cf AWO1, the axiom changed from is-part-of to is-proper-part-of, which is what was really intended",
"domain is not specified, as it is used in one of the exercises (declaring it to be Animal makes the CarnivorousPlant unsatisfiable)" ;
rdfs:range [ a owl:Class ;
owl:unionOf ( AfricanWildlifeOntology1:Animal AfricanWildlifeOntology1:Plant [ a owl:Restriction ;
owl:onProperty AfricanWildlifeOntology1:is-proper-part-of ;
owl:someValuesFrom AfricanWildlifeOntology1:Animal ] [ a owl:Restriction ;
owl:onProperty AfricanWildlifeOntology1:is-proper-part-of ;
owl:someValuesFrom AfricanWildlifeOntology1:Plant ] ) ] .