# Base: http://www.ravendesk.org/univ-ont#
@prefix dc:      <http://purl.org/dc/elements/1.1/> .
@prefix foaf:    <http://xmlns.com/foaf/0.1/> .
@prefix frbr:    <http://purl.org/vocab/frbr/core#> .
@prefix vs:      <http://www.w3.org/2003/06/sw-vocab-status/ns#> .
@prefix dcterms:  <http://purl.org/dc/terms/> .
@prefix sioc:    <http://rdfs.org/sioc/ns#> .
@prefix rdfs:    <http://www.w3.org/2000/01/rdf-schema#> .
@prefix univ:  <http://www.ravendesk.org/univ-ont#> .
@prefix bibo:    <http://purl.org/ontology/bibo/> .
@prefix owl:     <http://www.w3.org/2002/07/owl#> .
@prefix xsd:     <http://www.w3.org/2001/XMLSchema#> .
@prefix rdf:     <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .


<http://www.ravendesk.org/univ-ont>
      a       owl:Ontology ;
      rdfs:comment "An ontology for describing courses at an educational institution.  The approach here is heavily weighted toward universities."^^xsd:string .
 ######## CLASSES
 
 ####### Course and related classes


univ:Course
      a       rdfs:Class ;
      rdfs:comment "An administrative designation for a course, e.g. English 101.  The same course can have many different manifestations, usually denoted by section numbers and semesters."^^xsd:string ;
      rdfs:label "Course"^^xsd:string .



univ:Dept
      a       rdfs:Class ;
      rdfs:comment "A university department, usually an academic department, but not necessarily."^^xsd:string ;
      rdfs:label "Department"^^xsd:string ;
      rdfs:subClassOf foaf:Group .


univ:GraduationRequirement
      a       rdfs:Class ;
      rdfs:comment "'Requirement' is, strictly speaking, a misnomer.  It is really a possible requirement, as in \"English 101 fulfills a graduation requirement', even though other courses might fill the same bill.  That is, a univ:GraduationRequirment is not an absolute.  Most likely, implementations will create an instance of this class that is \"allGraduationRequirements\" and express the rest through univ:hasPartialGradReq and univ:meetsGradReq properties relating an institution-based assortment of univ:GraduationRequirements."^^xsd:string ;
      rdfs:label "Graduation Requirement"^^xsd:string .



 ####### CourseManifestation and related classes 
univ:CourseManifestation
      a       rdfs:Class ;
      rdfs:comment "A manifestation of a Course.  I.e., a group of teacher(s) and students during a particular term."^^xsd:string ;
      rdfs:label "Course Manifestation"^^xsd:string .
 
  
univ:CourseManifestationType
      a       rdfs:Class ;
      rdfs:comment "Types for Course Manifestations, e.g. \"Lecture\", \"Discussion\", \"Lab\", etc.. expressed as a resource"^^xsd:string ;
      rdfs:label "CourseManifestationType"^^xsd:string .


univ:Term
      a       rdfs:Class ;
      rdfs:comment "A term during which classes meet, like a semester, trimester, quarter, etc."^^xsd:string ;
      rdfs:label "Term"^^xsd:string .

 
univ:CampusPlace
      a       rdfs:Class ;
      rdfs:comment "A location on campus, usually a building and room.   I should link this up with the geoname ontology and data."^^xsd:string ;
      rdfs:label "Campus place"^^xsd:string .

 
 
 ####### PROPERTIES
 
######### Properties related to  Courses


univ:meetsGradReq
      a       owl:ObjectProperty ;
      rdfs:comment "The Course can be used to fulfill the object GraduationRequirement"^^xsd:string ;
      rdfs:domain univ:Course ;
      rdfs:label "meets GraduationRequirement"^^xsd:string ;
      rdfs:range univ:GraduationRequirement .
            
univ:isPartOfGradReq
      a       owl:ObjectProperty ;
      rdfs:comment "The subject GraduationRequirement is a part of a 'broader' object GraduationRequirement.  For example, a \"MathMajor\" is a part of a broader \"Major\" requirement.  Note that isPartOf does not imply a neccesary relationship.  That is \"Major\" can have any number of parts, and none are 'required' in the strict sense of the word."^^xsd:string ;
      rdfs:domain univ:GraduationRequirement ;
      rdfs:range univ:GraduationRequirement .

univ:ownerDept
      a       owl:ObjectProperty ;
      rdfs:comment "The Department which 'owns' the Course.  I.e., it has administrative control over the Course."^^xsd:string ;
      rdfs:domain univ:Course ;
      rdfs:label "owner department"^^xsd:string ;
      rdfs:range univ:Dept ;
      owl:inverseOf univ:ownsCourse .

univ:ownsCourse
      a       owl:ObjectProperty ;
      rdfs:comment "A Course the Department has administrative control over."^^xsd:string ;
      rdfs:domain univ:Dept ;
      rdfs:label "owns course"^^xsd:string ;
      rdfs:range univ:Course ;
      owl:inverseOf univ:ownerDept .

