----------------------------------------------------------------------

[helm.git] / helm / schemas / schema-h.rdf

diff --git a/helm/schemas/schema-h.rdf b/helm/schemas/schema-h.rdf
index 7a8c1046c3f6e2ded1b290bfe403c1b2edee0c14..ce2d8ed2e9fab9454ce6e385a2a17cbd1815c076 100644 (file)
--- a/helm/schemas/schema-h.rdf
+++ b/helm/schemas/schema-h.rdf
@@ -3,10 +3,19 @@
 <!-- Rdf Schema definition for CIC XML files:
 xmlns:h="http://www.cs.unibo.it/~schena/schema-h.rdf#" -->
 
+<!DOCTYPE rdf:RDF [
+        <!ENTITY rdfns 'http://www.w3.org/1999/02/22-rdf-syntax-ns#'>
+        <!ENTITY rdfsns 'http://www.w3.org/2000/01/rdf-schema#'>
+        <!ENTITY hthns 'http://www.cs.unibo.it/~schena/schema-hth.rdf#'>
+        <!ENTITY xschemans 'http://www.w3.org/1999/XMLSchema-datatypes#'>
+   ]>
+
 <rdf:RDF xml:lang="en"
-       xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
-       xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
-       xmlns:hth="http://www.cs.unibo.it/~schena/schema-hth.rdf#">
+       xmlns:rdf="&rdfns;"
+       xmlns:rdfs="&rdfsns;"
+       xmlns:hth="&hthns;"
+       xmlns:xs="&xschemans;">
+
 
 <!-- RICORDA: aggiungi commento anche a proprieta' e istanze -->
 <!-- RICORDA: studiare tipi di dato (invece di Literal) -->
@@ -22,14 +31,14 @@ da parsare  -->
 <rdfs:Class rdf:ID="Object">
      <rdfs:comment>Mathematical object represented by a CIC XML 
 file</rdfs:comment>
-     <rdfs:subClassOf rdf:resource="http://www.cs.unibo.it/~schena/schema-hth.rdf#MathResource"/>
+     <rdfs:subClassOf rdf:resource="&hthns;MathResource"/>
 </rdfs:Class>
 
 <!-- Objects can inherit its dc properties -->
 <rdfs:Class rdf:ID="DirectoryOfObjects">
      <rdfs:comment>Mathematical resource (directory) represented by a set of 
 CIC XML files, contained in the tree that has the dir as root </rdfs:comment>
-     <rdfs:subClassOf rdf:resource="http://www.cs.unibo.it/~schena/schema-hth.rdf#MathResource"/>
+     <rdfs:subClassOf rdf:resource="&hthns;MathResource"/>
 </rdfs:Class>
 
 <rdfs:Class rdf:ID="Statement">
@@ -44,6 +53,10 @@ CIC XML files, contained in the tree that has the dir as root </rdfs:comment>
      <rdfs:comment>Occurrence of an object inside an object</rdfs:comment>
 </rdfs:Class>
 
+<rdfs:Class rdf:ID="Position">
+     <rdfs:comment>Position of an occurrence of an object inside an object</rdfs:comment>
+</rdfs:Class>
+
 <rdfs:Class rdf:ID="Postit">
      <rdfs:comment>Additional information associated to fragments of the objects</rdfs:comment>
 </rdfs:Class>
@@ -64,36 +77,36 @@ CIC XML files, contained in the tree that has the dir as root </rdfs:comment>
      <rdfs:comment>Implicit arguments</rdfs:comment>
 </rdfs:Class>
 
-<!-- Instances of the class h:Occurrence -->
+<!-- Instances of the class h:Position -->
 
 <rdfs:Class rdf:ID="MainHypothesis">
     <rdfs:comment>Occurrence of an object in head position of some hypothesis 
      of an object statement</rdfs:comment>
-    <rdf:type rdf:resource="#Occurrence"/>
+    <rdf:type rdf:resource="#Position"/>
 </rdfs:Class>
 
 <rdfs:Class rdf:ID="InHypothesis">
     <rdfs:comment>Occurrence of an object in the hypotheses of an object 
      statement</rdfs:comment>
-    <rdf:type rdf:resource="#Occurrence"/>
+    <rdf:type rdf:resource="#Position"/>
 </rdfs:Class>
 
 <rdfs:Class rdf:ID="MainConclusion">
     <rdfs:comment>Occurrence of an object in head position of the 
      conclusion of an object statement</rdfs:comment>
