Skip to main content

Table 5 An Excerpt of the MQ Ontology

From: OWL 2 learn profile: an ontology sublanguage for the learning domain

An excerpt of the MQ ontology

The OWL 2 learn constructor

Ref to the Table 4

Declaration(Class(:Person))

Class

#2

EquivalentClasses(:Person ObjectSomeValuesFrom(:isAssociatedTo :Organisation))

ObjectSomeValuesFrom

#5

SubClassOf(:Person owl:Thing)

Owl:Thing SubClassOf

#1

SubClassOf(:Staff :Person)

  

SubClassOf(:Student :Person)

  

SubClassOf(:TeachingStaff :Staff)

  

Declaration(Class(:Topic))

  

SubClassOf(:Topic owl:Thing)

  

SubClassOf(:Topic ObjectAllValuesFrom(:hasScheduled :TopicList))

ObjectAllValuesFrom

#4

Declaration(Class:TopicList))

  

SubClassOf(:TopicList owl:Thing)

  

SubClassOf(:TopicList ObjectSomeValuesFrom(:hasScheduledTopic :Topic))

ObjectSomeValuesFrom

#5

SubClassOf(:Unit owl:Thing)

  

Declaration(Class(:AssessmentTask))

  

EquivalentClasses(:AssessmentTask ObjectIntersectionOf(owl:Thing

EquivalentClasses

 

ObjectSomeValuesFrom(:isWrittenBy :TeachingStaff)

ObjectIntersectionOf

#3

ObjectExactCardinality(1 :isAssessmentMethodOf :Unit)))

ObjectSomeValuesFrom

#5

QualifiedExactCardinality

#12

DisjointUnionOf(:AssessmentTask :Assignment :Tutorial :FinalExam))

DisjointUnionOf

#13

DisjointClasses

DisjointClasses( :Assignment :FinalExam)

  

SubClassOf(:AssessmentTask owl:Thing)

  

SubClassOf(:FinalExam :AssessmentTask)

  

SubClassOf(:Assignment :AssessmentTask)

  

Declaration(ObjectProperty(:hasPrerequisite))

ObjectProperty

#6

TransitiveObjectProperty(:hasPrerequisite)

TransitiveObjectProperty

#9

InverseObjectProperties(:isPrerequisiteOf :hasPrerequisite)

InverseObjectProperties

#11

ObjectPropertyDomain(:hasPrerequisite :Unit)

ObjectPropertyRange

 

ObjectPropertyRange(:hasPrerequisite :Unit)

ObjectPropertyDomain

 

Declaration(ObjectProperty (:commitsTo))

  

InverseObjectProperties(:commitsTo :isCommitedBy)

  

ObjectPropertyDomain(:commitsTo :Student)

  

ObjectPropertyRange(:commitsTo :Enrolment)

  

ObjectPropertyRange(:commitsTo ObjectMaxCardinality(5 :commitsTo :Enrolment))

MaxQualifiedCardinality

#12

Declaration(ObjectProperty:assignmentOf))

  

SubObjectPropertyOf(:assignmentOf :isAssessmentMethodOf)

SubObjectPropertyOf

#10

InverseObjectProperties(:has Assignment:assignmentOf)

Declaration(DataProperty(:assignmentMark))

DataProperty

#14

SubDataPropertyOf(:assignmentMark :assessmentMark)

SubDataPropertyOf

#10

DataPropertyDomain(:assignmentMark :AssignmentSubmission)

  

DataPropertyRange( :assignmentMark^^ xsd:integer)

ClassAssertion(:Unit :ISYS114)

ClassAssertion

#7

ObjectPropertyAssertion(:isTutorOf :JohnParker :ISYS114)

ObjectPropertyAssertion

#7