Lecturer
type: Class
subclass of: Academic

Academic
type: Class
subclass of: Person

Person
type: Class

Student
type: Class
subclass of: Person
disjoint with: Academic

Professor
type: Class
subclass of: Academic

Happy
type: Class
subclass of: Person

hasFriend
type: ObjectProperty

isFriendOf
type: ObjectProperty
inverse of: hasFriend

bob
type: Student
type: Class
  complement of: Happy

yolanda
type: Restriction
  on property: hasFriend
  cardinality: 2
hasFriend: bob
hasFriend: charlie

quentin
type: Thing
hasFriend: bob
hasFriend: charlie

zeke
type: Restriction
  on property: hasFriend
  cardinality: 1
hasFriend: bob

charlie
type: Professor
type: Happy

arthur
type: Student
type: Happy

richard
type: Thing
hasFriend: charlie

diane
type: Professor
type: Class
  complement of: Happy

william
type: Restriction
  on property: hasFriend
  cardinality: 0

roberta
type: Thing
hasFriend: bob

xanthe
type: Restriction
  on property: hasFriend
  cardinality: 1
hasFriend: arthur

zaphod
type: Restriction
  on property: hasFriend
  cardinality: 1
hasFriend: charlie

patricia
type: Thing
hasFriend: arthur