-    <rdf:type rdf:resource="#Occurrence"/>
+    <rdf:type rdf:resource="#Position"/>
 </rdfs:Class>
 
 <rdfs:Class rdf:ID="InConclusion">
     <rdfs:comment>Occurrence of an object in the conclusion of an object
      statement</rdfs:comment>  
-    <rdf:type rdf:resource="#Occurrence"/>
+    <rdf:type rdf:resource="#Position"/>
 </rdfs:Class>
 
 <rdfs:Class rdf:ID="InBody">
     <rdfs:comment>Occurrence of an object only in an object body (not in the 
      statement)</rdfs:comment>
-    <rdf:type rdf:resource="#Occurrence"/>
+    <rdf:type rdf:resource="#Position"/>
 </rdfs:Class>
 
 <!-- Properties -->
@@ -115,14 +128,14 @@ CIC XML files, contained in the tree that has the dir as root </rdfs:comment>
 
 <rdf:Property rdf:ID="constrId">
     <rdfs:domain rdf:resource="#StatementId"/>
-    <rdfs:range rdf:resource="http://www.w3.org/2000/01/rdf-schema#Literal"/>
+    <rdfs:range rdf:resource="&hthns;HelmID"/>
 </rdf:Property>
 
 <rdf:Property rdf:ID="listId">
     <rdfs:comment>List of all ids in the domain</rdfs:comment>
     <rdfs:domain rdf:resource="#StatementId"/>
     <rdfs:domain rdf:resource="#BodyId"/>
-    <rdfs:range rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#Seq"/>
+    <rdfs:range rdf:resource="&rdfns;Seq"/>
 </rdf:Property>
 
 <rdf:Property rdf:ID="bodyId">
@@ -151,7 +164,7 @@ CIC XML files, contained in the tree that has the dir as root </rdfs:comment>
 <rdf:Property rdf:ID="listImplArg">
     <rdfs:comment>List of implicit arguments</rdfs:comment>
     <rdfs:domain rdf:resource="#ImplArg"/>
-    <rdfs:range rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#Seq"/>
+    <rdfs:range rdf:resource="&rdfns;Seq"/>
 </rdf:Property>
 
 <rdf:Property rdf:ID="backPointer">
@@ -160,6 +173,19 @@ CIC XML files, contained in the tree that has the dir as root </rdfs:comment>
     <rdfs:range rdf:resource="#Occurrence"/>
 </rdf:Property>
 
+<rdf:Property rdf:ID="occurrence">
+    <rdfs:comment>URI of an object</rdfs:comment>
+    <rdfs:domain rdf:resource="#Occurrence"/>
+    <rdfs:range rdf:resource="&hthns;HelmURI"/>
+</rdf:Property>
+
+<rdf:Property rdf:ID="position">
+    <rdfs:comment>Position of an occurrence</rdfs:comment>
+    <rdfs:domain rdf:resource="#Occurrence"/>
+    <rdfs:range rdf:resource="#Position"/>
+</rdf:Property>
+
+
 <rdf:Property rdf:ID="postit">
     <rdfs:comment>Postit</rdfs:comment>
     <rdfs:domain rdf:resource="#Object"/>
@@ -169,14 +195,14 @@ CIC XML files, contained in the tree that has the dir as root </rdfs:comment>
 <rdf:Property rdf:ID="content">
     <rdfs:comment>Content of a Postit</rdfs:comment>
     <rdfs:domain rdf:resource="#Postit"/>
-    <rdfs:range rdf:resource="http://www.w3.org/2000/01/rdf-schema#Literal"/>
+    <rdfs:range rdf:resource="&xschemans;string"/>
 </rdf:Property>
 
 <rdf:Property rdf:ID="refersTo">
     <rdfs:comment>Identifies the object fragment (Xpointer) which Postit
 refers to</rdfs:comment>
-    <rdfs:domain rdf:resource="#Postit"/>
-    <rdfs:range rdf:resource="http://www.w3.org/2000/01/rdf-schema#Literal"/>
+    <rdfs:domain rdf:resource="&hthns;HelmURI"/>
+    <rdfs:range rdf:resource="&rdfsns;Literal"/>
 </rdf:Property>
 
 </rdf:RDF>