X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fschemas%2Fschema-hth.rdf;h=6c54ff9163691df2fe017470b51f8e3d07fde4cd;hb=09aa799947c84148221af82e94e911adea8fd1e6;hp=0e10e36f789028d2f5eb640399213b91115c7a54;hpb=f6a1458e8468f1171239f543f1d0392008320dc4;p=helm.git

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>