<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: Topic.daml,v 1.10 2001/09/24 22:58:13 martin Exp $</daml:versionInfo>
  <rdfs:comment>SRI's ontology for topics </rdfs:comment>
  <daml:imports rdf:resource="http://www.daml.org/2001/03/daml+oil.daml"/>
  <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="Topic">
</daml:Class>

<daml:Class rdf:ID="TopicList">
  <rdfs:comment> The class of lists of Topics.</rdfs:comment>
  <rdfs:subClassOf rdf:resource="http://www.daml.org/2001/03/daml+oil#List"/>
  <rdfs:subClassOf>
    <daml:Restriction>
      <daml:onProperty rdf:resource="#item"/>
      <daml:toClass rdf:resource="#Topic"/>
    </daml:Restriction>
  </rdfs:subClassOf>
</daml:Class>


<!-- We assume that the topic class links the topic to other relevant topics and to researchers researching that topic -->

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

<daml:ObjectProperty rdf:ID="equivalent-topics">
  <rdfs:domain rdf:resource="#Topic"/>
  <rdfs:range rdf:resource= "#TopicList"/>
</daml:ObjectProperty>

<daml:ObjectProperty rdf:ID="related-topics">
  <rdfs:comment>is it the union of supertopic subtopic other-related-topic?</rdfs:comment>
  <rdfs:domain rdf:resource="#Topic"/>
  <rdfs:range rdf:resource="#TopicList"/>
</daml:ObjectProperty>

<daml:ObjectProperty rdf:ID="supertopics">
  <rdfs:domain rdf:resource="#Topic"/>
  <rdfs:range rdf:resource="#TopicList"/>
</daml:ObjectProperty>

<daml:ObjectProperty rdf:ID="subtopics">
  <rdfs:domain rdf:resource="#Topic"/>
  <rdfs:range rdf:resource="#TopicList"/>
</daml:ObjectProperty>

<daml:ObjectProperty rdf:ID="other-related-topics">
  <rdfs:domain rdf:resource="#Topic"/>
  <rdfs:range rdf:resource="#TopicList"/>
</daml:ObjectProperty>

<daml:ObjectProperty rdf:ID="Researchers">
  <rdfs:domain rdf:resource="#Topic"/>
  <rdfs:range rdf:resource="http://www.ai.sri.com/daml/ontologies/sri-basic/1-0/Researcher.daml#ResearcherList"/>
</daml:ObjectProperty>


</rdf:RDF>