univ:prereqOf
      a       owl:ObjectProperty ;
      rdfs:comment "The Course is a prerequisite of the object Course."^^xsd:string ;
      rdfs:domain univ:Course ;
      rdfs:label "prerequisite of"^^xsd:string ;
      rdfs:range univ:Course .
      
univ:optionalPrereqOf
      a       owl:ObjectProperty ;
      rdfs:comment "The subject Course is one of a group, any one of which must be completed satisfactorily before taking the object Course."^^xsd:string ;
      rdfs:label "optional prerequisite of"^^xsd:string ;
      rdfs:subPropertyOf univ:prereqOf .      

univ:neccPrereqOf
      a       owl:ObjectProperty ;
      rdfs:comment "The subject Course _must_ be satisfactorily completed before the object Course may be taken."^^xsd:string ;
      rdfs:label "neccessary prerequisite of"^^xsd:string ;
      rdfs:subPropertyOf univ:prereqOf .
      
univ:credits
      a       owl:DatatypeProperty ;
      rdfs:comment "The number of credits the Course carries."^^xsd:string ;
      rdfs:domain univ:Course ;
      rdfs:label "credits"^^xsd:string ;
      rdfs:range xsd:int .

univ:institution
      a       owl:ObjectProperty ;
      rdfs:comment "The institution where the Course is taught."^^xsd:string ;
      rdfs:domain univ:Course .

########## Properties related to CourseManifestations


univ:cmType
      a       owl:ObjectProperty ;
      rdfs:comment "The CourseManifestationType of this CourseManifestation."^^xsd:string ;
      rdfs:domain univ:CourseManifestation ;
      rdfs:label "course manifestation type"^^xsd:string ;
      rdfs:range univ:CourseManifestationType .

univ:hasChildCourseManifestation
      a       owl:ObjectProperty ;
      rdfs:comment "A CourseManifestation that derives from this CourseManifestation, as a Lab or a Recitation associated with a Lecture.  The students in a childCourseManifestation is a subset of the students in a parent CourseManifestation."^^xsd:string ;
      rdfs:domain univ:CourseManifestation ;
      rdfs:label "has child CourseManifestation"^^xsd:string ;
      rdfs:range univ:CourseManifestation .

univ:hasParentCourseManifestation
      a       owl:ObjectProperty ;
      rdfs:comment "The 'parent' CourseManifestation, as a Lecture is often the parent of a Lab."^^xsd:string ;
      rdfs:domain univ:CourseManifestation ;
      rdfs:label "has parent CourseManifestation"^^xsd:string ;
      rdfs:range univ:CourseManifestation .

univ:meetDay
      a       owl:DatatypeProperty ;
      rdfs:comment "The days the CourseManifestation meets."^^xsd:string ;
      rdfs:domain univ:CourseManifestation ;
      rdfs:label "meeting day(s)"^^xsd:string ;
      rdfs:range xsd:string .

univ:meetPlace
      a       owl:ObjectProperty ;
      rdfs:comment "The place where the CourseManifestation regularly meets."^^xsd:string ;
      rdfs:domain univ:CourseManifestation ;
      rdfs:label "meeting place"^^xsd:string ;
      rdfs:range univ:CampusPlace .

univ:meetTime
      a       owl:DatatypeProperty ;
      rdfs:comment "The meeting time of the CourseManifestation.  Right now a literal, but someday needs to be built into a more sophisticated structure."^^xsd:string ;
      rdfs:domain univ:CourseManifestation ;
      rdfs:label "meeting time"^^xsd:string ;
      rdfs:range xsd:string .

univ:partOfCampusPlace
      a       owl:ObjectProperty ;
      rdfs:comment "A CampusPlace that physically contains the subject CampusPlace.  Typically the relationship here is a room to a building.  Buildings work well as geonames:Features, but rooms not so much."^^xsd:string ;
      rdfs:domain univ:CampusPlace ;
      rdfs:label "part of building"^^xsd:string ;
      rdfs:range univ:CampusPlace .

univ:term
      a       owl:ObjectProperty ;
      rdfs:comment "The term during which the CourseManifestation exists."^^xsd:string ;
      rdfs:domain univ:CourseManifestation ;
      rdfs:label "term"^^xsd:string .

univ:teaches
      a       owl:ObjectProperty ;
      rdfs:comment "A CourseManifestation that the person teaches.  No differentiation is made about currently teaching, taught in the past, or will teach in the future.  This property is intended to cover all those case."^^xsd:string ;
      rdfs:domain foaf:Person ;
      rdfs:label "teaches"^^xsd:string ;
      owl:inverseOf univ:taughtBy .

univ:taughtBy
      a       owl:ObjectProperty ;
      rdfs:comment "A teacher for the course."^^xsd:string ;
      rdfs:domain univ:CourseManifestation ;
      rdfs:label "taught by"^^xsd:string ;
      owl:inverseOf univ:teaches .

univ:studies
      a       owl:ObjectProperty ;
      rdfs:comment "A topic or a work that is studied in the CourseManifestation"^^xsd:string ;
      rdfs:domain univ:CourseManifestation ;
      rdfs:label "studies"^^xsd:string .

