From d4b17db6764be4e7f693dab982ac66a54a5920eb Mon Sep 17 00:00:00 2001
From: Irene Schena <irene.schena@unibo.it>
Date: Fri, 21 Dec 2001 16:47:13 +0000
Subject: [PATCH] 
 ----------------------------------------------------------------------
 Modified Files: 1) schema-h.rdf schema-hth.rdf: bugs fixed
 ----------------------------------------------------------------------

---
 helm/schemas/schema-h.rdf   |  4 ++--
 helm/schemas/schema-hth.rdf | 28 ++++++++++++++++++++++------
 2 files changed, 24 insertions(+), 8 deletions(-)

diff --git a/helm/schemas/schema-h.rdf b/helm/schemas/schema-h.rdf
index 57149c1e0..395eb925c 100644
--- a/helm/schemas/schema-h.rdf
+++ b/helm/schemas/schema-h.rdf
@@ -249,8 +249,8 @@ of CIC XML files, contained in the tree that has the dir as root </rdfs:comment>
 <rdf:Property rdf:ID="refersTo">
     <rdfs:comment>Identifies the object fragment (Xpointer) which Postit
 refers to</rdfs:comment>
-    <rdfs:domain rdf:resource="&hthns;HelmURI"/>
-    <rdfs:range rdf:resource="&rdfsns;Literal"/>
+    <rdfs:domain rdf:resource="#Postit"/>
+    <rdfs:range rdf:resource="&hthns;HelmURI"/>
     <rdfs:isDefinedBy rdf:resource = "&hns;" />
 </rdf:Property>
 
diff --git a/helm/schemas/schema-hth.rdf b/helm/schemas/schema-hth.rdf
index 0e10e36f7..6c54ff916 100644
--- a/helm/schemas/schema-hth.rdf
+++ b/helm/schemas/schema-hth.rdf
@@ -87,7 +87,7 @@ text/mml, text/ps, text/tex, text/pdf.</rdfs:comment>
     <rdfs:comment>A relation between mathematical resources</rdfs:comment>
     <rdfs:subPropertyOf rdf:resource="&dcns;relation"/>
     <rdfs:domain rdf:resource="#MathResource"/>
-    <rdfs:range rdf:resource="&rdfsns;Literal"/>  
+    <rdfs:range rdf:resource="#HelmURI"/>  
     <rdfs:isDefinedBy rdf:resource = "&hthns;" />
 </rdf:Property>
 
@@ -95,7 +95,7 @@ text/mml, text/ps, text/tex, text/pdf.</rdfs:comment>
     <rdfs:comment>A relation between mathematical resources</rdfs:comment>
     <rdfs:subPropertyOf rdf:resource="&dcns;relation"/>
     <rdfs:domain rdf:resource="#MathResource"/>
-    <rdfs:range rdf:resource="&rdfsns;Literal"/>
+    <rdfs:range rdf:resource="#HelmURI"/>
     <rdfs:isDefinedBy rdf:resource = "&hthns;" />
 </rdf:Property>
 
@@ -103,7 +103,7 @@ text/mml, text/ps, text/tex, text/pdf.</rdfs:comment>
     <rdfs:comment>A relation between mathematical resources</rdfs:comment>
     <rdfs:subPropertyOf rdf:resource="&dcns;relation"/>
     <rdfs:domain rdf:resource="#MathResource"/>
-    <rdfs:range rdf:resource="&rdfsns;Literal"/>
+    <rdfs:range rdf:resource="#HelmURI"/>
     <rdfs:isDefinedBy rdf:resource = "&hthns;" />
 </rdf:Property>
 
@@ -111,7 +111,7 @@ text/mml, text/ps, text/tex, text/pdf.</rdfs:comment>
     <rdfs:comment>A relation between mathematical resources</rdfs:comment>
     <rdfs:subPropertyOf rdf:resource="&dcns;relation"/>
     <rdfs:domain rdf:resource="#MathResource"/>
-    <rdfs:range rdf:resource="&rdfsns;Literal"/>
+    <rdfs:range rdf:resource="#HelmURI"/>
     <rdfs:isDefinedBy rdf:resource = "&hthns;" />
 </rdf:Property>
 
@@ -179,7 +179,7 @@ of the dct:Software can be: Exec, Source.                                 -->
 <rdf:Property rdf:ID="dependence">
     <rdfs:comment>Dependence between theory items</rdfs:comment>
     <rdfs:domain rdf:resource="#TheoryItem"/>
-    <rdfs:range rdf:resource="#HelmURI"/>
+    <rdfs:range rdf:resource="#HelmID"/>
     <rdfs:isDefinedBy rdf:resource = "&hthns;" /> 
 </rdf:Property>
 
@@ -217,7 +217,23 @@ redundant info between metadata and data -->
     <rdfs:isDefinedBy rdf:resource = "&hthns;" /> 
 </rdf:Property>
 
-<!-- There are also dcq:created and dcq:modified -->
+<!-- There are also dcq:created and dcq:modified dc:date subProperties -->
+<rdf:Property rdf:ID="firstVersion">
+    <rdfs:comment>Any additional information about the first version of the
+mathematical resource</rdfs:comment>
+    <rdfs:subPropertyOf rdf:resource="&dcns;description"/> 
+    <rdfs:domain rdf:resource="#MathResource"/>
+    <rdfs:range rdf:resource="&xschemans;string"/>
+</rdf:Property>
+
+<rdf:Property rdf:ID="modified">
+    <rdfs:comment>Any additional information about the modified version of the
+mathematical resource</rdfs:comment>
+    <rdfs:subPropertyOf rdf:resource="&dcns;description"/> 
+    <rdfs:domain rdf:resource="#MathResource"/>
+    <rdfs:range rdf:resource="&xschemans;string"/>
+</rdf:Property>
+
 <rdf:Property rdf:ID="institution">
     <rdfs:comment>Affiliated institution of the creator of the mathematical 
 resource</rdfs:comment>
-- 
2.39.2