http://www.meteck.org/teaching/OEbook/ontologies/AfricanWildlifeOntology1.owl#Carnivore
Instances of AfricanWildlifeOntology1:Carnivore 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:Carnivore a owl:Class ;
rdfs:comment "Note: cf AWO1, the axiom changed from is-part-of to is-proper-part-of, which is what was really intended"@en,
"This informal definition does not really hold; see also the subclasses added and their descriptions. How to revise the ontology accordingly?"@en ;
rdfs:isDefinedBy "Carnivores are exactly those animals that eat only animals." ;
rdfs:subClassOf AfricanWildlifeOntology1:Animal ;
owl:disjointWith AfricanWildlifeOntology1:Herbivore,
AfricanWildlifeOntology1:Omnivore ;
owl:equivalentClass [ a owl:Class ;
owl:unionOf ( [ a owl:Restriction ;
owl:allValuesFrom AfricanWildlifeOntology1:Animal ;
owl:onProperty AfricanWildlifeOntology1:eats ] [ a owl:Restriction ;
owl:allValuesFrom [ a owl:Restriction ;
owl:onProperty AfricanWildlifeOntology1:is-proper-part-of ;
owl:someValuesFrom AfricanWildlifeOntology1:Animal ] ;
owl:onProperty AfricanWildlifeOntology1:eats ] ) ] .