<rdf:RDF
  xmlns:rdf ="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
  xmlns:rdfs = "http://www.w3.org/2000/01/rdf-schema#"
  xmlns     ="http://www.daml.org/2001/03/daml+oil#"
  xmlns:daml="http://www.daml.org/2001/03/daml+oil#"
  xmlns:a = "https://www.daml.org/actionitems/actionitems-20000905.rdfs#"
  >

<!-- mark DAML program action item 12 as complete -->

<rdf:Description rdf:about="https://www.daml.org/actionitems/12.rdf">
    <a:state>closed</a:state>
    <a:Action>
      <a:status>available at http://www.ai.sri.com/daml/ontologies</a:status>
      <a:date>2000-10-31</a:date>
      <a:by>daml@ai.sri.com</a:by>
    </a:Action>
</rdf:Description>

<daml:Ontology rdf:about="">
        <daml:versionInfo>$Id: Course.daml,v 1.6 2001/09/24 22:57:14 martin Exp $</daml:versionInfo>
        <rdfs:comment>An ontology for academic courses</rdfs:comment>
  <daml:imports rdf:resource="http://www.daml.org/2001/03/daml+oil"/>
  <daml:imports rdf:resource="http://www.ai.sri.com/daml/ontologies/sri-basic/1-0/Organization.daml"/>
  <daml:imports rdf:resource="http://www.ai.sri.com/daml/ontologies/sri-basic/1-0/Project.daml"/>
  <daml:imports rdf:resource="http://www.ai.sri.com/daml/ontologies/sri-basic/1-0/Researcher.daml"/>
  <daml:imports rdf:resource="http://www.ai.sri.com/daml/ontologies/sri-basic/1-0/Publication.daml"/>
  <daml:imports rdf:resource="http://www.ai.sri.com/daml/ontologies/sri-basic/1-0/ContactInfo.daml"/>
</daml:Ontology>

<daml:Class rdf:ID="Course">
</daml:Class>

<daml:DatatypeProperty rdf:ID="title">
        <rdfs:domain rdf:resource = "#Course" />
        <rdfs:range rdf:resource = "http://www.w3.org/2000/01/rdf-schema#Literal" />
</daml:DatatypeProperty>

<daml:Class rdf:ID="Teacher">
        <rdfs:subClassOf rdf:resource="http://www.ai.sri.com/daml/ontologies/sri-basic/1-0/Person.daml#Person"/>
</daml:Class>

<daml:Class rdf:ID="Professor">
        <rdfs:subClassOf rdf:resource="#Teacher"/>
</daml:Class>

<daml:Class rdf:ID="Teaching_assistant">
        <rdfs:subClassOf rdf:resource="#Teacher"/>
</daml:Class>

<daml:ObjectProperty rdf:ID="course_professor">
        <rdfs:domain rdf:resource="#Course"/>
        <rdfs:range rdf:resource="#Professor"/>
        <daml:cardinality>1</daml:cardinality>    
</daml:ObjectProperty>

<daml:ObjectProperty rdf:ID="course_TA">
        <rdfs:domain rdf:resource = "#Course"/>
        <rdfs:range rdf:resource="#Teaching_Assistant"/>
</daml:ObjectProperty>

<daml:DatatypeProperty rdf:ID="course_quarter">
        <rdfs:domain rdf:resource="#Course"/>
        <rdfs:range rdf:resource="http://www.w3.org/2000/01/rdf-schema#Literal"/>                                        <daml:cardinality>1</daml:cardinality>    
</daml:DatatypeProperty>

<daml:ObjectProperty rdf:ID="course_time">
        <rdfs:domain rdf:resource="#Course"/>
        <rdfs:range rdf:resource = "http://www.ai.sri.com/daml/ontologies/sri-basic/1-0/Time.daml#Time_interval
"/>
        <daml:cardinality>1</daml:cardinality>    
</daml:ObjectProperty>

<daml:DatatypeProperty rdf:ID="course_day">
        <rdfs:domain rdf:resource="#Course"/>
        <rdfs:range rdf:resource="http://www.w3.org/2000/01/rdf-schema#Literal"/>  
        <daml:minimumCardinality>1</daml:minimumCardinality>
</daml:DatatypeProperty>

<daml:ObjectProperty rdf:ID="course_location">
        <rdfs:domain rdf:resource="#Course"/>
        <rdfs:range rdf:resource = "http://www.ai.sri.com/ontologies/sri-basic/1-0/ContactInfo.daml#Address"/>
        <daml:cardinality>1</daml:cardinality>    
</daml:ObjectProperty>

<daml:ObjectProperty rdf:ID="office">
       <rdfs:domain rdf:resource = "#Teacher" />                                 
       <rdfs:range rdf:resource ="http://www.ai.sri.com/daml/ontologies/sri-basic/1-0/ContactInfo.daml#Address"/>
</daml:ObjectProperty>

<daml:Class rdf:ID="Day-Time">
</daml:Class>

<daml:DatatypeProperty rdf:ID = "day">
        <rdfs:domain rdf:resource = "Day-Time" />
        <rdfs:range rdf:resource = "http://www.w3.org/2000/01/rdf-schema#Literal"/> 
</daml:DatatypeProperty>

<daml:ObjectProperty rdf:ID="time">
        <rdfs:domain rdf:resource = "#Day-Time" />
        <rdfs:range rdf:resource = "http://www.ai.sri.com/daml/ontologies/sri-basic/1-0/Time.daml#Time_interval"/>
</daml:ObjectProperty>

<daml:ObjectProperty rdf:ID="office_hours">
        <rdfs:domain rdf:resource="#Teacher"/>
        <rdfs:range rdf:resource= "#Day-Time"/>                                   
</daml:ObjectProperty>


</rdf:RDF>