<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE rdf:RDF [
  <!ENTITY categories "http://www.rickmurphy.org/categories.owl#">
  <!ENTITY dc "http://purl.org/dc/elements/1.1/">
  <!ENTITY elements "http://purl.org/dc/elements/1.1">
  <!ENTITY owl "http://www.w3.org/2002/07/owl#">
  <!ENTITY rdf "http://www.w3.org/1999/02/22-rdf-syntax-ns#">
  <!ENTITY rdfs "http://www.w3.org/2000/01/rdf-schema#">
  <!ENTITY terms "http://purl.org/dc/terms/">
  <!ENTITY xsd "http://www.w3.org/2001/XMLSchema#">
]>
<rdf:RDF xml:base="http://www.rickmurphy.org/categories.owl"
         xmlns:categories="&categories;"
         xmlns:dc="&dc;"
         xmlns:owl="&owl;"
         xmlns:rdf="&rdf;"
         xmlns:rdfs="&rdfs;"
         xmlns:terms="&terms;">

<!-- Ontology Information -->
  <owl:Ontology rdf:about=""
                rdfs:label="categories"
                owl:versionInfo="0">
    <owl:imports>
      <owl:Ontology rdf:about="&elements;"/>
    </owl:imports>
  </owl:Ontology>

<!-- Classes -->
  <categories:Symbol rdf:about="#Argument"
                     rdfs:label="Argument">
    <rdf:type rdf:resource="&owl;Class"/>
    <owl:intersectionOf rdf:parseType="Collection">
      <rdf:Description rdf:about="#Proposition"/>
      <owl:Restriction>
        <owl:onProperty rdf:resource="#representation"/>
        <owl:someValuesFrom rdf:resource="#Interpretant"/>
      </owl:Restriction>
    </owl:intersectionOf>
  </categories:Symbol>

  <owl:Class rdf:about="#Attention"
             rdfs:label="Attention">
    <owl:intersectionOf rdf:parseType="Collection">
      <rdf:Description rdf:about="#Substance"/>
      <owl:Restriction>
        <owl:onProperty rdf:resource="#denotation"/>
        <owl:someValuesFrom rdf:resource="#DenotationValues"/>
      </owl:Restriction>
    </owl:intersectionOf>
  </owl:Class>

  <owl:Class rdf:about="#Being"
             rdfs:label="Being">
    <rdf:type rdf:resource="&owl;Thing"/>
    <owl:intersectionOf rdf:parseType="Collection">
      <rdf:Description rdf:about="#Substance"/>
      <owl:Restriction>
        <owl:onProperty rdf:resource="#predication"/>
        <owl:someValuesFrom rdf:resource="#Predicate"/>
      </owl:Restriction>
    </owl:intersectionOf>
  </owl:Class>

  <owl:Class rdf:about="#Comprehension"
             rdfs:label="Comprehension"/>
  <owl:Class rdf:about="#Conception"
             rdfs:label="Conception"/>
  <owl:Class rdf:about="#Connotation"
             rdfs:label="Connotation">
    <owl:intersectionOf rdf:parseType="Collection">
      <rdf:Description rdf:about="#Object"/>
      <owl:Restriction>
        <owl:hasValue rdf:resource="#Term"/>
        <owl:onProperty rdf:resource="#relation"/>
      </owl:Restriction>
    </owl:intersectionOf>
  </owl:Class>

  <owl:Class rdf:about="#Copula"
             rdfs:label="Copula">
    <owl:equivalentClass rdf:resource="#Being"/>
  </owl:Class>

  <categories:Correlate rdf:about="#Correlate"
                        rdfs:label="Correlate">
    <rdf:type rdf:resource="#Predicate"/>
    <rdf:type rdf:resource="&owl;Class"/>
    <owl:intersectionOf rdf:parseType="Collection">
      <rdf:Description rdf:about="#Conception"/>
      <owl:Restriction>
        <owl:hasValue rdf:resource="#Mediate"/>
        <owl:onProperty rdf:resource="#gradation"/>
      </owl:Restriction>
    </owl:intersectionOf>
  </categories:Correlate>

  <categories:Deduction rdf:about="#Deduction"
                        rdfs:label="Deduction">
    <rdf:type rdf:resource="&owl;Class"/>
    <owl:intersectionOf rdf:parseType="Collection">
      <owl:Restriction>
        <owl:hasValue rdf:resource="#Symbol"/>
        <owl:onProperty rdf:resource="#representation"/>
      </owl:Restriction>
    </owl:intersectionOf>
  </categories:Deduction>

  <owl:Class rdf:about="#Denotation"
             rdfs:label="Denotation"/>
  <owl:Class rdf:about="#DenotationValues"
             rdfs:label="DenotationValues">
    <owl:oneOf rdf:parseType="Collection">
      <rdf:Description rdf:about="#Absent"/>
      <rdf:Description rdf:about="#Present"/>
    </owl:oneOf>
  </owl:Class>

  <owl:Class rdf:about="#Extension"
             rdfs:label="Extension"/>
  <owl:Class rdf:about="#GradationValues"
             rdfs:label="GradationValues">
    <owl:oneOf rdf:parseType="Collection">
      <rdf:Description rdf:about="#Immediate"/>
      <rdf:Description rdf:about="#Mediate"/>
    </owl:oneOf>
  </owl:Class>

  <owl:Class rdf:about="#Grammar"
             rdfs:label="Grammar">
    <owl:intersectionOf rdf:parseType="Collection">
      <rdf:Description rdf:about="#Symbol"/>
      <owl:Restriction>
        <owl:hasValue rdf:resource="#Term"/>
        <owl:onProperty rdf:resource="#representation"/>
      </owl:Restriction>
    </owl:intersectionOf>
  </owl:Class>

  <categories:Ground rdf:about="#Ground"
                     rdfs:label="Ground">
    <rdf:type rdf:resource="#Predicate"/>
    <rdf:type rdf:resource="&owl;Class"/>
  </categories:Ground>

  <categories:Hypothesis rdf:about="#Hypothesis"
                         rdfs:label="Hypothesis">
    <rdf:type rdf:resource="&owl;Class"/>
    <owl:intersectionOf rdf:parseType="Collection">
      <owl:Restriction>
        <owl:hasValue rdf:resource="#Likeness"/>
        <owl:onProperty rdf:resource="#representation"/>
      </owl:Restriction>
    </owl:intersectionOf>
  </categories:Hypothesis>

  <owl:Class rdf:about="#Impression"
             rdfs:label="Impression">
    <owl:intersectionOf rdf:parseType="Collection">
      <rdf:Description rdf:about="#Being"/>
      <owl:Restriction>
        <owl:onProperty rdf:resource="#representation"/>
        <owl:someValuesFrom rdf:resource="#Sign"/>
      </owl:Restriction>
    </owl:intersectionOf>
  </owl:Class>

  <categories:Induction rdf:about="#Induction"
                        rdfs:label="Induction">
    <rdf:type rdf:resource="&owl;Class"/>
    <owl:intersectionOf rdf:parseType="Collection">
      <owl:Restriction>
        <owl:hasValue rdf:resource="#Index"/>
        <owl:onProperty rdf:resource="#representation"/>
      </owl:Restriction>
    </owl:intersectionOf>
  </categories:Induction>

  <owl:Class rdf:about="#Information"
             rdfs:label="Information">
    <owl:intersectionOf rdf:parseType="Collection">
      <rdf:Description rdf:about="#Object"/>
      <owl:Restriction>
        <owl:hasValue rdf:resource="#Term"/>
        <owl:onProperty rdf:resource="#representation"/>
      </owl:Restriction>
    </owl:intersectionOf>
  </owl:Class>

  <categories:Interpretant rdf:about="#Interpretant"
                           rdfs:label="Interpretant">
    <rdf:type rdf:resource="#Predicate"/>
    <rdf:type rdf:resource="&owl;Class"/>
    <owl:intersectionOf rdf:parseType="Collection">
      <rdf:Description rdf:about="#Conception"/>
      <owl:Restriction>
        <owl:hasValue rdf:resource="#Immediate"/>
        <owl:onProperty rdf:resource="#gradation"/>
      </owl:Restriction>
      <owl:Restriction>
        <owl:onProperty rdf:resource="#representation"/>
        <owl:someValuesFrom rdf:resource="#Sign"/>
      </owl:Restriction>
    </owl:intersectionOf>
  </categories:Interpretant>

  <owl:Class rdf:about="#Logic"
             rdfs:label="Logic">
    <owl:intersectionOf rdf:parseType="Collection">
      <rdf:Description rdf:about="#Symbol"/>
      <owl:Restriction>
        <owl:hasValue rdf:resource="#Proposition"/>
        <owl:onProperty rdf:resource="#representation"/>
      </owl:Restriction>
    </owl:intersectionOf>
  </owl:Class>

  <owl:Class rdf:about="#Object"
             rdfs:label="Object"/>
  <owl:Class rdf:about="#Predicate"
             rdfs:label="Predicate"/>
  <categories:Symbol rdf:about="#Proposition"
                     rdfs:label="Proposition">
    <rdf:type rdf:resource="&owl;Class"/>
    <owl:intersectionOf rdf:parseType="Collection">
      <rdf:Description rdf:about="#Subject"/>
      <owl:Restriction>
        <owl:onProperty rdf:resource="#predication"/>
        <owl:someValuesFrom rdf:resource="#Understanding"/>
      </owl:Restriction>
    </owl:intersectionOf>
  </categories:Symbol>

  <owl:Class rdf:about="#Quale"
             rdfs:label="Quale">
    <rdf:type rdf:resource="&owl;Thing"/>
    <owl:intersectionOf rdf:parseType="Collection">
      <owl:Restriction>
        <owl:hasValue rdf:resource="#Ground"/>
        <owl:onProperty rdf:resource="#quality"/>
      </owl:Restriction>
    </owl:intersectionOf>
  </owl:Class>

  <owl:Class rdf:about="#Relate"
             rdfs:label="Relate">
    <rdf:type rdf:resource="&owl;Thing"/>
    <owl:unionOf rdf:parseType="Collection">
      <rdf:Description rdf:about="#Quale"/>
      <owl:Restriction>
        <owl:hasValue rdf:resource="#Correlate"/>
        <owl:onProperty rdf:resource="#relation"/>
      </owl:Restriction>
    </owl:unionOf>
  </owl:Class>

  <owl:Class rdf:about="#Representamen"
             rdfs:label="Representamen">
    <rdf:type rdf:resource="&owl;Thing"/>
    <owl:unionOf rdf:parseType="Collection">
      <rdf:Description rdf:about="#Quale"/>
      <rdf:Description rdf:about="#Relate"/>
      <owl:Restriction>
        <owl:hasValue rdf:resource="#Interpretant"/>
        <owl:onProperty rdf:resource="#relation"/>
      </owl:Restriction>
    </owl:unionOf>
  </owl:Class>

  <owl:Class rdf:about="#Rhetoric"
             rdfs:label="Rhetoric">
    <owl:intersectionOf rdf:parseType="Collection">
      <rdf:Description rdf:about="#Symbol"/>
      <owl:Restriction>
        <owl:hasValue rdf:resource="#Argument"/>
        <owl:onProperty rdf:resource="#representation"/>
      </owl:Restriction>
    </owl:intersectionOf>
  </owl:Class>

  <owl:Class rdf:about="#SeparationValues"
             rdfs:label="SeparationValues">
    <owl:oneOf rdf:parseType="Collection">
      <rdf:Description rdf:about="#Discrimination"/>
      <rdf:Description rdf:about="#Dissociation"/>
      <rdf:Description rdf:about="#Precision"/>
    </owl:oneOf>
  </owl:Class>

  <owl:Class rdf:about="#Sign"
             rdfs:label="Sign">
    <owl:oneOf rdf:parseType="Collection">
      <rdf:Description rdf:about="#Index"/>
      <rdf:Description rdf:about="#Likeness"/>
      <rdf:Description rdf:about="#Symbol"/>
    </owl:oneOf>
  </owl:Class>

  <owl:Class rdf:about="#Subject"
             rdfs:label="Subject">
    <rdfs:subClassOf rdf:resource="#UniversalConception"/>
  </owl:Class>

  <owl:Class rdf:about="#Substance"
             rdfs:label="Substance">
    <rdf:type rdf:resource="&owl;Thing"/>
  </owl:Class>

  <owl:Class rdf:about="#SuperfluousConception"
             rdfs:label="SuperfluousConception">
    <rdfs:subClassOf rdf:resource="#Conception"/>
    <owl:disjointWith rdf:resource="#UniversalConception"/>
  </owl:Class>

  <owl:Class rdf:about="#Symbol"
             rdfs:label="Symbol">
    <rdf:type rdf:resource="&owl;Thing"/>
  </owl:Class>

  <owl:Class rdf:about="#Understanding"
             rdfs:label="Understanding">
    <rdf:type rdf:resource="&owl;Thing"/>
    <owl:intersectionOf rdf:parseType="Collection">
      <rdf:Description rdf:about="#Impression"/>
      <rdf:Description rdf:about="#UniversalConception"/>
    </owl:intersectionOf>
  </owl:Class>

  <owl:Class rdf:about="#UniversalConception"
             rdfs:label="UniversalConception">
    <owl:disjointWith rdf:resource="#SuperfluousConception"/>
    <owl:intersectionOf rdf:parseType="Collection">
      <rdf:Description rdf:about="#Conception"/>
      <owl:Restriction>
        <owl:hasValue rdf:resource="#True"/>
        <owl:onProperty rdf:resource="#validation"/>
      </owl:Restriction>
    </owl:intersectionOf>
  </owl:Class>

  <owl:Class rdf:about="#ValidationValues"
             rdfs:label="ValidationValues">
    <owl:oneOf rdf:parseType="Collection">
      <rdf:Description rdf:about="#False"/>
      <rdf:Description rdf:about="#True"/>
    </owl:oneOf>
  </owl:Class>

  <owl:Class>
    <owl:complementOf rdf:resource="#Comprehension"/>
  </owl:Class>

  <owl:Class>
    <owl:complementOf rdf:resource="#Extension"/>
  </owl:Class>

  <owl:Class>
    <owl:complementOf rdf:resource="#Extension"/>
  </owl:Class>

  <owl:Class>
    <owl:complementOf rdf:resource="#Comprehension"/>
  </owl:Class>

