http://www.meteck.org/teaching/OEbook/ontologies/AfricanWildlifeOntology1.owl#CarnivorousPlant
Instances of AfricanWildlifeOntology1:CarnivorousPlant 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 rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
AfricanWildlifeOntology1:CarnivorousPlant a owl:Class ;
rdfs:comment "they do exist (https://en.wikipedia.org/wiki/Carnivorous_plant). Added in the ontology mainly to play with inconsistencies on domain and range axioms, like the \"only animals eat something\", yet the carnivorous plant (disjoint from animals) also eats animals (insects and arthropods, mainly)"@en ;
rdfs:subClassOf [ a owl:Restriction ;
owl:onProperty AfricanWildlifeOntology1:eats ;
owl:someValuesFrom AfricanWildlifeOntology1:Animal ],
AfricanWildlifeOntology1:Plant .