@prefix : <http://www.ravendesk.org/univ/> .
@prefix ns: <http://rdfs.org/sioc/ns#> .
@prefix foaf: <http://xmlns.com/foaf/0.1/> .
@prefix dcmitype: <http://purl.org/dc/dcmitype/> .
@prefix ontology: <http://www.geonames.org/ontology#> .
@prefix icaltzd: <http://www.w3.org/2002/12/cal/icaltzd#> .
@prefix ontology2: <http://dbpedia.org/ontology/> .
@prefix schema: <http://purl.org/vocab/aiiso/schema#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix univ: <http://www.ravendesk.org/univ/> .
@prefix owl2xml: <http://www.w3.org/2006/12/owl2-xml#> .
@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#> .
@base <http://www.ravendesk.org/univ/> .

<http://www.ravendesk.org/univ/> rdf:type owl:Ontology ;
                                 
                                 rdfs:comment "An ontology for describing courses at an educational institution.  The approach here is heavily weighted toward universities."^^xsd:string ;
                                 
                                 owl:imports <http://dbpedia.org/ontology/> ,
                                             <http://purl.org/dc/dcmitype/> ,
                                             <http://purl.org/dc/terms/> ,
                                             <http://purl.org/ontology/bibo/> ,
                                             <http://purl.org/vocab/aiiso/schema-20080514.rdf> ,
                                             <http://rdfs.org/sioc/ns> ,
                                             <http://xmlns.com/foaf/0.1/> .


#################################################################
#
#    Object Properties
#
#################################################################


###  http://www.ravendesk.org/univ/basedAt

:basedAt rdf:type owl:ObjectProperty ;
         
         rdfs:label "basedAt" ;
         
         rdfs:range :Campus ;
         
         rdfs:domain :CourseGroup ;
         
         rdfs:subPropertyOf foaf:based_near .



###  http://www.ravendesk.org/univ/city

:city rdf:type owl:ObjectProperty ;
      
      rdfs:label "city" ;
      
      rdfs:domain schema:Institution ;
      
      rdfs:range ontology:Feature ;
      
      rdfs:domain :Campus .



###  http://www.ravendesk.org/univ/courseGroupOf

:courseGroupOf rdf:type owl:ObjectProperty ;
               
               rdfs:label "courseGroupOf" ;
               
               rdfs:range schema:Course ;
               
               rdfs:domain :CourseGroup .



###  http://www.ravendesk.org/univ/courseGroupType

:courseGroupType rdf:type owl:ObjectProperty ;
                 
                 rdfs:label "course group type" ;
                 
                 rdfs:comment "The univ:CourseGroupType of this univ:CourseGroup.  Often, institutions will define their own types according to their own structure. This ontology provides some typical examples -- see the instances of CourseGroupType." ;
                 
                 rdfs:domain :CourseGroup ;
                 
                 rdfs:range :CourseGroupType .



###  http://www.ravendesk.org/univ/courseVariation

:courseVariation rdf:type owl:ObjectProperty ;
                 
                 rdfs:label "course variation" ;
                 
                 rdfs:comment "A variation on a Course, as when two or more Courses are administratively very similar, but are listed distinctly in catalogues and/or registration. Usually the distinction is seen as a suffix on the course number in registration systems. E.g., ENGL205 and ENGL205H, where both are essentially the same course and fill the same requirements, but ENGL205H has an additional component that fulfills an Honors graduation credential." ;
                 
                 rdfs:range schema:Course ;
                 
                 rdfs:domain schema:Course .



###  http://www.ravendesk.org/univ/document

:document rdf:type owl:ObjectProperty ;
          
          rdfs:label "text" ;
          
          rdfs:range :StudyDocument ;
          
          rdfs:domain :StudyThingGrouping .



###  http://www.ravendesk.org/univ/grantsGraduationCredential

:grantsGraduationCredential rdf:type owl:ObjectProperty ;
                            
                            rdfs:label "grants graduation credential" ;
                            
                            rdfs:comment "The univ:Division is responsible for granting a univ:GraduationCredential, as the English Department is responsible for granting an English Major." ;
                            
                            rdfs:domain schema:OrganisationalUnit ;
                            
                            rdfs:range :GraduationCredential .



