<?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 center-ont "http://www.daml.ri.cmu.edu/ont/homework/cmu-ri-center-ont">
  <!ENTITY labgroup-ont "http://www.daml.ri.cmu.edu/ont/homework/cmu-ri-labgroup-ont">
  <!ENTITY project-ont "http://www.daml.ri.cmu.edu/ont/homework/cmu-ri-project-ont">
  <!ENTITY DEFAULT "http://www.daml.ri.cmu.edu/ont/homework/cmu-ri-publications-ont">
  <!ENTITY THIS "http://www.daml.ri.cmu.edu/ont/homework/cmu-ri-publications-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-publications-ont.daml, v 0.1 2001/08/27 17:21:04 terryp Exp $
  </daml:versionInfo>
  <rdfs:comment>
    New Publications ontology based on 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: Bibtex_Entry -->
<!-- Based on Leslie Lamport's 'LATEX - A Document Preparation System'. -->

<rdfs:Class rdf:ID="Bibtex_Entry">
  <rdfs:label>Bibtex_Entry</rdfs:label>
  <rdfs:comment>
    An entry for a bibtex database.
  </rdfs:comment>
</rdfs:Class>

<rdf:Property rdf:ID="hasPublication_Type">
   <rdfs:domain rdf:resource="#Bibtex_Entry"/>
   <rdfs:range rdf:resource="#Bibtex_Publication_Type"/>
</rdf:Property>

<rdf:Property rdf:ID="hasCiteKey">
   <rdfs:domain rdf:resource="#Bibtex_Entry"/>
   <rdfs:range rdf:resource="#Literal"/>
</rdf:Property>

