<?xml version="1.0"?>
<!DOCTYPE rdf:RDF [
     <!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/2001/XMLSchema#" >
     <!ENTITY owl  "http://www.w3.org/2002/07/owl#" >
     <!ENTITY dc   "http://purl.org/dc/elements/1.1/">
     <!ENTITY dcterms   "http://purl.org/dc/terms/">
     <!ENTITY archive   "http://inference-web.org/2007/10/service/archive.owl#" >
     <!ENTITY pmlp   "http://inference-web.org/2.0/pml-provenance.owl#" >
   ]>


<rdf:RDF
  xml:base      = "&archive;"
  xmlns:archive = "&archive;"
  xmlns:pmlp  = "&pmlp;"
  xmlns:dc = "&dc;"
  xmlns:dcterms = "&dcterms;"
  xmlns:rdf  = "&rdf;"
  xmlns:rdfs  = "&rdfs;"
  xmlns:owl  = "&owl;"
>

<owl:Ontology rdf:about="">
  <rdfs:label xml:lang="en-US">IWArchive Ontology</rdfs:label>
  <rdfs:comment xml:lang="en-US">This ontology defines terms for IWArchive. This ontology is create by Li Ding (http://www.cs.rpi.edu/~dingl/). </rdfs:comment>    
  <owl:versionInfo xml:lang="en-US"> revised $Date: 10:15 AM 10/24/2007$ </owl:versionInfo>
  <owl:imports rdf:resource="&pmlp;"/>
</owl:Ontology>

<!-- *********************************************************************** -->
<!-- Language -->
<!-- *********************************************************************** -->

<pmlp:Langauge rdf:ID="RDFXML">
    <rdfs:label>RDF/XML</rdfs:label> 
    <rdfs:comment>RDF/XML RDF syntax</rdfs:comment>     
    <rdfs:isDefinedBy rdf:resource="http://www.w3.org/TR/rdf-syntax-grammar/" />
</pmlp:Langauge>

<pmlp:Langauge rdf:ID="N3">
    <rdfs:label>N3</rdfs:label> 
    <rdfs:comment>Notation 3 RDF syntax</rdfs:comment>     
    <rdfs:isDefinedBy rdf:resource="http://www.w3.org/DesignIssues/Notation3" />
</pmlp:Langauge>

<pmlp:Langauge rdf:ID="NT">
    <rdfs:label>N-Triples</rdfs:label> 
    <rdfs:comment>N-Triples RDF syntax</rdfs:comment>     
    <rdfs:isDefinedBy rdf:resource="http://www.w3.org/TR/rdf-testcases/#ntriples" />
</pmlp:Langauge>

<pmlp:Langauge rdf:ID="HTML">
    <rdfs:label>HTML</rdfs:label> 
    <rdfs:comment>HTML syntax</rdfs:comment>     
    <rdfs:isDefinedBy rdf:resource="http://www.w3.org/TR/html/" />
</pmlp:Langauge>

<pmlp:Langauge rdf:ID="PML">
    <rdfs:label>PML</rdfs:label> 
    <rdfs:comment>Proof Markup Language</rdfs:comment>     
    <rdfs:seeAlso rdf:resource="http://inference-web.org/" />
</pmlp:Langauge>

<!-- *********************************************************************** -->
<!-- document metadata -->
<!-- *********************************************************************** -->
<owl:Class  rdf:ID="PMLDocument">
    <rdfs:label>PML document</rdfs:label> 
    <rdfs:comment>a PML document</rdfs:comment>     
    <rdfs:subClassOf rdf:resource="&pmlp;Document"/>
</owl:Class>


<owl:ObjectProperty rdf:ID="hasDocumentURL">
    <rdfs:label>url</rdfs:label> 
    <rdfs:comment>the URL of the document. </rdfs:comment>     
    <rdf:type rdf:resource="&owl;InverseFunctionalProperty"/>
    <rdfs:domain rdf:resource="&pmlp;Document"/>
</owl:ObjectProperty>


<!-- example instance of Document -->
<pmlp:Document rdf:ID="me">    
    <archive:hasDocumentURL rdf:resource=""/>   			<!-- about this document -->
    <dcterms:modified>2007-05-30T09:30:10Z</dcterms:modified>             <!-- when this document was modified -->
    <pmlp:hasContent>
    	<pmlp:Information>
    		<pmlp:hasLanguage rdf:resource="#RDFXML"/>	<!-- this document uses RDFXML -->
    	</pmlp:Information>
    </pmlp:hasContent>
</pmlp:Document>

<pmlp:Document rdf:ID="example_doc">
    <archive:hasDocumentURL rdf:resource="http://www.cs.rpi.edu/~dingl/foaf.rdf"/>   		<!-- URL of the document -->
</pmlp:Document>

<!-- *********************************************************************** -->
<!-- revision metadata -->
<!-- *********************************************************************** -->

<pmlp:PMLDocument rdf:ID="example_doc_revision">
    <archive:hasDocumentURL rdf:resource="http://onto.rpi.edu/cache/123.rdf"/>   		<!-- URL of the document -->
    <dcterms:created>2007-05-30T09:30:10Z</dcterms:created>             <!-- when this document was created -->
    <dcterms:isVersionOf rdf:resource="#example_doc" />      	       <!-- this document is a revision of another document  -->
    <pmlp:hasContent>
    	<pmlp:Information>
    		<pmlp:hasLanguage rdf:resource="#RDFXML"/>
    	</pmlp:Information>
    </pmlp:hasContent>
</pmlp:PMLDocument>




</rdf:RDF>
