<?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 country "http://www.daml.ri.cmu.edu/ont/Country.daml">
  <!ENTITY state "http://www.daml.ri.cmu.edu/ont/State.daml">
  <!ENTITY canadiancity "http://www.daml.ri.cmu.edu/ont/CanadianCity.daml">
  <!ENTITY DEFAULT "http://www.daml.ri.cmu.edu/ont/CanadianState.daml">
  <!ENTITY THIS "http://www.daml.ri.cmu.edu/ont/CanadianState.daml">
]>
 
<!--
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:country="&country;#"
  xmlns:state=  "&state;#"
  xmlns:canadiancity= "&canadiancity;#"
  xmlns:this=   "&THIS;#"
  xmlns=        "&DEFAULT;#">
 
  <daml:Ontology about="">
    <daml:versionInfo>
      $Id: &THIS;, v 1.1 terryp 2001/07/05 23:58:38 Exp $
    </daml:versionInfo>
    <rdfs:comment>
      Canadian States.
    </rdfs:comment>
    <daml:imports rdf:resource="&rdf;" />
    <daml:imports rdf:resource="&rdfs;" />
    <daml:imports rdf:resource="&daml;" />
    <daml:imports rdf:resource="&state;" />
  </daml:Ontology>
 
  <!-- Here is the ontology of the different regions -->

  <rdfs:Class rdf:ID="CanadianState">
    <rdfs:label>CanadianState</rdfs:label>
    <rdfs:subClassOf rdf:resource="&state;#State" />
    <rdfs:comment>
      Information about one of the Canadian States.
    </rdfs:comment>
  </rdfs:Class>
 
  <rdfs:Class rdf:ID="CanadianTerritory">
    <rdfs:label>CanadianTerritory</rdfs:label>
    <rdfs:subClassOf rdf:resource="&state;#State" />
    <rdfs:comment>
      Information about one of the Canadian Teritories.
    </rdfs:comment>
  </rdfs:Class>
 
  <!-- Constrain the country to be Canada -->
  <rdf:Property rdf:about="&state;#country">
    <rdfs:range rdf:resource="&country;#CANADA" />
  </rdf:Property> 

  <!-- Now to instantiate the states -->

  <CanadianState rdf:ID="AB">
    <name>Alberta</name>
    <code>AB</code>
    <borderstate rdf:resource="&THIS;#BC"/>
    <borderstate rdf:resource="&THIS;#NT"/>
    <borderstate rdf:resource="&THIS;#SK"/>
    <capital rdf:resource="&canadiancity;#edmontonab"/>
  </CanadianState>

  <CanadianState rdf:ID="BC">
    <name>British Columbia</name>
    <code>BC</code>
    <borderstate rdf:resource="&THIS;#AB"/>
    <borderstate rdf:resource="&THIS;#NT"/>
    <borderstate rdf:resource="&THIS;#YK"/>
    <capital rdf:resource="&canadiancity;#victoriabc"/>
  </CanadianState>

  <CanadianState rdf:ID="MB">
    <name>Manitoba</name>
    <code>MB</code>
    <borderstate rdf:resource="&THIS;#NU"/>
    <borderstate rdf:resource="&THIS;#ON"/>
    <borderstate rdf:resource="&THIS;#SK"/>
    <capital rdf:resource="&canadiancity;#winnipegmb"/>
  </CanadianState>

  <CanadianState rdf:ID="NB">
    <name>New Brunswick</name>
    <code>NB</code>
    <borderstate rdf:resource="&THIS;#NS"/>
    <borderstate rdf:resource="&THIS;#QU"/>
    <capital rdf:resource="&canadiancity;#frederictonnb"/>
  </CanadianState>

  <CanadianState rdf:ID="NF">
    <name>Newfoundland and Labrador</name>
    <code>NF</code>
    <borderstate rdf:resource="&THIS;#QU"/>
    <capital rdf:resource="&canadiancity;#stjohnsnf"/>
  </CanadianState>

  <CanadianState rdf:ID="NS">
    <name>Nova Scotia</name>
    <code>NS</code>
    <borderstate rdf:resource="&THIS;#NB"/>
    <capital rdf:resource="&canadiancity;#halifaxns"/>
  </CanadianState>

  <CanadianState rdf:ID="ON">
    <name>Ontario</name>
    <code>ON</code>
    <borderstate rdf:resource="&THIS;#MB"/>
    <borderstate rdf:resource="&THIS;#QU"/>
    <capital rdf:resource="&canadiancity;#torontoon"/>
  </CanadianState>

  <CanadianState rdf:ID="PE">
    <name>Prince Edward Island</name>
    <code>PE</code>
    <capital rdf:resource="&canadiancity;#charlottetownpe"/>
  </CanadianState>

  <CanadianState rdf:ID="QU">
    <name>Quebec</name>
    <code>QU</code>
    <borderstate rdf:resource="&THIS;#ON"/>
    <borderstate rdf:resource="&THIS;#NB"/>
    <borderstate rdf:resource="&THIS;#NF"/>
    <capital rdf:resource="&canadiancity;#quebeccityqu"/>
  </CanadianState>

  <CanadianState rdf:ID="SK">
    <name>Saskatchewan</name>
    <code>SK</code>
    <borderstate rdf:resource="&THIS;#AB"/>
    <borderstate rdf:resource="&THIS;#MB"/>
    <borderstate rdf:resource="&THIS;#NT"/>
    <capital rdf:resource="&canadiancity;#reginask"/>
  </CanadianState>

  <CanadianTerritory rdf:ID="NT">
    <name>Northwest Territories</name>
    <code>NT</code>
    <borderstate rdf:resource="&THIS;#AB"/>
    <borderstate rdf:resource="&THIS;#BC"/>
    <borderstate rdf:resource="&THIS;#NU"/>
    <borderstate rdf:resource="&THIS;#SK"/>
    <borderstate rdf:resource="&THIS;#YK"/>
    <capital rdf:resource="&canadiancity;#yellowknifent"/>
  </CanadianTerritory>

  <CanadianTerritory rdf:ID="NU">
    <name>Nunavut</name>
    <code>NU</code>
    <borderstate rdf:resource="&THIS;#MB"/>
    <borderstate rdf:resource="&THIS;#NT"/>
    <capital rdf:resource="&canadiancity;#iqaluitnu"/>
  </CanadianTerritory>

  <CanadianTerritory rdf:ID="YK">
    <name>Yucon Territory</name>
    <code>YK</code>
    <borderstate rdf:resource="&THIS;#BC"/>
    <borderstate rdf:resource="&THIS;#NT"/>
    <capital rdf:resource="&canadiancity;#whitehorseyk"/>
  </CanadianTerritory>

</rdf:RDF>
