http://www.meteck.org/teaching/OEbook/ontologies/AfricanWildlifeOntology1.owl#Herbivore
Instances of AfricanWildlifeOntology1:Herbivore can have the following properties:
PROPERTY | TYPE | DESCRIPTION | RANGE |
---|---|---|---|
From class owl:Thing | |||
AfricanWildlifeOntology1:eaten-by | owl:ObjectProperty | -- | owl:Thing |
AfricanWildlifeOntology1:has-part | owl:ObjectProperty | -- | owl:Thing |
AfricanWildlifeOntology1:is-part-of | owl:ObjectProperty | -- | owl:Thing |
AfricanWildlifeOntology1:is-proper-part-of | owl:IrreflexiveProperty | -- | owl:Thing |
http://www.meteck.org/teaching/OEbook/ontologies/AfricanWildlifeOntology4.owl#has-member | owl:ObjectProperty | intended to be the same as the membership relation in the taxonomy of part-whole relations. Added here for playing with animals and their collectives | owl:Thing |
http://www.meteck.org/teaching/OEbook/ontologies/AfricanWildlifeOntology4.owl#inhabits | owl:ObjectProperty | -- | owl:Thing |
http://www.meteck.org/teaching/OEbook/ontologies/AfricanWildlifeOntology4.owl#inheres-in | owl:ObjectProperty | to relate dependent to indpendent entities | owl:Thing |
rdfs:comment | owl:AnnotationProperty | -- | owl:Thing |
@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:Herbivore a owl:Class ;
rdfs:comment "Herbivores are exactly those animals that eat only plants or parts of plants ",
"Note: cf AWO1, the axiom changed from is-part-of to is-proper-part-of, which is what was really intended"@en ;
rdfs:subClassOf AfricanWildlifeOntology1:Animal ;
owl:disjointWith AfricanWildlifeOntology1:Omnivore ;
owl:equivalentClass [ a owl:Class ;
owl:unionOf ( [ a owl:Restriction ;
owl:allValuesFrom AfricanWildlifeOntology1:Plant ;
owl:onProperty AfricanWildlifeOntology1:eats ] [ a owl:Restriction ;
owl:allValuesFrom [ a owl:Restriction ;
owl:onProperty AfricanWildlifeOntology1:is-proper-part-of ;
owl:someValuesFrom AfricanWildlifeOntology1:Plant ] ;
owl:onProperty AfricanWildlifeOntology1:eats ] ) ] .