Ontology example
type: Ontology
version IRI: https://w3id.org/example/1.0.0
created: Daniel Garijo
created: May 11th, 2020
creator: Paola Espinoza-Arias
description: This is an ontology example to show how to represent its OWL definitions as OpenAPI Specification (OAS).
license: http://creativecommons.org/licenses/by/2.0/
publisher: Ontology Engineering Group - Universidad Politécnica de Madrid
version info: 1.0.0

belongs to
type: ObjectProperty
domain: Professor
range: Department

enrolled in
type: ObjectProperty
domain: Student
range: Study Program

has Course
type: ObjectProperty
domain: Study Program
range: Course

has department
type: ObjectProperty
domain: University
range: Department

has Professor
type: ObjectProperty
domain: University
range: Professor

hasRecord
type: ObjectProperty
type: FunctionalProperty
domain: Student
range: Student Record
comment: has record

has rector
type: ObjectProperty
domain: University
range: Professor

has Student
type: ObjectProperty
domain: University
range: Student

has student enrolled
type: ObjectProperty
domain: Course
range: Student

has Study Program
type: ObjectProperty
domain: University
range: Study Program

is teached by
type: ObjectProperty
domain: Course
range: Professor

takes course
type: ObjectProperty
domain: Student
range: Course

teaches course
type: ObjectProperty
domain: Professor
range: Course

teaches to
type: ObjectProperty
domain: Professor
range: Student

works in
type: ObjectProperty
domain: Professor
range: University

address
type: DatatypeProperty
domain: Person
range: string

date of birth
type: DatatypeProperty
type: FunctionalProperty
domain: Person
range: dateTime

couse name
type: DatatypeProperty
domain: Course
range: string

department name
type: DatatypeProperty
domain: Department
range: string

description
type: DatatypeProperty
domain: Class
  union of: Course
  union of: Study Program
range: string

ects
type: DatatypeProperty
domain: Course
range: integer
description: ects (European Credit Transfer System) of the course.

email
type: DatatypeProperty
domain: Person
range: string

gender
type: DatatypeProperty
domain: Person
range: Datatype
  one of: female
  one of: male

identifier
type: DatatypeProperty
type: FunctionalProperty
domain: Person
range: string

name
type: DatatypeProperty
domain: Person
range: string

nationality
type: DatatypeProperty
domain: Person
range: string

recordIdentifier
type: DatatypeProperty
type: FunctionalProperty
domain: Student Record
range: string
comment: record identifier

research field
type: DatatypeProperty
domain: Professor
range: string

study program name
type: DatatypeProperty
domain: Study Program
range: string

university name
type: DatatypeProperty
domain: University
range: string

American Student
type: Class
subclass of: Student
subclass of: Restriction
  on property: nationality
  has value: American
description: Student who has an American nationality.

Bachelor Program
type: Class
subclass of: Study Program
disjoint with: Master Program
disjoint with: PhD Program
description: Bachelor study program

Course
type: Class
subclass of: Restriction
  on property: is teached by
  some values from: Professor
subclass of: Restriction
  on property: has student enrolled
  min qualified cardinality: 5
  on class: Student
subclass of: Restriction
  on property: has student enrolled
  max qualified cardinality: 20
  on class: Student
description: Course is where several things are teached to students.

Department
type: Class
description: Department of the University

Master Program
type: Class
subclass of: Study Program
disjoint with: PhD Program
description: Master study program

Person
type: Class
description: A human being regarded as an individual.

PhD Program
type: Class
subclass of: Study Program
description: PhD study program

Professor
type: Class
subclass of: Person
subclass of: Restriction
  on property: teaches course
  some values from: Course
subclass of: Restriction
  on property: works in
  some values from: University
subclass of: Restriction
  on property: teaches to
  all values from: Student
subclass of: Restriction
  on property: belongs to
  qualified cardinality: 1
  on class: Department
disjoint with: Student
description: A university academic.

Professor in Artificial Intelligence
type: Class
subclass of: Class
  intersection of: Professor
  intersection of: Restriction
    on property: belongs to
    has value: ArtificialIntelligenceDepartment
description: Professor who belongs to the Artificial Intelligence Deparment

Professor in other deparment
type: Class
subclass of: Class
  complement of: Professor in Artificial Intelligence
description: All professors who doesn't belong to the Artificial Intelligence Department.

Student
type: Class
subclass of: Person
subclass of: Restriction
  on property: enrolled in
  some values from: Class
    union of: Bachelor Program
    union of: Master Program
    union of: PhD Program
subclass of: Restriction
  on property: takes course
  min qualified cardinality: 2
  on class: Course
subclass of: Restriction
  on property: hasRecord
  qualified cardinality: 1
  on class: Student Record
description: A person who is studying at a university.

Student Record
type: Class
description: Record wich contains the details about the enrolled study programs of the student.

Study Program
type: Class
subclass of: Restriction
  on property: has Course
  some values from: Course
description: Study program which the course is part of.

University
type: Class
subclass of: Restriction
  on property: has department
  some values from: Department
subclass of: Restriction
  on property: has Professor
  some values from: Professor
subclass of: Restriction
  on property: has Student
  some values from: Student
subclass of: Restriction
  on property: has Study Program
  some values from: Study Program
description: A high-level educational institution in which students study for degrees and academic research is done.

ArtificialIntelligenceDepartment
type: NamedIndividual
type: Department
department name: Artificial Intelligence