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

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

white thing
type: Class

van
type: Class
subclass of: vehicle

publication
type: Class

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

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

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

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

person
type: Class
subclass of: animal

cat
type: Class
subclass of: animal

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

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

adult
type: Class
comment: Things that are adult.
disjoint with: young

quality broadsheet
type: Class
subclass of: broadsheet

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

vehicle
type: Class

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

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

bus company
type: Class
subclass of: company

company
type: Class

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

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
    on property: eats
    some values from: Class
      intersection of: brain
      intersection of: Restriction
        on property: part_of
        some values from: sheep

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

brain
type: Class

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

bus
type: Class
subclass of: vehicle

car
type: Class
subclass of: vehicle

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
    on property: eats
    all values from: Class
      complement of: animal
  intersection of: Restriction
    on property: eats
    all values from: Class
      complement of: Restriction
        on property: part_of
        some values from: animal

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

bone
type: Class

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

young
type: Class

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

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

red top
type: Class
subclass of: tabloid

duck
type: Class
subclass of: animal

tree
type: Class
subclass of: plant

plant
type: Class

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

haulage company
type: Class
subclass of: company

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

truck
type: Class
subclass of: vehicle

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

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

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

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

elderly
type: Class
subclass of: adult

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

lorry
type: Class
subclass of: vehicle

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

female
type: Class

grass
type: Class
subclass of: plant

tiger
type: Class
subclass of: animal

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

magazine
type: Class
subclass of: publication

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

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

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

has_child
type: ObjectProperty

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

eats
type: ObjectProperty
inverse of: eaten_by
domain: animal

works_for
type: ObjectProperty

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

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

has_parent
type: ObjectProperty

service_number
type: DatatypeProperty
range: integer

eaten_by
type: ObjectProperty

drives
type: ObjectProperty

likes
type: ObjectProperty

reads
type: ObjectProperty
range: publication

part_of
type: ObjectProperty

has_part
type: ObjectProperty
inverse of: part_of

is_pet_of
type: ObjectProperty
inverse of: has_pet

The Times
type: broadsheet

The Sun
type: tabloid

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

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

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

Rex
type: dog
is pet of: Mick

Tom
type: Thing

Flossie
type: cow

Fido
type: dog

Fred
type: person
has pet: Tibbs

Huey
type: duck

Mick
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.
type: male
drives: Q123 ABC
reads: Daily Mirror

Walt
type: person
has pet: Huey
has pet: Dewey
has pet: Louie

The Guardian
type: broadsheet

Fluffy
type: tiger

Minnie
type: elderly
type: female
has pet: Tom

Dewey
type: duck

Kevin
type: person

Louie
type: duck

The42
type: bus
service number: 42

Tibbs
type: cat