<!-- For now we define all the possible properties of a bibtex entry
     as literals (based on the approach used by Drew McDermott (of
     Yale University CS Department) in the Bibliography vocabulary
     (http://www.cs.yale.edu/~dvm/daml/bib-ont.daml).

     For later versions, this should be redefined to refer to other
     defined classes...
     -->

<rdf:Property rdf:ID="hasAddress">
   <rdfs:domain rdf:resource="#Bibtex_Publication_Type"/>
   <rdfs:range rdf:resource="#Literal"/>
</rdf:Property>

<rdf:Property rdf:ID="hasAnnote">
   <rdfs:domain rdf:resource="#Bibtex_Publication_Type"/>
   <rdfs:range rdf:resource="#Literal"/>
</rdf:Property>

<rdf:Property rdf:ID="hasAuthor">
   <rdfs:domain rdf:resource="#Bibtex_Publication_Type"/>
   <rdfs:range rdf:resource="#Literal"/>
</rdf:Property>

<rdf:Property rdf:ID="hasBooktitle">
   <rdfs:domain rdf:resource="#Bibtex_Publication_Type"/>
   <rdfs:range rdf:resource="#Literal"/>
</rdf:Property>

<rdf:Property rdf:ID="hasChapter">
   <rdfs:domain rdf:resource="#Bibtex_Publication_Type"/>
   <rdfs:range rdf:resource="#Literal"/>
</rdf:Property>

<rdf:Property rdf:ID="hasCrossref">
   <rdfs:domain rdf:resource="#Bibtex_Publication_Type"/>
   <rdfs:range rdf:resource="#Literal"/>
</rdf:Property>

<rdf:Property rdf:ID="hasEdition">
   <rdfs:domain rdf:resource="#Bibtex_Publication_Type"/>
   <rdfs:range rdf:resource="#Literal"/>
</rdf:Property>

<rdf:Property rdf:ID="hasEditor">
   <rdfs:domain rdf:resource="#Bibtex_Publication_Type"/>
   <rdfs:range rdf:resource="#Literal"/>
</rdf:Property>

<rdf:Property rdf:ID="hasHowpublished">
   <rdfs:domain rdf:resource="#Bibtex_Publication_Type"/>
   <rdfs:range rdf:resource="#Literal"/>
</rdf:Property>

<rdf:Property rdf:ID="hasInstitution">
   <rdfs:domain rdf:resource="#Bibtex_Publication_Type"/>
   <rdfs:range rdf:resource="#Literal"/>
</rdf:Property>

<rdf:Property rdf:ID="hasJournal">
   <rdfs:domain rdf:resource="#Bibtex_Publication_Type"/>
   <rdfs:range rdf:resource="#Literal"/>
</rdf:Property>

<rdf:Property rdf:ID="hasKey">
   <rdfs:domain rdf:resource="#Bibtex_Publication_Type"/>
   <rdfs:range rdf:resource="#Literal"/>
</rdf:Property>

<rdf:Property rdf:ID="hasMonth">
   <rdfs:domain rdf:resource="#Bibtex_Publication_Type"/>
   <rdfs:range rdf:resource="#Literal"/>
</rdf:Property>

<rdf:Property rdf:ID="hasNote">
   <rdfs:domain rdf:resource="#Bibtex_Publication_Type"/>
   <rdfs:range rdf:resource="#Literal"/>
</rdf:Property>

<rdf:Property rdf:ID="hasNumber">
   <rdfs:domain rdf:resource="#Bibtex_Publication_Type"/>
   <rdfs:range rdf:resource="#Literal"/>
</rdf:Property>

<rdf:Property rdf:ID="hasOrganization">
   <rdfs:domain rdf:resource="#Bibtex_Publication_Type"/>
   <rdfs:range rdf:resource="#Literal"/>
</rdf:Property>

<rdf:Property rdf:ID="hasPages">
   <rdfs:domain rdf:resource="#Bibtex_Publication_Type"/>
   <rdfs:range rdf:resource="#Literal"/>
</rdf:Property>

<rdf:Property rdf:ID="hasPublisher">
   <rdfs:domain rdf:resource="#Bibtex_Publication_Type"/>
   <rdfs:range rdf:resource="#Literal"/>
</rdf:Property>

<rdf:Property rdf:ID="hasSchool">
   <rdfs:domain rdf:resource="#Bibtex_Publication_Type"/>
   <rdfs:range rdf:resource="#Literal"/>
</rdf:Property>

<rdf:Property rdf:ID="hasSeries">
   <rdfs:domain rdf:resource="#Bibtex_Publication_Type"/>
   <rdfs:range rdf:resource="#Literal"/>
</rdf:Property>

<rdf:Property rdf:ID="hasTitle">
   <rdfs:domain rdf:resource="#Bibtex_Publication_Type"/>
   <rdfs:range rdf:resource="#Literal"/>
</rdf:Property>

<rdf:Property rdf:ID="hasType">
   <rdfs:domain rdf:resource="#Bibtex_Publication_Type"/>
   <rdfs:range rdf:resource="#Literal"/>
</rdf:Property>

<rdf:Property rdf:ID="hasVolume">
   <rdfs:domain rdf:resource="#Bibtex_Publication_Type"/>
   <rdfs:range rdf:resource="#Literal"/>
</rdf:Property>

<rdf:Property rdf:ID="hasYear">
   <rdfs:domain rdf:resource="#Bibtex_Publication_Type"/>
   <rdfs:range rdf:resource="#Literal"/>
</rdf:Property>

<!-- ############ ########### ############ ############ ########### -->
<!-- CLASS: Bibtex_Publication_Type -->
<!-- Based on Leslie Lamport's 'LATEX - A Document Preparation System'. -->

<rdfs:Class rdf:ID="Bibtex_Publication_Type">
  <rdfs:label>Bibtex_Publication_Type</rdfs:label>
  <rdfs:comment>
    A publication type supported by the bibtex format.
  </rdfs:comment>
  <daml:disjointUnionOf rdf:parseType="daml:collection">
    <rdfs:Class rdf:about="#Article"/>
    <rdfs:Class rdf:about="#Book"/>
    <rdfs:Class rdf:about="#Booklet"/>
    <rdfs:Class rdf:about="#Conference"/>
    <rdfs:Class rdf:about="#InBook"/>
    <rdfs:Class rdf:about="#InConference"/>
    <rdfs:Class rdf:about="#InProceedings"/>
    <rdfs:Class rdf:about="#Manual"/>
    <rdfs:Class rdf:about="#MastersThesis"/>
    <rdfs:Class rdf:about="#Misc"/>
    <rdfs:Class rdf:about="#PhdThesis"/>
    <rdfs:Class rdf:about="#Proceedings"/>
    <rdfs:Class rdf:about="#TechReport"/>
    <rdfs:Class rdf:about="#Unpublished"/>
  </daml:disjointUnionOf>
</rdfs:Class>

<rdfs:Class rdf:ID="Article">
  <rdfs:label>Article</rdfs:label>
  <rdfs:comment>
    An article from a journal or magazine.
  </rdfs:comment>
  <rdfs:subClassOf rdf:resource="#Bibtex_Publication_Type"/>
</rdfs:Class>

<rdfs:Class rdf:ID="Book">
  <rdfs:label>Book</rdfs:label>
  <rdfs:comment>
    A book with an explicit publisher.
  </rdfs:comment>
  <rdfs:subClassOf rdf:resource="#Bibtex_Publication_Type"/>
</rdfs:Class>

<rdfs:Class rdf:ID="Booklet">
  <rdfs:label>Booklet</rdfs:label>
  <rdfs:comment>
    A work that is printed and bound, but without a named
    publisher or sponsoring institution.
  </rdfs:comment>
  <rdfs:subClassOf rdf:resource="#Bibtex_Publication_Type"/>
</rdfs:Class>

<rdfs:Class rdf:ID="Conference">
  <rdfs:label>Conference</rdfs:label>
  <daml:sameClassAs rdf:resource="#InProceedings"/>
</rdfs:Class>

<rdfs:Class rdf:ID="InBook">
  <rdfs:label>InBook</rdfs:label>
  <rdfs:comment>
    Part of a book, usually untitled.
  </rdfs:comment>
  <rdfs:subClassOf rdf:resource="#Bibtex_Publication_Type"/>
</rdfs:Class>

<rdfs:Class rdf:ID="InCollection">
  <rdfs:label>InCollection</rdfs:label>
  <rdfs:comment>
    A part of a book with its own title.
  </rdfs:comment>
  <rdfs:subClassOf rdf:resource="#Bibtex_Publication_Type"/>
</rdfs:Class>

<rdfs:Class rdf:ID="InProceedings">
  <rdfs:label>InProceedings</rdfs:label>
  <rdfs:comment>
    An article in a conference proceedings.
  </rdfs:comment>
  <rdfs:subClassOf rdf:resource="#Bibtex_Publication_Type"/>
</rdfs:Class>

<rdfs:Class rdf:ID="Manual">
  <rdfs:label>Manual</rdfs:label>
  <rdfs:comment>
    Technical Documentation.
  </rdfs:comment>
  <rdfs:subClassOf rdf:resource="#Bibtex_Publication_Type"/>
</rdfs:Class>

<rdfs:Class rdf:ID="MastersThesis">
  <rdfs:label>MastersThesis</rdfs:label>
  <rdfs:comment>
    A Masters Thesis.
  </rdfs:comment>
  <rdfs:subClassOf rdf:resource="#Bibtex_Publication_Type"/>
</rdfs:Class>

<rdfs:Class rdf:ID="misc">
  <rdfs:label>misc</rdfs:label>
  <rdfs:comment>
    A catchall type of publication - use when nothing else fits.
  </rdfs:comment>
  <rdfs:subClassOf rdf:resource="#Bibtex_Publication_Type"/>
</rdfs:Class>

<rdfs:Class rdf:ID="PhdThesis">
  <rdfs:label>PhdThesis</rdfs:label>
  <rdfs:comment>
    A Phd Thesis.
  </rdfs:comment>
  <rdfs:subClassOf rdf:resource="#Bibtex_Publication_Type"/>
</rdfs:Class>

<rdfs:Class rdf:ID="Proceedings">
  <rdfs:label>Proceedings</rdfs:label>
  <rdfs:comment>
    A conference proceedings.
  </rdfs:comment>
  <rdfs:subClassOf rdf:resource="#Bibtex_Publication_Type"/>
</rdfs:Class>

<rdfs:Class rdf:ID="TechReport">
  <rdfs:label>TechReport</rdfs:label>
  <rdfs:comment>
    A report published by a school or other institution.
  </rdfs:comment>
  <rdfs:subClassOf rdf:resource="#Bibtex_Publication_Type"/>
</rdfs:Class>

<rdfs:Class rdf:ID="unpublished">
  <rdfs:label>unpublished</rdfs:label>
  <rdfs:comment>
    An article with an author and title, but not formally published.
  </rdfs:comment>
  <rdfs:subClassOf rdf:resource="#Bibtex_Publication_Type"/>
</rdfs:Class>

<!-- ############ ########### ############ ############ ########### -->
<!-- CLASS: CMU_Publication_Entry -->
<!-- Based on Publication entries available from the CMU RI web pages. -->

<rdfs:Class rdf:ID="CMU_Publication_Entry">
  <rdfs:label>CMU_Publication_Entry</rdfs:label>
  <rdfs:comment>
    A description of a CMU RI publication.  Includes bibtex-based
    data, as well as additional data such as associated Lab or Sponsor.
  </rdfs:comment>
</rdfs:Class>

<rdf:Property rdf:ID="hasSponsor">
   <rdfs:domain rdf:resource="#CMU_Publictaion_Entry"/>
   <rdfs:range rdf:resource="#Literal"/>
</rdf:Property>

<rdf:Property rdf:ID="hasGrantID">
   <rdfs:domain rdf:resource="#CMU_Publictaion_Entry"/>
   <rdfs:range rdf:resource="#Literal"/>
</rdf:Property>

<rdf:Property rdf:ID="hasAssociatedCenter">
   <rdfs:domain rdf:resource="#CMU_Publictaion_Entry"/>
   <rdfs:range rdf:resource="&center-ont;#Center"/>

</rdf:Property>

<rdf:Property rdf:ID="hasAssociatedLabGroup">
   <rdfs:domain rdf:resource="#CMU_Publictaion_Entry"/>
   <rdfs:range rdf:resource="&labgroup-ont;#Lab"/>
   <rdfs:range rdf:resource="#Literal"/>
</rdf:Property>

<rdf:Property rdf:ID="hasAssociatedProject">
   <rdfs:domain rdf:resource="#CMU_Publictaion_Entry"/>
   <rdfs:range rdf:resource="&project-ont;#Project"/>
   <rdfs:range rdf:resource="#Literal"/>
</rdf:Property>

<rdf:Property rdf:ID="hasBibtexEntry">
   <rdfs:domain rdf:resource="#CMU_Publictaion_Entry"/>
   <rdfs:range rdf:resource="#BibtexEntry"/>
</rdf:Property>

<rdf:Property rdf:ID="hasURL">
   <rdfs:domain rdf:resource="#CMU_Publictaion_Entry"/>
   <rdfs:range rdf:resource="#Literal"/>
</rdf:Property>

</rdf:RDF>