<!-- Annotation Properties -->
  <owl:AnnotationProperty rdf:about="&rdfs;label"/>
  <owl:AnnotationProperty rdf:about="&owl;versionInfo"/>

<!-- Datatype Properties -->
  <owl:DatatypeProperty rdf:about="&dc;description">
    <dc:description rdf:datatype="&xsd;string">OWL formalization of Peirce's "On a New List of Categories"</dc:description>
    <rdf:type rdf:resource="&owl;Thing"/>
  </owl:DatatypeProperty>

  <owl:DatatypeProperty rdf:about="&terms;issued"/>

<!-- Object Properties -->
  <owl:ObjectProperty rdf:about="#agreement"
                      rdfs:label="agreement">
    <rdfs:range rdf:resource="#Predicate"/>
  </owl:ObjectProperty>

  <owl:FunctionalProperty rdf:about="#denotation"
                          rdfs:label="denotation">
    <rdf:type rdf:resource="&owl;ObjectProperty"/>
    <rdfs:range rdf:resource="#DenotationValues"/>
  </owl:FunctionalProperty>

  <owl:ObjectProperty rdf:about="#gradation"
                      rdfs:label="gradation">
    <rdfs:range rdf:resource="#GradationValues"/>
  </owl:ObjectProperty>

  <owl:ObjectProperty rdf:about="#predication"
                      rdfs:label="predication">
    <rdfs:range rdf:resource="#Predicate"/>
  </owl:ObjectProperty>

  <owl:ObjectProperty rdf:about="#quality"
                      rdfs:label="abstration">
    <rdfs:range rdf:resource="#Ground"/>
    <rdfs:subPropertyOf rdf:resource="#predication"/>
  </owl:ObjectProperty>

  <owl:ObjectProperty rdf:about="#relation"
                      rdfs:label="relation">
    <rdfs:range rdf:resource="#Correlate"/>
    <rdfs:subPropertyOf rdf:resource="#predication"/>
  </owl:ObjectProperty>

  <owl:ObjectProperty rdf:about="#representation"
                      rdfs:label="representation">
    <rdfs:range rdf:resource="#Interpretant"/>
    <rdfs:subPropertyOf rdf:resource="#predication"/>
  </owl:ObjectProperty>

  <owl:ObjectProperty rdf:about="#separation"
                      rdfs:label="separation">
    <rdfs:range rdf:resource="#SeparationValues"/>
  </owl:ObjectProperty>

  <owl:FunctionalProperty rdf:about="#validation"
                          rdfs:label="validation">
    <rdf:type rdf:resource="&owl;ObjectProperty"/>
    <rdfs:range rdf:resource="#ValidationValues"/>
  </owl:FunctionalProperty>

