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

Modified Files:
1) schema-h.rdf schema-hth.rdf: bugs fixed
----------------------------------------------------------------------

diff --git a/helm/schemas/schema-h.rdf b/helm/schemas/schema-h.rdf
index 57149c1e004feb10134dd95d702e5743fe8625c3..395eb925c599d999cd7e1e54f62f9d2675b777c8 100644 (file)
--- 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 0e10e36f789028d2f5eb640399213b91115c7a54..6c54ff9163691df2fe017470b51f8e3d07fde4cd 100644 (file)
--- 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>