###  http://www.ravendesk.org/univ/hasCampus

:hasCampus rdf:type owl:ObjectProperty ;
           
           rdfs:label "hasCampus" ;
           
           rdfs:domain schema:Institution ;
           
           rdfs:range :Campus .



###  http://www.ravendesk.org/univ/institution

:institution rdf:type owl:ObjectProperty ;
             
             rdfs:label "part of educational institution" ;
             
             rdfs:comment "The subject univ:Division is part of the object univ:EducationalInstitution." ;
             
             rdfs:range schema:Institution ;
             
             rdfs:domain schema:OrganisationalUnit .



###  http://www.ravendesk.org/univ/meetPlace

:meetPlace rdf:type owl:ObjectProperty ;
           
           rdfs:label "meeting place" ;
           
           rdfs:comment "The place where the univ:CourseInstance regularly meets." ;
           
           rdfs:range :CampusPlace ;
           
           rdfs:domain :CourseGroup .



###  http://www.ravendesk.org/univ/neccPrereqOf

:neccPrereqOf rdf:type owl:ObjectProperty ;
              
              rdfs:label "neccessary prerequisite of" ;
              
              rdfs:comment "The subject aiiso:Course _must_ be satisfactorily completed before the object aiiso:Course may be taken." ;
              
              rdfs:range schema:Course ;
              
              rdfs:domain schema:Course ,
                          schema:Module ;
              
              rdfs:range schema:Module ;
              
              rdfs:subPropertyOf :prereqOf .



###  http://www.ravendesk.org/univ/offeredOnCampus

:offeredOnCampus rdf:type owl:ObjectProperty ;
                 
                 rdfs:label "offeredAt" ;
                 
                 rdfs:domain schema:Course ;
                 
                 rdfs:range :Campus .



###  http://www.ravendesk.org/univ/partOfCampusPlace

:partOfCampusPlace rdf:type owl:ObjectProperty ;
                   
                   rdfs:label "part of campus place" ;
                   
                   rdfs:comment "A univ:CampusPlace that physically contains the subject univ:CampusPlace.  Typically the relationship here is a room to a building." ;
                   
                   rdfs:range :CampusPlace ;
                   
                   rdfs:domain :CampusPlace .



###  http://www.ravendesk.org/univ/partOfGradCredential

:partOfGradCredential rdf:type owl:ObjectProperty ;
                      
                      rdfs:label "part of graduation credential" ;
                      
                      rdfs:comment "The subject univ:GraduationCredential is a part of a 'broader' object univ:GraduationCredential.  For example, a example:MathMajor is a part of a broader example:Majore credential, or example:CalculusSequence univ:partOfGradCredential example:MathMajor." ;
                      
                      rdfs:domain :GraduationCredential ;
                      
                      rdfs:range :GraduationCredential .



###  http://www.ravendesk.org/univ/perspective

:perspective rdf:type owl:ObjectProperty ;
             
             rdfs:label "perspective" ;
             
             rdfs:range :StudyPerspective ;
             
             rdfs:domain :StudyThingGrouping .



###  http://www.ravendesk.org/univ/policy

:policy rdf:type owl:ObjectProperty ;
        
        rdfs:label "policy" ;
        
        rdfs:range bibo:Document ;
        
        rdfs:domain :CourseGroup .



###  http://www.ravendesk.org/univ/poweredBy

:poweredBy rdf:type owl:ObjectProperty ;
           
           rdfs:label "powered by" ;
           
           rdfs:comment "The software that powers an online space (Wordpress, WPMU, Drupal, Joomla, etc).  Typically used when describing an installation the universtiy or courseGroup maintains." ;
           
           rdfs:range dcmitype:Software ;
           
           rdfs:domain ns:Space .



###  http://www.ravendesk.org/univ/prereqOf

