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 |