]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/schemas/schema-h
Better handling of queries. Now both the locate and backward queries give
[helm.git] / helm / schemas / schema-h
index 151debbc1f878c308f1167ac3e8ccef036e999ae..4a4798e514fe6b00e288b53ef4951314d5d344d8 100644 (file)
@@ -224,13 +224,6 @@ of CIC XML files, contained in the tree that has the dir as root </rdfs:comment>
     <rdfs:isDefinedBy rdf:resource = "&hns;" />
 </rdf:Property>
 
-<rdf:Property rdf:about="&hns;occurrence">
-    <rdfs:comment>URI of an object</rdfs:comment>
-    <rdfs:domain rdf:resource="&hns;Occurrence"/>
-    <rdfs:range rdf:resource="&hthns;HelmURI"/>
-    <rdfs:isDefinedBy rdf:resource = "&hns;" />
-</rdf:Property>
-
 <rdf:Property rdf:about="&hns;position">
     <rdfs:comment>Position of an occurrence</rdfs:comment>
     <rdfs:domain rdf:resource="&hns;Occurrence"/>
@@ -261,4 +254,11 @@ refers to</rdfs:comment>
     <rdfs:isDefinedBy rdf:resource = "&hns;" />
 </rdf:Property>
 
+<rdf:Property rdf:about="&hns;coercion">
+    <rdfs:comment>If the object can be a coercion</rdfs:comment>
+    <rdfs:domain rdf:resource="&hns;Object"/>
+    <rdfs:range rdf:resource="&xschemans;boolean"/>
+    <rdfs:isDefinedBy rdf:resource = "&hns;" /> 
+</rdf:Property>
+
 </rdf:RDF>
\ No newline at end of file