Ontology1315477338505.owl
type: Ontology
comment: Probabilities {Functional=0.01, DisjointWith=0.01, Range=0.01, SubClassOf=0.01, not=0.01, Transitive=0.01, EquivalentTo=0.01, DisjointClasses=0.01, value=0.01, SameAs=0.01, InverseOf=0.01, Type=0.01, or=0.0010, max=0.01, Domain=0.01, DifferentFrom=0.01, only=0.05, Symmetric=0.01, min=0.01, exactly=0.01, SubPropertyOf=0.01, inverse=0.01, some=0.05, and=0.0010}
comment: Testcases <?xml version="1.0"?> <!DOCTYPE rdf:RDF [ <!ENTITY owl "http://www.w3.org/2002/07/owl#" > <!ENTITY xsd "http://www.w3.org/2001/XMLSchema#" > <!ENTITY rdfs "http://www.w3.org/2000/01/rdf-schema#" > <!ENTITY rdf "http://www.w3.org/1999/02/22-rdf-syntax-ns#" > ]> <rdf:RDF xmlns="http://www.w3.org/2002/07/owl#" xml:base="http://www.w3.org/2002/07/owl" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:xsd="http://www.w3.org/2001/XMLSchema#" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"/>

EducationalEvent
type: Class
subclass of: Event
subclass of: Restriction
  on property: hasTeacher
  some values from: Teacher
subclass of: Restriction
  on property: hasParticipant
  on class: CourseParticipant
  min qualified cardinality: 3

FacilityManager
type: Class
subclass of: OfficeEmployee
subclass of: Restriction
  on property: isEmployeeOf
  on class: OrganizationalUnit
  min qualified cardinality: 2

HighLevelParticipant
type: Class
subclass of: CourseParticipant
subclass of: Class
  union of: Restriction
    on property: hasEducationLevel
    some values from: Class
      one of: Master
      one of: Bachelor
  union of: Restriction
    on property: hasFinished
    on class: CourseOfLectures
    min qualified cardinality: 3

MidLevelParticipant
type: Class
subclass of: CourseParticipant
subclass of: Class
  union of: Class
    intersection of: Restriction
      on property: hasFinished
      some values from: CourseOfLectures
    intersection of: Restriction
      on property: hasFinished
      on class: CourseOfLectures
      max qualified cardinality: 2
  union of: Restriction
    on property: hasEducationLevel
    some values from: Class
      one of: Matura

OfficeEmployee
type: Class
subclass of: Person
subclass of: Restriction
  on property: isEmployeeOf
  on class: OrganizationalUnit
  qualified cardinality: 1
subclass of: Restriction
  on property: hasOffice
  on class: Office
  qualified cardinality: 1
subclass of: Restriction
  on property: hasBoss
  on class: Director
  qualified cardinality: 1

OrganizationalUnit
type: Class
subclass of: Thing
subclass of: Restriction
  on property: employs
  some values from: OfficeEmployee
subclass of: Restriction
  on property: employs
  some values from: Teacher
subclass of: Restriction
  on property: hasRoom
  some values from: Office
subclass of: Restriction
  on property: isDirectedBy
  on class: Director
  qualified cardinality: 1
subclass of: Restriction
  on property: isLocatedIn
  some values from: Building

PartTimeEmployee
type: Class
subclass of: Person
subclass of: Restriction
  on property: hasBoss
  on class: Director
  qualified cardinality: 1

Session
type: Class
subclass of: EducationalEvent
subclass of: Restriction
  on property: takesPlaceIn
  on class: SessionVenue
  qualified cardinality: 1
disjoint with: Test

Test
type: Class
subclass of: EducationalEvent
subclass of: Restriction
  on property: hasParticipant
  all values from: CourseParticipant
subclass of: Restriction
  on property: takesPlaceIn
  on class: LargeLectureHall
  qualified cardinality: 1