1. Home
  2. Entities
  3. Classes
  4. http://www.meteck.org/teaching/OEbook/ontologies/AfricanWildlifeOntology1.owl#Omnivore

AfricanWildlifeOntology1:Omnivore leaf node

URI

http://www.meteck.org/teaching/OEbook/ontologies/AfricanWildlifeOntology1.owl#Omnivore

Label

Omnivore

Description

An animal that eats both plants and animals (or parts thereof) - Note: cf AWO1, the axiom changed from is-part-of to is-proper-part-of, which is what was really intended

Superclasses (1)

  • AfricanWildlifeOntology1:Animal

    • Usage

    Instances of AfricanWildlifeOntology1:Omnivore can have the following properties:

    PROPERTYTYPEDESCRIPTIONRANGE
    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

    Implementation

    @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:Omnivore a owl:Class ;
    rdfs:comment "An animal that eats both plants and animals (or parts thereof)"@en,
        "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:equivalentClass [ a owl:Class ;
            owl:intersectionOf ( [ a owl:Restriction ;
                        owl:onProperty AfricanWildlifeOntology1:eats ;
                        owl:someValuesFrom AfricanWildlifeOntology1:Animal ] [ a owl:Restriction ;
                        owl:onProperty AfricanWildlifeOntology1:eats ;
                        owl:someValuesFrom AfricanWildlifeOntology1:Plant ] [ a owl:Restriction ;
                        owl:onProperty AfricanWildlifeOntology1:eats ;
                        owl:someValuesFrom [ a owl:Class ;
                                owl:unionOf ( [ 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 ] ) ] ] ) ] .