:prereqOf rdf:type owl:ObjectProperty ;
          
          rdfs:label "prerequisite of" ;
          
          rdfs:comment "The aiiso:Course is a prerequisite of the object aiiso:Course.  If the subject aiiso:Course is a neccesary prerequisite, rather than one of a menu of aiiso:Courses, use the subproperty univ:neccPrereqOf.  " ;
          
          rdfs:range schema:Course ;
          
          rdfs:domain schema:Course ;
          
          rdfs:range schema:Module ;
          
          rdfs:domain schema:Module .



###  http://www.ravendesk.org/univ/providesGradCredential

:providesGradCredential rdf:type owl:ObjectProperty ;
                        
                        rdfs:label "provides graduation credential" ;
                        
                        rdfs:comment "The univ:Course can be used to fulfill the object univ:GraduationCredential"^^xsd:string ;
                        
                        rdfs:domain schema:Course ,
                                    schema:Module ;
                        
                        rdfs:range :GraduationCredential .



###  http://www.ravendesk.org/univ/schedule

:schedule rdf:type owl:ObjectProperty ;
          
          rdfs:label "schedule" ;
          
          rdfs:domain :CourseGroup ;
          
          rdfs:range icaltzd:Vevent .



###  http://www.ravendesk.org/univ/studiesPerspective

:studiesPerspective rdf:type owl:ObjectProperty ;
                    
                    rdfs:label "studies from perspective" ;
                    
                    rdfs:comment "A perspective or approach used by the CourseGroup" ;
                    
                    rdfs:domain :CourseGroup ;
                    
                    rdfs:range :StudyPerspective .



###  http://www.ravendesk.org/univ/studiesWithDocument

:studiesWithDocument rdf:type owl:ObjectProperty ;
                     
                     rdfs:label "studies with document" ;
                     
                     rdfs:comment "A document, taking the term as in bibo:Document definition, that the course uses. There is a consistent subclassing and subproperty-ing of Text under Tool throughout the ontology in deference to the priviledged place that texts have in education." ;
                     
                     rdfs:range bibo:Document ;
                     
                     rdfs:domain :CourseGroup ;
                     
                     rdfs:subPropertyOf :studiesWithTool .



###  http://www.ravendesk.org/univ/studiesWithTool

:studiesWithTool rdf:type owl:ObjectProperty ;
                 
                 rdfs:label "studies with product" ;
                 
                 rdfs:comment "A particular product used in the course of study." ;
                 
                 rdfs:domain :CourseGroup ;
                 
                 rdfs:range :StudyTool .



###  http://www.ravendesk.org/univ/studiesWithToolGenre

:studiesWithToolGenre rdf:type owl:ObjectProperty ;
                      
                      rdfs:label "studiesToolGenre" ;
                      
                      rdfs:domain :CourseGroup ;
                      
                      rdfs:range :StudyToolGenre .



###  http://www.ravendesk.org/univ/studiesWithTopic

:studiesWithTopic rdf:type owl:ObjectProperty ;
                  
                  rdfs:label "studies topic"^^xsd:string ,
                             "studies" ;
                  
                  rdfs:comment "A topic studied in the univ:CourseGroup."^^xsd:string ,
                               "A topic or a work that is studied by the univ:CourseGroup" ;
                  
                  rdfs:domain :CourseGroup ;
                  
                  rdfs:range :StudyTopic ;
                  
                  rdfs:subPropertyOf :studiesWithTopic .



###  http://www.ravendesk.org/univ/studyThingGrouping

:studyThingGrouping rdf:type owl:ObjectProperty ;
                    
                    rdfs:label "studyThingGrouping" ;
                    
                    rdfs:domain :CourseGroup ;
                    
                    rdfs:range :StudyThingGrouping .



###  http://www.ravendesk.org/univ/subCourseGroup

:subCourseGroup rdf:type owl:ObjectProperty ;
                
                rdfs:label "subgroup" ;
                
                rdfs:comment "The object CourseGroup is a subgroup of the subject.  E.g. when a Lecture is then broken into several Labs." ;
                
                rdfs:domain :CourseGroup ;
                
                rdfs:range :CourseGroup .



###  http://www.ravendesk.org/univ/syllabus

:syllabus rdf:type owl:ObjectProperty ;
          
          rdfs:label "syllabus" ;
          
          rdfs:range bibo:Document ;
          
          rdfs:domain :CourseGroup .



