Univ-benchmark Ontology
type: Ontology
comment: An university ontology for benchmark tests. Language Level: OWL-DL SHIN(D). This ontology are built on basis of Lehigh Benchmark Ontology, http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl
version info: benchmark-lite.owl, ver April 15, 2005

Academic Subject
type: Class

article
type: Class
subclass of: publication

publication
type: Class

assistant professor
type: Class
subclass of: professor

professor
type: Class
subclass of: faculty member

associate professor
type: Class
subclass of: professor

person
type: Class
equivalent class: Class
  union of: Man
  union of: Woman

people who like baseball
type: Class
equivalent class: Class
  intersection of: person
  intersection of: Restriction
    on property: like
    some values from: BaseballClass

people who like basket ball
type: Class
equivalent class: Class
  intersection of: Restriction
    on property: like
    some values from: BasketBallClass
  intersection of: person

book
type: Class
subclass of: publication

chair
type: Class
equivalent class: Class
  intersection of: Restriction
    on property: is the head of
    some values from: university department
  intersection of: person
subclass of: professor

university department
type: Class
subclass of: organization

clerical staff worker
type: Class
subclass of: administrative staff worker

administrative staff worker
type: Class
subclass of: Employee

school
type: Class
subclass of: organization

organization
type: Class

conference paper
type: Class
subclass of: article

teaching course
type: Class
subclass of: Work

Work
type: Class

dean
type: Class
equivalent class: Class
  intersection of: Restriction
    on property: is the head of
    some values from: school
subclass of: professor

director
type: Class
equivalent class: Class
  intersection of: Restriction
    on property: is the head of
    some values from: program
  intersection of: person

program
type: Class
subclass of: organization

Employee
type: Class
equivalent class: Class
  intersection of: Restriction
    on property: Works For
    some values from: organization
  intersection of: person

Engineering
type: Class
subclass of: Academic Subject

faculty member
type: Class
subclass of: Employee

full professor
type: Class
subclass of: professor

Graduate Level Courses
type: Class
subclass of: teaching course

graduate student
type: Class
equivalent class: Class
  intersection of: Restriction
    on property: is taking
    min cardinality: 1
  intersection of: Restriction
    on property: is taking
    all values from: Graduate Level Courses

HumanitiesAndSocial
type: Class
subclass of: Academic Subject

institute
type: Class
subclass of: organization

journal article
type: Class
subclass of: article

lecturer
type: Class
subclass of: faculty member

students who have plenty of leisure time
type: Class
subclass of: Restriction
  on property: is taking
  max cardinality: 3

manual
type: Class
subclass of: publication

student whose major is not science
type: Class
equivalent class: Class
  intersection of: student
  intersection of: Class
    complement of: Restriction
      on property: hasMajor
      some values from: Science

student
type: Class
equivalent class: Class
  intersection of: Restriction
    on property: isStudentOf
    some values from: organization
  intersection of: person

Science
type: Class
subclass of: Academic Subject

PeopleWithHobby
type: Class
equivalent class: Class
  intersection of: Restriction
    on property: like
    min cardinality: 1
  intersection of: person

People who have at least 3 hobbies
type: Class
equivalent class: Restriction
  on property: like
  min cardinality: 3

post doctorate
type: Class
subclass of: faculty member

research work
type: Class
subclass of: Work

university research assistant
type: Class
subclass of: person
subclass of: Restriction
  on property: Works For
  some values from: research group

research group
type: Class
subclass of: organization

schedule
type: Class

software program
type: Class
subclass of: publication

published specification
type: Class
subclass of: publication

People who like Sports
type: Class
equivalent class: Class
  intersection of: Restriction
    on property: like
    some values from: Sports
  intersection of: person

people who like swimming
type: Class
equivalent class: Class
  intersection of: Restriction
    on property: like
    some values from: SwimmingClass
  intersection of: person

systems staff worker
type: Class
subclass of: administrative staff worker

university teaching assistant
type: Class
equivalent class: Class
  intersection of: person
  intersection of: Restriction
    on property: is a teaching assistant for
    some values from: teaching course

technical report
type: Class
subclass of: article

undergraduate student
type: Class
subclass of: student

university
type: Class
subclass of: organization

unnoficial publication
type: Class
subclass of: publication

visiting professor
type: Class
subclass of: professor

a college who only take female undergraduate students
type: Class
equivalent class: Class
  intersection of: Restriction
    on property: hasStudent
    all values from: undergraduate student
  intersection of: Restriction
    on property: hasStudent
    all values from: Class
      complement of: Man
  intersection of: school

has as an alumnus
type: ObjectProperty
domain: university
range: person
inverse of: has a degree from

has a degree from
type: ObjectProperty
domain: person
range: university
inverse of: has as an alumnus

has a doctoral degree from
type: ObjectProperty
domain: person
range: university
sub property of: has a degree from

has a masters degree from
type: ObjectProperty
domain: person
range: university
sub property of: has a degree from

has as a member
type: ObjectProperty
domain: organization
range: person
inverse of: member of

has an undergraduate degree from
type: ObjectProperty
domain: person
range: university
sub property of: has a degree from

is being advised by
type: ObjectProperty
domain: person
range: professor

is affiliated with
type: ObjectProperty
domain: organization
range: person

is affiliated with
type: ObjectProperty
domain: organization
range: organization

is a friend of
type: ObjectProperty
type: SymmetricProperty
domain: person
range: person

is the head of
type: ObjectProperty
type: InverseFunctionalProperty
sub property of: Works For

member of
type: ObjectProperty
inverse of: has as a member

is taught by
type: ObjectProperty
type: FunctionalProperty
domain: teaching course
range: faculty member
inverse of: teaches

like
type: ObjectProperty
equivalent property: same property of liike

lists as a course
type: ObjectProperty
domain: schedule
range: teaching course

same property of liike
type: ObjectProperty

publishes
type: ObjectProperty
domain: organization
range: publication

was written by
type: ObjectProperty
domain: publication
range: person

was written on
type: ObjectProperty
domain: publication

is about
type: ObjectProperty
domain: publication
range: research work

has as a research project
type: ObjectProperty
domain: research group
range: research work

is documented in
type: ObjectProperty
domain: software program
range: publication

is version
type: ObjectProperty
domain: software program

is part of
type: ObjectProperty
type: TransitiveProperty
domain: organization
range: organization

is taking
type: ObjectProperty
domain: student

teaches
type: ObjectProperty
domain: faculty member
range: teaching course

is a teaching assistant for
type: ObjectProperty
domain: university teaching assistant
range: teaching course

is tenured:
type: ObjectProperty
domain: professor

Works For
type: ObjectProperty
sub property of: member of

is age
type: DatatypeProperty
domain: person

can be reached at
type: DatatypeProperty
domain: person

name
type: DatatypeProperty

office room No.
type: DatatypeProperty

is researching
type: ObjectProperty

telephone number
type: DatatypeProperty
domain: person

title
type: DatatypeProperty
domain: person

AmericanFootball
type: Sports

Baseball
type: BaseballClass

BasketBall
type: BasketBallClass

Kickboxing
type: Sports

Soccer
type: Sports

Swimming
type: SwimmingClass

Tennis
type: TennisClass