haulage worker
type: Class
equivalent class: Restriction
  on property: works_for
  some values from: Class
    union of: Restriction
      on property: part_of
      some values from: haulage company
    union of: haulage company

works_for
type: ObjectProperty

part_of
type: ObjectProperty
inverse of: has_part

haulage company
type: Class
subclass of: company

vehicle
type: Class

man
type: Class
equivalent class: Class
  intersection of: adult
  intersection of: person
  intersection of: male

adult
type: Class
comment: Things that are adult.

person
type: Class
subclass of: animal

male
type: Class
comment: The class of all male things.

cat owner
type: Class
equivalent class: Class
  intersection of: person
  intersection of: Restriction
    some values from: cat
    on property: has_pet

cat
type: Class
subclass of: animal
disjoint with: dog

has_pet
type: ObjectProperty
sub property of: likes
domain: person
comment: Anyone that has a pet must like that pet.
range: animal
inverse of: is_pet_of

animal
type: Class
subclass of: Restriction
  on property: eats
  some values from: Thing

eats
type: ObjectProperty
inverse of: eaten_by
domain: animal

sheep
type: Class
subclass of: animal
subclass of: Restriction
  all values from: grass
  on property: eats

grass
type: Class
subclass of: plant

woman
type: Class
equivalent class: Class
  intersection of: adult
  intersection of: female
  intersection of: person

female
type: Class

tabloid
type: Class
comment: A newspaper. Tabloids are usually thought of as more "down-market" than broadsheets.
disjoint with: broadsheet
subclass of: newspaper

broadsheet
type: Class
comment: A newspaper. Broadsheets are usually considered to be more "high-brow" than tabloids.
subclass of: newspaper

newspaper
type: Class
subclass of: Class
  union of: tabloid
  union of: broadsheet
subclass of: publication
comment: All newspapers are either broadsheets or tabloids.

grownup
type: Class
equivalent class: Class
  intersection of: adult
  intersection of: person

lorry driver
type: Class
equivalent class: Class
  intersection of: person
  intersection of: Restriction
    some values from: lorry
    on property: drives

lorry
type: Class
subclass of: vehicle

drives
type: ObjectProperty

cow
type: Class
comment: Cows are naturally vegetarians.
subclass of: vegetarian

vegetarian
type: Class
comment: A vegetarian is defined as an animal that eats no other animals, or parts of animals.
equivalent class: Class
  intersection of: animal
  intersection of: Restriction
    all values from: Class
      complement of: Restriction
        on property: part_of
        some values from: animal
    on property: eats
  intersection of: Restriction
    all values from: Class
      complement of: animal
    on property: eats

quality broadsheet
type: Class
subclass of: broadsheet

plant
type: Class

animal lover
type: Class
comment: Someone who really likes animals
equivalent class: Class
  intersection of: person
  intersection of: Restriction
    min cardinality: 3
    on property: has_pet

haulage truck driver
type: Class
equivalent class: Class
  intersection of: person
  intersection of: Restriction
    some values from: Restriction
      some values from: haulage company
      on property: part_of
    on property: works_for
  intersection of: Restriction
    some values from: truck
    on property: drives

truck
type: Class
subclass of: vehicle

bus company
type: Class
subclass of: company

company
type: Class

old lady
type: Class
equivalent class: Class
  intersection of: female
  intersection of: person
  intersection of: elderly
subclass of: Class
  intersection of: Restriction
    all values from: cat
    on property: has_pet
  intersection of: Restriction
    on property: has_pet
    some values from: animal

elderly
type: Class
subclass of: adult

dog
type: Class
subclass of: Restriction
  some values from: bone
  on property: eats

bicycle
type: Class
comment: A human propelled vehicle, with two wheels
subclass of: vehicle

giraffe
type: Class
subclass of: Restriction
  all values from: leaf
  on property: eats
subclass of: animal

leaf
type: Class
subclass of: Restriction
  on property: part_of
  some values from: tree