###  http://www.ravendesk.org/univ/taughtBy

:taughtBy rdf:type owl:ObjectProperty ;
          
          rdfs:label "taughtBy" ;
          
          rdfs:domain :CourseGroup ;
          
          rdfs:range foaf:Person .



###  http://www.ravendesk.org/univ/term

:term rdf:type owl:ObjectProperty ;
      
      rdfs:label "term"^^xsd:string ;
      
      rdfs:comment "The term during which the univ:CourseGroup exists."^^xsd:string ;
      
      rdfs:domain :CourseGroup ;
      
      rdfs:range :Term .



###  http://www.ravendesk.org/univ/tool

:tool rdf:type owl:ObjectProperty ;
      
      rdfs:label "tool" ;
      
      rdfs:domain :StudyThingGrouping ;
      
      rdfs:range :StudyTool .



###  http://www.ravendesk.org/univ/toolGenre

:toolGenre rdf:type owl:ObjectProperty ;
           
           rdfs:label "toolGenre" ;
           
           rdfs:comment "The genre of the tool.  For example, the tool might be the URL of a particular model of Edirol.  The genre of that tool might then be AudioRecorder." ;
           
           rdfs:domain :StudyThingGrouping ;
           
           rdfs:range :StudyToolGenre .



###  http://www.ravendesk.org/univ/topic

:topic rdf:type owl:ObjectProperty ;
       
       rdfs:label "topic" ;
       
       rdfs:domain :StudyThingGrouping ;
       
       rdfs:range :StudyTopic .



###  http://www.ravendesk.org/univ/work

:work rdf:type owl:ObjectProperty ;
      
      rdfs:label "work" ;
      
      rdfs:domain :StudyThingGrouping ;
      
      rdfs:range :StudyWork .



###  http://xmlns.com/foaf/0.1/based_near

foaf:based_near rdf:type owl:ObjectProperty .





#################################################################
#
#    Data properties
#
#################################################################


###  http://www.ravendesk.org/univ/baseID

:baseID rdf:type owl:DatatypeProperty ;
        
        rdfs:label "baseID" ;
        
        rdfs:comment "The 'base' part of a course identifier, usually, though not always, signalling the owner department." ;
        
        rdfs:domain schema:Course ;
        
        rdfs:range xsd:string .



###  http://www.ravendesk.org/univ/courseNumber

:courseNumber rdf:type owl:DatatypeProperty ;
              
              rdfs:label "courseNumber" ;
              
              rdfs:comment "The number used to partialy identify a course." ;
              
              rdfs:domain schema:Course ;
              
              rdfs:range xsd:string .



###  http://www.ravendesk.org/univ/credits

:credits rdf:type owl:DatatypeProperty ;
         
         rdfs:label "credits"^^xsd:string ;
         
         rdfs:comment "The number of credits the univ:Course carries."^^xsd:string ;
         
         rdfs:domain schema:Course ;
         
         rdfs:range xsd:int .



###  http://www.ravendesk.org/univ/endDate

:endDate rdf:type owl:DatatypeProperty ;
         
         rdfs:label "end date"^^xsd:string ;
         
         rdfs:comment "The ending date of a univ:Term"^^xsd:string ;
         
         rdfs:domain :Term ;
         
         rdfs:range xsd:date .



###  http://www.ravendesk.org/univ/roomID

:roomID rdf:type owl:DatatypeProperty ;
        
        rdfs:label "roomID" ;
        
        rdfs:domain :CampusPlace ;
        
        rdfs:range xsd:string .



###  http://www.ravendesk.org/univ/specialTag

:specialTag rdf:type owl:DatatypeProperty ;
            
            rdfs:label "identified by tag" ;
            
            rdfs:comment "A tag, often but not always a hash-tag, that the CourseGroup agrees to use on resources from sites such as delicious, flickr, youtube, etc. to indicate that they are relevant to the CourseGroup." ;
            
            rdfs:domain :CourseGroup ;
            
            rdfs:range xsd:string .



###  http://www.ravendesk.org/univ/startDate

