X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fschemas%2Fschema-h.rdf;h=395eb925c599d999cd7e1e54f62f9d2675b777c8;hb=10434de696a721d9ea1b4eddc4169d601ee671e5;hp=57149c1e004feb10134dd95d702e5743fe8625c3;hpb=f6a1458e8468f1171239f543f1d0392008320dc4;p=helm.git

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>