# 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 geonames:  <http://www.geonames.org/ontology#> .
@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 xsd:     <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:     <http://www.w3.org/2002/07/owl#> .
@prefix rdf:     <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix skos:    <http://www.w3.org/2004/02/skos/core#> .
@prefix dcmitypes:  <http://purl.org/dc/dcmitype/> .





<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 .

//external Classes referenced

skos:Concept
      a       rdfs:Class .
      
frbr:Work
      a       rdfs:Class .      

dcmitypes:PhysicalObject
      a       rdfs:Class .

geonames:Feature
      a       rdfs:Class .

foaf:Agent
      a       rdfs:Class .

foaf:Person
      a       rdfs:Class .

sioc:Space
      a       rdfs:Class .
      
dcmitypes:Software
      a       rdfs:Class .

foaf:Group
      a       rdfs:Class .

bibo:Document
      a       rdfs:Class .
      
//end external Classes referenced


//univ Classes


univ:Division
      a       owl:Class ;
      rdfs:comment "Any administrative subdivision within and EducationalInstitution.  Most commonly, this covers departments like English, HIstory, Physics, etc.  It also covers entities such as an Honors Council, Information Technology Group, Library System, etc."^^xsd:string ;
      rdfs:label "Division"^^xsd:string ;
      rdfs:subClassOf foaf:Group .

univ:Course
      a       owl: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:GraduationRequirement
      a       owl: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 .
      
      
univ:CampusPlace
      a       owl: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 ;
      rdfs:subClassOf geonames:Feature .

univ:EducationalInstitution
      a       owl:Class ;
      rdfs:comment "An educational institution.  Often, this will be the same as a geonames:Feature, as when University of Mary Washington is both a foaf:Group and an administrative unit within geonames."^^xsd:string ;
      rdfs:label "Educational Institution"^^xsd:string ;
      rdfs:subClassOf foaf:Group .     

univ:Term
      a       owl:Class ;
      rdfs:comment "A term during which classes meet, like a semester, trimester, quarter, etc."^^xsd:string ;
      rdfs:label "Term"^^xsd:string .
      
      
univ:CourseInstance
      a       owl:Class ;
      rdfs:comment "An instance of a Course.  I.e., a group of teacher(s) and students during a particular term, meeting regularly at a particular time and place."^^xsd:string ;
      rdfs:label "Course Instance"^^xsd:string .

//end univ Classes


//univ Properties



univ:meetEnd
      a       owl:DatatypeProperty ;
      rdfs:domain univ:CourseInstance ;
      rdfs:range xsd:time .

univ:startDate
      a       owl:DatatypeProperty ;
      rdfs:domain univ:Term ;
      rdfs:range xsd:date .

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

univ:meetDay
      a       owl:DatatypeProperty ;
      rdfs:comment "The days the CourseManifestation meets."^^xsd:string ;
      rdfs:domain univ:CourseInstance ;
      rdfs:label "meeting day(s)"^^xsd:string ;
      rdfs:range 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 ;
      rdfs:range univ:CourseInstance ;
      owl:inverseOf univ:taughtBy .

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.  For things like literary texts, the object will often correspond to the object of a univ:studiesWork."^^xsd:string ;
      rdfs:label "studies with text"^^xsd:string ;
      rdfs:range bibo:Document ;
      rdfs:subPropertyOf univ:studiesWith .

univ:studiesWithDevice
      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 device"^^xsd:string ;
      rdfs:range dcmitypes:PhysicalObject ;
      rdfs:subPropertyOf univ:studiesWith .

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:instanceOfCourse
      a       owl:ObjectProperty ;
      rdfs:comment "The abstract, administrative Course that this is an instance of."^^xsd:string ;
      rdfs:domain univ:CourseInstance ;
      rdfs:label "instance of"^^xsd:string ;
      rdfs:range univ:Course ;
      owl:inverseOf univ:hasInstance .

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

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:studiesAgent
      a       owl:ObjectProperty ;
      rdfs:comment "A foaf:Agent studied by the CourseInstance."^^xsd:string ;
      rdfs:label "studies agent"^^xsd:string ;
      rdfs:range foaf:Agent ;
      rdfs:subPropertyOf univ:studies .

univ:CourseInstanceType
      a       owl:Class ;
      rdfs:comment "Types for Course Instance, e.g. \"Lecture\", \"Discussion\", \"Lab\", etc.. expressed as a resource"^^xsd:string ;
      rdfs:label "CourseInstanceType"^^xsd:string .

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: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:Division ;
      rdfs:label "grants GraduationRequirement"^^xsd:string ;
      rdfs:range univ:GraduationRequirement .

univ:partOfEducationalInstitution
      a       owl:ObjectProperty ;
      rdfs:comment "The subject univ:Department is part of the object Educational Institution."^^xsd:string ;
      rdfs:domain univ:Division .

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:range skos:Concept ;
      rdfs:subPropertyOf univ:studies .

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

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:Division ;
      owl:inverseOf univ:ownsCourse .

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:studiesPlace
      a       owl:ObjectProperty ;
      rdfs:comment "A place studied in the course."^^xsd:string ;
      rdfs:label "studies place"^^xsd:string ;
      rdfs:range geonames:Feature ;
      rdfs:subPropertyOf univ:studies .

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:CourseInstance ;
      rdfs:label "term"^^xsd:string ;
      rdfs:range univ:Term .

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:range dcmitypes:PhysicalObject ;
      rdfs:subPropertyOf univ:studies .

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:taughtBy
      a       owl:ObjectProperty ;
      rdfs:comment "A teacher for the course."^^xsd:string ;
      rdfs:domain univ:CourseInstance ;
      rdfs:label "taught by"^^xsd:string ;
      rdfs:range foaf:Person ;
      owl:inverseOf univ:teaches .

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

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:range dcmitypes:Software ;
      rdfs:subPropertyOf univ:studiesWith .

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:ownsCourse
      a       owl:ObjectProperty ;
      rdfs:comment "A Course the Department has administrative control over."^^xsd:string ;
      rdfs:domain univ:Division ;
      rdfs:label "owns course"^^xsd:string ;
      rdfs:range univ:Course ;
      owl:inverseOf univ:ownerDept .

univ:hasInstance
      a       owl:ObjectProperty ;
      rdfs:comment "An instance of the abstract, administrative course title."^^xsd:string ;
      rdfs:domain univ:Course ;
      rdfs:label "has manifestation"^^xsd:string ;
      rdfs:range univ:CourseInstance ;
      owl:inverseOf univ:instanceOfCourse .

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:Division .

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:endDate
      a       owl:DatatypeProperty ;
      rdfs:domain univ:Term ;
      rdfs:range xsd:date .

univ:courseInstanceType
      a       owl:ObjectProperty ;
      rdfs:comment "The CourseInstanceType of this CourseManifestation."^^xsd:string ;
      rdfs:domain univ:CourseInstance ;
      rdfs:label "course instance type"^^xsd:string ;
      rdfs:range univ:CourseInstanceType .

univ:meetStart
      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:CourseInstance ;
      rdfs:label "meeting time"^^xsd:string ;
      rdfs:range xsd:time .

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:CourseInstance ;
      rdfs:label "studies with"^^xsd:string ;
      rdfs:range owl:Thing .


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: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: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 .
      
      
      
//end univ Properties