:startDate rdf:type owl:DatatypeProperty ;
           
           rdfs:label "start date"^^xsd:string ;
           
           rdfs:comment "The starting date of a univ:Term"^^xsd:string ;
           
           rdfs:domain :Term ;
           
           rdfs:range xsd:date .



###  http://www.ravendesk.org/univ/suffix

:suffix rdf:type owl:DatatypeProperty ;
        
        rdfs:label "suffix" ;
        
        rdfs:comment "A suffix on a course number. E.g. the X in ENGL 365X when it designates an experimental course." ;
        
        rdfs:domain schema:Course ;
        
        rdfs:range xsd:string .





#################################################################
#
#    Classes
#
#################################################################


###  http://dbpedia.org/ontology/Work

ontology2:Work rdf:type owl:Class ;
               
               rdfs:label "Work" ;
               
               owl:equivalentClass :StudyWork ;
               
               rdfs:subClassOf owl:Thing .



###  http://purl.org/dc/dcmitype/Software

dcmitype:Software rdf:type owl:Class .



###  http://purl.org/ontology/bibo/Document

bibo:Document rdf:type owl:Class ;
              
              owl:equivalentClass :StudyDocument .



###  http://purl.org/vocab/aiiso/schema#Course

schema:Course rdf:type owl:Class .



###  http://purl.org/vocab/aiiso/schema#Institution

schema:Institution rdf:type owl:Class .



###  http://purl.org/vocab/aiiso/schema#Module

schema:Module rdf:type owl:Class .



###  http://purl.org/vocab/aiiso/schema#OrganisationalUnit

schema:OrganisationalUnit rdf:type owl:Class .



###  http://rdfs.org/sioc/ns#Space

ns:Space rdf:type owl:Class .



###  http://www.geonames.org/ontology#Feature

ontology:Feature rdf:type owl:Class ;
                 
                 rdfs:label "http://www.geonames.org/ontology#Feature" .



###  http://www.ravendesk.org/univ/Campus

:Campus rdf:type owl:Class ;
        
        rdfs:label "Campus" ;
        
        rdfs:subClassOf schema:OrganisationalUnit .



###  http://www.ravendesk.org/univ/CampusPlace

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



###  http://www.ravendesk.org/univ/CourseGroup

:CourseGroup rdf:type owl:Class ;
             
             rdfs:label "Course Group"^^xsd:string ;
             
             rdfs:subClassOf foaf:Group ;
             
             rdfs:comment "An instance of a Course.  I.e., a group of teacher(s) and students during a particular term."^^xsd:string .



###  http://www.ravendesk.org/univ/CourseGroupType

:CourseGroupType rdf:type owl:Class ;
                 
                 rdfs:label "Course Group Type"^^xsd:string ;
                 
                 rdfs:comment "Types for Course Group, e.g. Lecture, Discussion, Lab, etc. univ: currently provides only these three instances.  Individual institutions or departments will often want to provide their own instances. univ: provides Lecture, Discussion, Lab."^^xsd:string .



###  http://www.ravendesk.org/univ/DivisionType

:DivisionType rdf:type owl:Class ;
              
              rdfs:label "Division Type" .



###  http://www.ravendesk.org/univ/GraduationCredential

:GraduationCredential rdf:type owl:Class ;
                      
                      rdfs:label "Graduation Credential"^^xsd:string ;
                      
                      rdfs:comment "A credential for graduation.  This is conceptually a superclass of 'Graduation Requirement'.  That is, becuase things often described as a 'requirement' are dependent on many factors (for example, a univ:Course Math320 is 'required' of math majors, but not of economics majors), a univ:GraduationCredential is something that is to be applied as a 'requirement' only within the context of other factors."^^xsd:string .



###  http://www.ravendesk.org/univ/StudyDocument

:StudyDocument rdf:type owl:Class ;
               
               rdfs:label "study document" ;
               
               rdfs:subClassOf :StudyTool .



###  http://www.ravendesk.org/univ/StudyPerspective

:StudyPerspective rdf:type owl:Class ;
                  
                  rdfs:label "studyPerspective" ;
                  
                  rdfs:subClassOf :StudyThing .



###  http://www.ravendesk.org/univ/StudyThing

