<?xml version='1.0' encoding='ISO-8859-1'?>
<!DOCTYPE uridef[
  <!ENTITY rdf "http://www.w3.org/1999/02/22-rdf-syntax-ns">
  <!ENTITY rdfs "http://www.w3.org/2000/01/rdf-schema">
  <!ENTITY daml "http://www.daml.org/2001/03/daml+oil">
  <!ENTITY people-ont "http://www.daml.ri.cmu.edu/ont/homework/cmu-ri-people-ont">
  <!ENTITY DEFAULT "http://www.daml.ri.cmu.edu/ont/homework/cmu-ri-center-ont">
  <!ENTITY THIS "http://www.daml.ri.cmu.edu/ont/homework/cmu-ri-center-ont">
]>
 
<!--
This document uses entity types as a shorthand for URIs.
Download the source for a version with unexpanded entities.
                   -->
<rdf:RDF
  xmlns:rdf     ="&rdf;#"
  xmlns:rdfs    ="&rdfs;#"
  xmlns:daml    ="&daml;#"
  xmlns         ="&DEFAULT;#">

  <daml:Ontology about="">
    <daml:versionInfo>
      $Id: cmu-ri-center-ont.daml, v 0.1 2001/08/27 21:12:34 terryp Exp $
    </daml:versionInfo>
    <rdfs:comment>
      Ontology desribing the information available on the courses taught
      by members of the Robotics Institute.  This is based on the
      data made available from the RI web site (www.ri.cmu.edu) at
      CMU.  This ontology partially fullfills the requirements for
      HomeWork 3 as part of the DARPA DAML effort.
      Contact terry@acm.org for details.
    </rdfs:comment>
    <daml:imports rdf:resource="&rdf;" />
    <daml:imports rdf:resource="&rdfs;" />
    <daml:imports rdf:resource="&daml;" />
  </daml:Ontology>
  
  <!--
    Note on naming convention:
    	class ids start with an upper case character
  	properties start with a lower case character
  -->
  
  <!-- ############ ########### ############ ############ ########### -->
  <!-- CLASS: Literal -->
  <!-- Define an equivalentTo class to simplfy definitions -->
  
  <rdfs:Class rdf:ID="Literal">
     <daml:equivalentTo rdf:resource="&rdfs;#Literal"/>
  </rdfs:Class>
  
  <!-- ############ ########### ############ ############ ########### -->
  <!-- CLASS: Course -->
  <!-- Based on the Robotics Institute Home Pages. -->
  
  <rdfs:Class rdf:ID="Course">
    <rdfs:label>Course</rdfs:label>
    <rdfs:comment>
      A course taught at the RI.
    </rdfs:comment>
  </rdfs:Class>
  
  <!-- ############ ########### ############ ############ ########### -->
  <!-- CLASS: Spring_Semester -->
  
  <rdfs:Class rdf:ID="Spring">
    <rdfs:label>Spring</rdfs:label>
    <rdfs:comment> The Spring Semester </rdfs:comment>
  </rdfs:Class>

  <!-- ############ ########### ############ ############ ########### -->
  <!-- CLASS: Fall_Semester -->
  
  <rdfs:Class rdf:ID="Fall">
    <rdfs:label>Fall</rdfs:label>
    <rdfs:comment> The Fall Semester </rdfs:comment>
  </rdfs:Class>

  <!-- ############ ########### ############ ############ ########### -->
  <!-- CLASS: Semester -->
  
  <rdfs:Class rdf:ID="Semester">
    <rdfs:label>Semester</rdfs:label>
    <rdfs:comment> The class of all semesters (either Spring or Fall)</rdfs:comment>
    <daml:disjointUnionOf rdf:parseType="daml:collection">
      <rdfs:Class rdf:about="#Spring"/>
      <rdfs:Class rdf:about="#Fall"/>
    </daml:disjointUnionOf>
  </rdfs:Class>

  <!-- ############ ########### ############ ############ ########### -->
  <!-- Properties -->

  <rdf:Property rdf:ID="hasCode">
    <rdfs:domain rdf:resource="#Course"/>
    <rdfs:range rdf:resource="#Literal"/>
  </rdf:Property>
  
  <rdf:Property rdf:ID="hasDescription">
     <rdfs:domain rdf:resource="#Course"/>
     <rdfs:range rdf:resource="#Literal"/>
  </rdf:Property>
  
  <rdf:Property rdf:ID="hasInstructor">
     <rdfs:domain rdf:resource="#Course"/>
     <rdfs:range rdf:resource="&people-ont;#Member"/>
  </rdf:Property>
  
  <rdf:Property rdf:ID="hasTitle">
     <rdfs:domain rdf:resource="#Course"/>
     <rdfs:range rdf:resource="#Literal"/>
  </rdf:Property>
  
  <rdf:Property rdf:ID="hasUnits">
     <rdfs:domain rdf:resource="#Course"/>
     <rdfs:range rdf:resource="#Literal"/>
  </rdf:Property>
  
  <rdf:Property rdf:ID="hasURL">
    <rdfs:domain rdf:resource="#Course"/>
    <rdfs:range rdf:resource="#Literal"/>
  </rdf:Property>
  
  <rdf:Property rdf:ID="taughtInSemester">
    <rdfs:domain rdf:resource="#Course"/>
    <rdfs:range rdf:resource="#Semester"/>
  </rdf:Property>
  
</rdf:RDF>