univ:studiesTopic
      a       owl:ObjectProperty ;
      rdfs:comment "A topic studied in the course, e.g. \"feminism\", \"Battle of the Bulge\", \"Quantum Chromodynamics\"..  Ideally, the object is something in DBpedia."^^xsd:string ;
      rdfs:label "studies topic"^^xsd:string ;
      rdfs:subPropertyOf univ:studies .

univ:studiesObject
      a       owl:ObjectProperty ;
      rdfs:comment "An object that is studied in the CourseManifestation, e.g., a galaxy, a molecule, a protein.  Generally speaking, a science course will use univ:studiesObject while a humanities course will use univ:studiesWork."^^xsd:string ;
      rdfs:label "studies object"^^xsd:string ;
      rdfs:subPropertyOf univ:studies .
      
univ:studiesWork
      a       owl:ObjectProperty ;
      rdfs:comment "A particular work studied in the CourseManifestation, e.g. Chaucer's  \"Canterbury Tales\", the Codex Amiatinus, Faulkner's \"Absolom! Absolom!\",  Madonna's \"Like A Virgin\", the Eiffel Tower, etc."^^xsd:string ;
      rdfs:label "studies work"^^xsd:string ;
      rdfs:range frbr:Work ;
      rdfs:subPropertyOf univ:studies .

univ:studiesWith
      a       owl:ObjectProperty ;
      rdfs:comment "A text or other resource that the CourseManifestation uses in its course of study.  For example, if the CourseManifestation univ:studiesWork \"Beowulf\", it might univ:studiesWith \"Norton Anthology of Literature\"."^^xsd:string ;
      rdfs:domain univ:CourseManifestation ;
      rdfs:label "studies with"^^xsd:string .

univ:studiesWithTool
      a       owl:ObjectProperty ;
      rdfs:comment "A physical object (or type of object) used in the course of study, e.g., GPS device, electron microscope, Edirol, etc."^^xsd:string ;
      rdfs:label "studies with tool"^^xsd:string ;
      rdfs:subPropertyOf univ:studiesWith .

univ:studiesWithOnlineSpace
      a       owl:ObjectProperty ;
      rdfs:comment "An online resource used in the course of study."^^xsd:string ;
      rdfs:label "studies with sioc:space"^^xsd:string ;
      rdfs:range sioc:Space ;
      rdfs:subPropertyOf univ:studiesWith .

univ:studiesWithSoftware
      a       owl:ObjectProperty ;
      rdfs:comment "A piece of software used in the course of study, e.g., Audacity, Protege, CamTasia, Mathematica, etc.  For online software, use studiesWithOnlineSpace."^^xsd:string ;
      rdfs:label "studies with software"^^xsd:string ;
      rdfs:subPropertyOf univ:studiesWith .

univ:studiesWithText
      a       owl:ObjectProperty ;
      rdfs:comment "A text that is used in the CourseManifestation, generally something that is ordered through the university bookstore, and so encompasses things like videos or CDs."^^xsd:string ;
      rdfs:label "studies with text"^^xsd:string ;
      rdfs:range bibo:Document ;
      rdfs:subPropertyOf univ:studiesWith .      

######## Other properties

univ:manifestationOf
      a       owl:ObjectProperty ;
      rdfs:comment "The abstract, administrative Course that this is a manifestation of."^^xsd:string ;
      rdfs:domain univ:CourseManifestation ;
      rdfs:label "manifestation of"^^xsd:string ;
      rdfs:range univ:Course ;
      owl:inverseOf univ:hasManifestation .

univ:hasManifestation
      a       owl:ObjectProperty ;
      rdfs:comment "A manifestation of the abstract, administrative course title."^^xsd:string ;
      rdfs:domain univ:Course ;
      rdfs:label "has manifestation"^^xsd:string ;
      rdfs:range univ:CourseManifestation ;
      owl:inverseOf univ:manifestationOf .

univ:inDept
      a       owl:ObjectProperty ;
      rdfs:comment "The department the person belongs to."^^xsd:string ;
      rdfs:domain foaf:Person ;
      rdfs:label "in department"^^xsd:string ;
      rdfs:range univ:Dept .

univ:hasPartialGradReq
      a       owl:ObjectProperty ;
      rdfs:comment "The subject GraduationRequirement may be partially composed of the object GraduationRequirement."^^xsd:string ;
      rdfs:domain univ:GraduationRequirement ;
      rdfs:range univ:GraduationRequirement .

univ:metBy
      a       owl:ObjectProperty ;
      rdfs:comment "A Course that meets, in part or in full, the subject GraduationRequirement."^^xsd:string ;
      rdfs:domain univ:GraduationRequirement ;
      rdfs:range univ:Course .

univ:grantsGraduationRequirement
      a       owl:ObjectProperty ;
      rdfs:comment "The department is responsible for granting a GraduationRequirement, as the English Department is responsible for granting an English Major."^^xsd:string ;
      rdfs:domain univ:Dept ;
      rdfs:label "grants GraduationRequirement"^^xsd:string ;
      rdfs:range univ:GraduationRequirement .