Ontology
comment: Step 2 Add parts and SEP Triples
imports: protege

Animal
type: Class
comment: A short list of classes of animals - could be filled out in more detail. Disjoint with Plant. Be sure to make all the primitive kinds of animals disjoint.
subclass of: Living thing
disjoint with: Plant

Living thing
type: Class
comment: The top notion in the Living Things ontology.
subclass of: Domain entity

Body part or part of Body part
type: Class
comment: SEP Triples
equivalent class: Class
  intersection of: Domain entity
  intersection of: Class
    union of: Restriction
      on property: is part of
      some values from: Body part
    union of: Body part

Biped
type: Class
comment: Animal that has two legs - i.e. has_leg = 2 Defined class Demonstrates use of cardinality constraint on subproperty.
equivalent class: Class
  intersection of: Animal
  intersection of: Restriction
    on property: has leg
    cardinality: 2

Bird
type: Class
subclass of: Animal
subclass of: Restriction
  on property: has limb
  cardinality: 4
subclass of: Restriction
  on property: has leg
  cardinality: 2
disjoint with: Mammal
disjoint with: Fish
disjoint with: Insect
disjoint with: Reptile

Domain entity
type: Class
comment: The top class defined by the user that really pertains to the "domain" - in this case "Living things". It is always a good idea to have your own top class under owl:Thing rather than using owl:Thing directly.

Carnivore
type: Class
comment: Animal that only eats meat. Defined class
equivalent class: Class
  intersection of: Animal
  intersection of: Restriction
    on property: eats
    all values from: Animal

Cat
type: Class
subclass of: Mammal
subclass of: Restriction
  on property: has dangerousness
  some values from: Dangerousness
subclass of: Restriction
  on property: eats
  all values from: Animal
subclass of: Restriction
  on property: has leg
  cardinality: 4
subclass of: Restriction
  on property: eats
  some values from: Animal
disjoint with: Person
disjoint with: Cow
disjoint with: Pig

Crocadilian
type: Class
subclass of: Restriction
  on property: has leg
  cardinality: 4
subclass of: Reptile

Dangerous animal
type: Class
comment: Animal that has_dangerousness Dangerous Defined class Demonstrates use of value partitions
equivalent class: Class
  intersection of: Animal
  intersection of: Restriction
    on property: has quality
    some values from: Class
      intersection of: Restriction
        on property: has risk seriousness
        some values from: Deadly risk
      intersection of: Risk
equivalent class: Class
  intersection of: Restriction
    on property: has dangerousness
    some values from: Dangerous
  intersection of: Animal

Female animal
type: Class
comment: Animal that has sex female Defined class Demonstrates use of value sets
equivalent class: Class
  intersection of: Restriction
    on property: has sex
    has value: female
  intersection of: Animal

Plant
type: Class
comment: A short list of classes of plants - could be filled out in more detail. Disjoint with Animal. Be sure to make all the primitive kinds of plants disjoint.
subclass of: Living thing
disjoint with: Animal

Herbivore
type: Class
comment: Animal that only eats plants Defined class. Demonstrates use of 'only' and closure axioms. Be sure that Cow classifies under Herbivore. Be sure you know why.
equivalent class: Class
  intersection of: Animal
  intersection of: Restriction
    on property: eats
    all values from: Plant

Lizard
type: Class
subclass of: Restriction
  on property: has leg
  cardinality: 4
subclass of: Reptile

Malaria mosquito
type: Class
comment: The mosquitos that carry Malaria - technically Anopheles mosquitos.
subclass of: Restriction
  on property: has quality
  some values from: Class
    intersection of: Restriction
      on property: has risk seriousness
      some values from: Deadly risk
    intersection of: Risk
    intersection of: Restriction
      on property: has risk type
      some values from: Carrying disease
    intersection of: Restriction
      on property: has avoidance means
      some values from: Mosquito netting
    intersection of: Restriction
      on property: has avoidance means
      some values from: Insecticidal spraying
subclass of: Mosquito

Male animal
type: Class
comment: Animal that has sex male Defined class Demonstrates use of value sets
equivalent class: Class
  intersection of: Animal
  intersection of: Restriction
    on property: has sex
    has value: male

Omnivore
type: Class
comment: Animal that east some animals and some plants. Note difference in definition with "Herbivore" and "Carnivore".
equivalent class: Class
  intersection of: Animal
  intersection of: Restriction
    on property: eats
    some values from: Plant
  intersection of: Restriction
    on property: eats
    some values from: Animal

Person
type: Class
subclass of: Mammal
subclass of: Restriction
  on property: has leg
  cardinality: 2
disjoint with: Cat
disjoint with: Cow
disjoint with: Pig

Pig
type: Class
subclass of: Mammal
subclass of: Restriction
  on property: has leg
  cardinality: 4
subclass of: Restriction
  on property: eats
  some values from: Plant
subclass of: Restriction
  on property: eats
  some values from: Animal
disjoint with: Cow
disjoint with: Cat
disjoint with: Person

Quadruped
type: Class
comment: Animal that has two legs - i.e. has_leg = 4 Defined class Demonstrates use of cardinality constraint on subproperty.
equivalent class: Class
  intersection of: Animal
  intersection of: Restriction
    on property: has leg
    cardinality: 4