X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fschemas%2Fschema-h;h=c852385f4364bd53f50aa80e12210ef158f99a26;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=290fab6674d4310e290223b2f9b6f2e2be165eb9;hpb=e147acdb13c52328b712cb2c200bafbe8aadbcc4;p=helm.git

diff --git a/helm/schemas/schema-h b/helm/schemas/schema-h
index 290fab667..c852385f4 100644
--- a/helm/schemas/schema-h
+++ b/helm/schemas/schema-h
@@ -201,7 +201,7 @@ of CIC XML files, contained in the tree that has the dir as root </rdfs:comment>
 <rdf:Property rdf:about="&hns;occurrence">
     <rdfs:comment>Position of an occurrence</rdfs:comment>
 <!--    <rdfs:domain rdf:resource="&hns;Occurrence"/>-->
-    <rdfs:range rdf:resource="&hthns;HelmURI"/>
+    <rdfs:range rdf:resource="&hns;Object"/>
     <rdfs:isDefinedBy rdf:resource = "&hns;" />
 </rdf:Property>
 
@@ -258,7 +258,7 @@ of CIC XML files, contained in the tree that has the dir as root </rdfs:comment>
     <rdfs:comment>Identifies the object fragment (Xpointer) which Postit
 refers to</rdfs:comment>
     <rdfs:domain rdf:resource="&hns;Postit"/>
-    <rdfs:range rdf:resource="&hthns;HelmURI"/>
+    <rdfs:range rdf:resource="&hns;Object"/>
     <rdfs:isDefinedBy rdf:resource = "&hns;" />
 </rdf:Property>