http://www.meteck.org/teaching/OEbook/ontologies/AfricanWildlifeOntology1.owl#Lion
Instances of AfricanWildlifeOntology1:Lion 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:Lion a owl:Class ;
rdfs:comment "Lions are animals that eat only herbivores.",
"Note cf v1: I changed the 'only' to 'some' in the \"eats some herbivore\", and made into equivalent class cf subclass, so I can get my lion1 be classified as an instance of Lion. and 'closed' the axiom."@en ;
rdfs:subClassOf [ a owl:Restriction ;
owl:onProperty AfricanWildlifeOntology1:eats ;
owl:someValuesFrom AfricanWildlifeOntology1:Impala ],
[ a owl:Restriction ;
owl:onProperty [ owl:inverseOf <http://www.meteck.org/teaching/OEbook/ontologies/AfricanWildlifeOntology4.owl#inheres-in> ] ;
owl:someValuesFrom <http://www.meteck.org/teaching/OEbook/ontologies/AfricanWildlifeOntology4.owl#Predator> ],
AfricanWildlifeOntology1:Animal ;
owl:equivalentClass [ a owl:Class ;
owl:intersectionOf ( [ a owl:Restriction ;
owl:onProperty AfricanWildlifeOntology1:eats ;
owl:someValuesFrom AfricanWildlifeOntology1:Herbivore ] [ a owl:Restriction ;
owl:allValuesFrom AfricanWildlifeOntology1:Herbivore ;
owl:onProperty AfricanWildlifeOntology1:eats ] ) ] .