<?xml version='1.0' encoding='ISO-8859-1'?>
<!DOCTYPE owl [
  <!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 xsd "http://www.w3.org/2000/10/XMLSchema#">
  <!ENTITY dc "http://purl.org/dc/elements/1.1/">
  <!ENTITY dct "http://purl.org/dc/terms/">
  <!ENTITY support "http://www.aktors.org/ontology/support#">
  <!ENTITY portal "http://www.aktors.org/ontology/portal#">
  <!ENTITY base "http://www.aktors.org/ontology/inca">
]>
<rdf:RDF xmlns:owl="&owl;"
         xmlns:rdf="&rdf;"
         xmlns:rdfs="&rdfs;"
	 xmlns:dc="&dc;"
	 xmlns:dct="&dct;"
         xmlns:xsd="&xsd;"
	 xmlns:support="&support;"
	 xmlns:portal="&portal;"
         xml:base="&base;">

  <owl:Ontology rdf:about="&base;">
    <rdfs:label>INCA Ontology</rdfs:label>
    <dc:title xml:lang="en">INCA Ontology</dc:title>
    <dc:description xml:lang="en">This model stores the insertion of INCA Concepts to the AKT Reference Ontology</dc:description>
    <dc:creator>AKT Project</dc:creator>
    <dc:creator>Jessica Chen-Burger</dc:creator>
    <dc:creator>Nick Gibbins (OWL translation)</dc:creator>
    <dc:creator>Stephen Potter (OWL revision)</dc:creator>
    <dct:created>2003-02-10</dct:created>
    <dc:source rdf:resource="http://www.aiai.ed.ac.uk/~jessicac/project/coakting/coakting-akt-onto/top-level.html"/>
    <rdfs:seeAlso rdf:resource="http://www.aiai.ed.ac.uk/~jessicac/project/coakting/coakting-akt-onto/top-level.html"/>
    <owl:versionInfo>0.1</owl:versionInfo>
    <owl:imports rdf:resource="http://www.aktors.org/ontology/support"/>
    <owl:imports rdf:resource="http://www.aktors.org/ontology/portal"/>
  </owl:Ontology>

  <owl:Class rdf:ID="INCA-Specification">
    <rdfs:label>INCA Specification</rdfs:label>
    <rdfs:comment>INCA specification of a synthesised thing</rdfs:comment>
    <rdfs:subClassOf rdf:resource="&portal;Abstract-Information"/>
    <rdfs:isDefinedBy rdf:resource="&base;"/>
  </owl:Class>

  <owl:Class rdf:ID="Issue">
    <rdfs:label>Issue</rdfs:label>
    <rdfs:comment></rdfs:comment>
    <rdfs:subClassOf rdf:resource="&portal;Abstract-Information"/>
    <rdfs:isDefinedBy rdf:resource="&base;"/>
  </owl:Class>

  <owl:Class rdf:ID="Constraint">
    <rdfs:label>Constraint</rdfs:label>
    <rdfs:comment>This differs from the specification given in the source since the OWL definition of the AKT support ontology does not contain the class Relation (which is considered to belong to the meta-model). Instead, we make Constraint a subclass of Thing, the most general class. (Note that we could have made Constraint be a subclass of one of the OWL Property types, but this might overly constrain it or entail undesirable semantical commitments.)</rdfs:comment>
    <rdfs:subClassOf rdf:resource="&owl;Thing"/>
    <rdfs:isDefinedBy rdf:resource="&base;"/>
  </owl:Class>

  <owl:Class rdf:ID="INCA-Object">
    <rdfs:label>INCA Object</rdfs:label>
    <rdfs:comment>This is an INCA specification expressed (or embodied) in some tangible entity.</rdfs:comment>
    <rdfs:subClassOf rdf:resource="&portal;Information-Bearing-Object"/>
    <rdfs:comment>Has exactly one INCA-specification.</rdfs:comment>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="#has-inca-specification"/>
	<owl:cardinality rdf:datatype="&xsd;nonNegativeInteger">1</owl:cardinality>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:isDefinedBy rdf:resource="&base;"/>
  </owl:Class>



  <owl:ObjectProperty rdf:ID="has-issue">
    <rdfs:domain rdf:resource="#INCA-Specification" />	
    <rdfs:range rdf:resource="#Issue" />
    <rdfs:isDefinedBy rdf:resource="&base;"/>
  </owl:ObjectProperty>

  <owl:ObjectProperty rdf:ID="has-node">
    <rdfs:comment>Note the range: any individual in the domain of discourse can be a node.</rdfs:comment>
    <rdfs:domain rdf:resource="#INCA-Specification" />	
    <rdfs:range rdf:resource="&owl;Thing" />
    <rdfs:isDefinedBy rdf:resource="&base;"/>
  </owl:ObjectProperty>

  <owl:ObjectProperty rdf:ID="has-constraint">
    <rdfs:domain rdf:resource="#INCA-Specification" />	
    <rdfs:range rdf:resource="#Constraint" />
    <rdfs:isDefinedBy rdf:resource="&base;"/>
  </owl:ObjectProperty>

  <owl:ObjectProperty rdf:ID="has-annotation">
    <rdfs:comment>Implicitly states that an annotation is abstract information (without specifying how this is represented).</rdfs:comment>
    <rdfs:domain rdf:resource="#INCA-Specification" />	
    <rdfs:range rdf:resource="&portal;Abstract-Information" />
    <rdfs:isDefinedBy rdf:resource="&base;"/>
  </owl:ObjectProperty>

  <owl:ObjectProperty rdf:ID="has-inca-specification">
    <rdfs:comment>Note this is a functional property: any INCA-Object can have at most one INCA-Specification.</rdfs:comment>
    <rdf:type rdf:resource="&owl;FunctionalProperty" />
    <rdfs:domain rdf:resource="#INCA-Object" />	
    <rdfs:range rdf:resource="#INCA-Specification" />
    <rdfs:isDefinedBy rdf:resource="&base;"/>
  </owl:ObjectProperty>

</rdf:RDF>