:StudyThing rdf:type owl:Class ;
            
            rdfs:label "StudyThing" .



###  http://www.ravendesk.org/univ/StudyThingGrouping

:StudyThingGrouping rdf:type owl:Class ;
                    
                    rdfs:label "Study Grouping" ;
                    
                    rdfs:subClassOf owl:Thing ;
                    
                    rdfs:comment "A Study Grouping allows more precise articulation of relationships between what is studied, the tools used, and the perspectives used. For example, grouping a work with the document that contains it.  See the properties with this as the domain." .



###  http://www.ravendesk.org/univ/StudyTool

:StudyTool rdf:type owl:Class ;
           
           rdfs:label "studyTool" ;
           
           rdfs:subClassOf :StudyThing .



###  http://www.ravendesk.org/univ/StudyToolGenre

:StudyToolGenre rdf:type owl:Class ;
                
                rdfs:label "studyToolType" ;
                
                rdfs:subClassOf owl:Thing .



###  http://www.ravendesk.org/univ/StudyTopic

:StudyTopic rdf:type owl:Class ;
            
            rdfs:label "studyTopic" ;
            
            rdfs:subClassOf :StudyThing .



###  http://www.ravendesk.org/univ/StudyWork

:StudyWork rdf:type owl:Class ;
           
           rdfs:label "StudyWork" ;
           
           rdfs:subClassOf :StudyThing .



###  http://www.ravendesk.org/univ/Term

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



###  http://www.w3.org/2002/07/owl#Thing

owl:Thing rdf:type owl:Class .



###  http://www.w3.org/2002/12/cal/icaltzd#Vevent

icaltzd:Vevent rdf:type owl:Class ;
               
               rdfs:label "http://www.w3.org/2002/12/cal/icaltzd#Vevent" .



###  http://xmlns.com/foaf/0.1/Group

foaf:Group rdf:type owl:Class .



###  http://xmlns.com/foaf/0.1/Person

foaf:Person rdf:type owl:Class .





#################################################################
#
#    Individuals
#
#################################################################


###  http://www.ravendesk.org/univ/Academic

:Academic rdf:type :DivisionType ;
          
          rdfs:label "Academic" .



###  http://www.ravendesk.org/univ/Administrative

:Administrative rdf:type :DivisionType ;
                
                rdfs:label "Administrative" .



###  http://www.ravendesk.org/univ/Discussion

:Discussion rdf:type :CourseGroupType ;
            
            rdfs:label "discussion"^^xsd:string ;
            
            rdfs:comment "A discussion section, as a large lecture will often have much smaller sections that meet in order to facilitate discussion among all members."^^xsd:string .



###  http://www.ravendesk.org/univ/IndividualStudy

:IndividualStudy rdf:type :CourseGroupType ;
                 
                 rdfs:label "IndividualStudy" .



###  http://www.ravendesk.org/univ/Internship

:Internship rdf:type :CourseGroupType ;
            
            rdfs:label "Internship" .



###  http://www.ravendesk.org/univ/Lab

:Lab rdf:type :CourseGroupType ;
     
     rdfs:label "lab"^^xsd:string ;
     
     rdfs:comment "A lab, as a chemistry course often has a separately-meeting lab section."^^xsd:string .



###  http://www.ravendesk.org/univ/Lecture

:Lecture rdf:type :CourseGroupType ;
         
         rdfs:label "lecture"^^xsd:string ;
         
         rdfs:comment "A lecture format ('sage-on-the-stage') type course instance"^^xsd:string .



###  http://www.ravendesk.org/univ/Practicum

:Practicum rdf:type :CourseGroupType ;
           
           rdfs:label "Practicum" .



###  http://www.ravendesk.org/univ/Seminar

:Seminar rdf:type :CourseGroupType ;
         
         rdfs:label "Seminar" .





#################################################################
#
#    General axioms
#
#################################################################


[ rdf:type owl:AllDisjointClasses ;
  owl:members ( :StudyPerspective
                :StudyTool
                :StudyTopic
              )
] .




###  Generated by the OWL API (version 2.2.1.962) http://owlapi.sourceforge.net