From: Irene Schena <irene.schena@unibo.it>
Date: Fri, 13 Sep 2002 13:25:41 +0000 (+0000)
Subject: Modified Files:
X-Git-Tag: BEFORE_METADATA_FOR_SORT_AND_REL~76
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=e47d8030edc9cdc599806ce6ce68d0f0d4271107;p=helm.git

Modified Files:
1) schema-h: Prop. occurrence removed
---

diff --git a/helm/schemas/schema-h b/helm/schemas/schema-h
index f26e003e1..4a4798e51 100644
--- a/helm/schemas/schema-h
+++ b/helm/schemas/schema-h
@@ -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"/>