<!-- Instances -->
  <owl:Thing rdf:about="#Absent"/>
  <owl:Thing rdf:about="#Discrimination"/>
  <owl:Thing rdf:about="#Dissociation"/>
  <owl:Thing rdf:about="#False"/>
  <owl:Thing rdf:about="#Immediate"/>
  <owl:Thing rdf:about="#Index"/>
  <owl:Thing rdf:about="#Likeness"/>
  <owl:Thing rdf:about="#Manifold"/>
  <owl:Thing rdf:about="#Mediate"/>
  <owl:Thing rdf:about="#Precision"/>
  <owl:Thing rdf:about="#Present"/>
  <categories:Symbol rdf:about="#Term"/>
  <owl:Thing rdf:about="#True"/>
  <owl:Thing rdf:about="&dc;creator">
    <dc:description rdf:datatype="&xsd;string">Richard C. Murphy</dc:description>
    <dc:description rdf:datatype="&xsd;string">rick@rickmurphy.org</dc:description>
    <terms:issued rdf:datatype="&xsd;string">July 13, 2007</terms:issued>
  </owl:Thing>

  <owl:Thing rdf:about="&dc;rights">
    <dc:description rdf:datatype="&xsd;string">http://creativecommons.org/licenses/by/3.0/</dc:description>
  </owl:Thing>

  <owl:Thing rdf:about="&dc;source">
    <dc:description rdf:datatype="&xsd;string">http://www.peirce.org/writings/p32.html</dc:description>
  </owl:Thing>

  <owl:Thing rdf:about="&dc;subject">
    <dc:description rdf:datatype="&xsd;string">categorization</dc:description>
    <dc:description rdf:datatype="&xsd;string">conceptualization</dc:description>
    <dc:description rdf:datatype="&xsd;string">mediating ontology</dc:description>
  </owl:Thing>

  <owl:Thing rdf:about="&dc;title">
    <dc:description rdf:datatype="&xsd;string">On a New List of Categories</dc:description>
  </owl:Thing>
</rdf:RDF>