van
type: Class
subclass of: vehicle

cat liker
type: Class
equivalent class: Class
  intersection of: person
  intersection of: Restriction
    on property: likes
    some values from: cat

likes
type: ObjectProperty

pet
type: Class
equivalent class: Restriction
  some values from: Thing
  on property: is_pet_of

is_pet_of
type: ObjectProperty
inverse of: has_pet

dog liker
type: Class
equivalent class: Class
  intersection of: person
  intersection of: Restriction
    some values from: dog
    on property: likes

driver
type: Class
subclass of: adult
equivalent class: Class
  intersection of: person
  intersection of: Restriction
    some values from: vehicle
    on property: drives

publication
type: Class

red top
type: Class
subclass of: tabloid

magazine
type: Class
subclass of: publication

young
type: Class
disjoint with: adult

bus driver
type: Class
equivalent class: Class
  intersection of: person
  intersection of: Restriction
    some values from: bus
    on property: drives
comment: Someone who drives a bus.

bus
type: Class
subclass of: vehicle

van driver
type: Class
equivalent class: Class
  intersection of: person
  intersection of: Restriction
    on property: drives
    some values from: van

tiger
type: Class
subclass of: animal

kid
type: Class
equivalent class: Class
  intersection of: young
  intersection of: person

bone
type: Class

duck
type: Class
subclass of: animal

brain
type: Class

tree
type: Class
subclass of: plant

white thing
type: Class

mad cow
type: Class
comment: A mad cow is a cow that has been eating the brains of sheep.
equivalent class: Class
  intersection of: cow
  intersection of: Restriction
    some values from: Class
      intersection of: Restriction
        some values from: sheep
        on property: part_of
      intersection of: brain
    on property: eats

pet owner
type: Class
equivalent class: Class
  intersection of: person
  intersection of: Restriction
    on property: has_pet
    some values from: animal

white van man
type: Class
equivalent class: Class
  intersection of: man
  intersection of: Restriction
    on property: drives
    some values from: Class
      intersection of: van
      intersection of: white thing
comment: A white van man is a man who drives a white van.
subclass of: Restriction
  on property: reads
  all values from: tabloid

reads
type: ObjectProperty
range: publication

dog owner
type: Class
equivalent class: Class
  intersection of: person
  intersection of: Restriction
    on property: has_pet
    some values from: dog

car
type: Class
subclass of: vehicle

has_mother
type: ObjectProperty
range: woman
sub property of: has_parent

has_parent
type: ObjectProperty

has_part
type: ObjectProperty
inverse of: part_of

has_child
type: ObjectProperty

eaten_by
type: ObjectProperty
inverse of: eats

has_father
type: ObjectProperty
range: man
sub property of: has_parent

Minnie
type: elderly
has_pet: Tom
type: female

Tom
type: Thing

Huey
type: duck

Q123 ABC
type: van
comment: A white van
type: white thing

The Times
type: broadsheet

Fido
type: dog

Joe
has_pet: Fido
type: Restriction
  max cardinality: 1
  on property: has_pet
type: person

Mick
type: male
comment: Mick is male and drives a white van. Due to the axiom concerning drivers, we know that Mick must be a man, and is therefore a white van man. The axiom about the reading material of a white van man then allows us to infer things about the Daily Mirror.
drives: Q123 ABC
reads: Daily Mirror

Daily Mirror
type: Thing
comment: The paper read by Mick (a white van man).

Flossie
type: cow

Dewey
type: duck

Pete
type: Thing

Fluffy
type: tiger

Rex
type: dog
is_pet_of: Mick

Louie
type: duck

The Sun
type: tabloid

Spike
type: Thing
is_pet_of: Pete

Walt
type: person
has_pet: Huey
has_pet: Louie
has_pet: Dewey

Fred
type: person
has_pet: Tibbs

Tibbs
type: cat

Kevin
type: person
has_pet: Fluffy
has_pet: Flossie

The Guardian
type: broadsheet