From: Irene Schena <irene.schena@unibo.it>
Date: Mon, 10 Dec 2001 16:28:04 +0000 (+0000)
Subject: ----------------------------------------------------------------------
X-Git-Tag: mlminidom_0_2_2~13
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=b585030cb67e164ec9a043abcd938be756d9ad1f;p=helm.git

----------------------------------------------------------------------
Modified Files:
1) schema-h.rdf, schema-hth.rdf: updated DC schemas + class and
property refinements + value types.
----------------------------------------------------------------------
---

diff --git a/helm/schemas/schema-h.rdf b/helm/schemas/schema-h.rdf
index 7a8c1046c..ce2d8ed2e 100644
--- a/helm/schemas/schema-h.rdf
+++ b/helm/schemas/schema-h.rdf
@@ -3,10 +3,19 @@
 <!-- Rdf Schema definition for CIC XML files:
 xmlns:h="http://www.cs.unibo.it/~schena/schema-h.rdf#" -->
 
+<!DOCTYPE rdf:RDF [
+        <!ENTITY rdfns 'http://www.w3.org/1999/02/22-rdf-syntax-ns#'>
+        <!ENTITY rdfsns 'http://www.w3.org/2000/01/rdf-schema#'>
+        <!ENTITY hthns 'http://www.cs.unibo.it/~schena/schema-hth.rdf#'>
+        <!ENTITY xschemans 'http://www.w3.org/1999/XMLSchema-datatypes#'>
+   ]>
+
 <rdf:RDF xml:lang="en"
-       xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
-       xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
-       xmlns:hth="http://www.cs.unibo.it/~schena/schema-hth.rdf#">
+       xmlns:rdf="&rdfns;"
+       xmlns:rdfs="&rdfsns;"
+       xmlns:hth="&hthns;"
+       xmlns:xs="&xschemans;">
+
 
 <!-- RICORDA: aggiungi commento anche a proprieta' e istanze -->
 <!-- RICORDA: studiare tipi di dato (invece di Literal) -->
@@ -22,14 +31,14 @@ da parsare  -->
 <rdfs:Class rdf:ID="Object">
      <rdfs:comment>Mathematical object represented by a CIC XML 
 file</rdfs:comment>
-     <rdfs:subClassOf rdf:resource="http://www.cs.unibo.it/~schena/schema-hth.rdf#MathResource"/>
+     <rdfs:subClassOf rdf:resource="&hthns;MathResource"/>
 </rdfs:Class>
 
 <!-- Objects can inherit its dc properties -->
 <rdfs:Class rdf:ID="DirectoryOfObjects">
      <rdfs:comment>Mathematical resource (directory) represented by a set of 
 CIC XML files, contained in the tree that has the dir as root </rdfs:comment>
-     <rdfs:subClassOf rdf:resource="http://www.cs.unibo.it/~schena/schema-hth.rdf#MathResource"/>
+     <rdfs:subClassOf rdf:resource="&hthns;MathResource"/>
 </rdfs:Class>
 
 <rdfs:Class rdf:ID="Statement">
@@ -44,6 +53,10 @@ CIC XML files, contained in the tree that has the dir as root </rdfs:comment>
      <rdfs:comment>Occurrence of an object inside an object</rdfs:comment>
 </rdfs:Class>
 
+<rdfs:Class rdf:ID="Position">
+     <rdfs:comment>Position of an occurrence of an object inside an object</rdfs:comment>
+</rdfs:Class>
+
 <rdfs:Class rdf:ID="Postit">
      <rdfs:comment>Additional information associated to fragments of the objects</rdfs:comment>
 </rdfs:Class>
@@ -64,36 +77,36 @@ CIC XML files, contained in the tree that has the dir as root </rdfs:comment>
      <rdfs:comment>Implicit arguments</rdfs:comment>
 </rdfs:Class>
 
-<!-- Instances of the class h:Occurrence -->
+<!-- Instances of the class h:Position -->
 
 <rdfs:Class rdf:ID="MainHypothesis">
     <rdfs:comment>Occurrence of an object in head position of some hypothesis 
      of an object statement</rdfs:comment>
-    <rdf:type rdf:resource="#Occurrence"/>
+    <rdf:type rdf:resource="#Position"/>
 </rdfs:Class>
 
 <rdfs:Class rdf:ID="InHypothesis">
     <rdfs:comment>Occurrence of an object in the hypotheses of an object 
      statement</rdfs:comment>
-    <rdf:type rdf:resource="#Occurrence"/>
+    <rdf:type rdf:resource="#Position"/>
 </rdfs:Class>
 
 <rdfs:Class rdf:ID="MainConclusion">
     <rdfs:comment>Occurrence of an object in head position of the 
      conclusion of an object statement</rdfs:comment>
-    <rdf:type rdf:resource="#Occurrence"/>
+    <rdf:type rdf:resource="#Position"/>
 </rdfs:Class>
 
 <rdfs:Class rdf:ID="InConclusion">
     <rdfs:comment>Occurrence of an object in the conclusion of an object
      statement</rdfs:comment>  
-    <rdf:type rdf:resource="#Occurrence"/>
+    <rdf:type rdf:resource="#Position"/>
 </rdfs:Class>
 
 <rdfs:Class rdf:ID="InBody">
     <rdfs:comment>Occurrence of an object only in an object body (not in the 
      statement)</rdfs:comment>
-    <rdf:type rdf:resource="#Occurrence"/>
+    <rdf:type rdf:resource="#Position"/>
 </rdfs:Class>
 
 <!-- Properties -->
@@ -115,14 +128,14 @@ CIC XML files, contained in the tree that has the dir as root </rdfs:comment>
 
 <rdf:Property rdf:ID="constrId">
     <rdfs:domain rdf:resource="#StatementId"/>
-    <rdfs:range rdf:resource="http://www.w3.org/2000/01/rdf-schema#Literal"/>
+    <rdfs:range rdf:resource="&hthns;HelmID"/>
 </rdf:Property>
 
 <rdf:Property rdf:ID="listId">
     <rdfs:comment>List of all ids in the domain</rdfs:comment>
     <rdfs:domain rdf:resource="#StatementId"/>
     <rdfs:domain rdf:resource="#BodyId"/>
-    <rdfs:range rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#Seq"/>
+    <rdfs:range rdf:resource="&rdfns;Seq"/>
 </rdf:Property>
 
 <rdf:Property rdf:ID="bodyId">
@@ -151,7 +164,7 @@ CIC XML files, contained in the tree that has the dir as root </rdfs:comment>
 <rdf:Property rdf:ID="listImplArg">
     <rdfs:comment>List of implicit arguments</rdfs:comment>
     <rdfs:domain rdf:resource="#ImplArg"/>
-    <rdfs:range rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#Seq"/>
+    <rdfs:range rdf:resource="&rdfns;Seq"/>
 </rdf:Property>
 
 <rdf:Property rdf:ID="backPointer">
@@ -160,6 +173,19 @@ CIC XML files, contained in the tree that has the dir as root </rdfs:comment>
     <rdfs:range rdf:resource="#Occurrence"/>
 </rdf:Property>
 
+<rdf:Property rdf:ID="occurrence">
+    <rdfs:comment>URI of an object</rdfs:comment>
+    <rdfs:domain rdf:resource="#Occurrence"/>
+    <rdfs:range rdf:resource="&hthns;HelmURI"/>
+</rdf:Property>
+
+<rdf:Property rdf:ID="position">
+    <rdfs:comment>Position of an occurrence</rdfs:comment>
+    <rdfs:domain rdf:resource="#Occurrence"/>
+    <rdfs:range rdf:resource="#Position"/>
+</rdf:Property>
+
+
 <rdf:Property rdf:ID="postit">
     <rdfs:comment>Postit</rdfs:comment>
     <rdfs:domain rdf:resource="#Object"/>
@@ -169,14 +195,14 @@ CIC XML files, contained in the tree that has the dir as root </rdfs:comment>
 <rdf:Property rdf:ID="content">
     <rdfs:comment>Content of a Postit</rdfs:comment>
     <rdfs:domain rdf:resource="#Postit"/>
-    <rdfs:range rdf:resource="http://www.w3.org/2000/01/rdf-schema#Literal"/>
+    <rdfs:range rdf:resource="&xschemans;string"/>
 </rdf:Property>
 
 <rdf:Property rdf:ID="refersTo">
     <rdfs:comment>Identifies the object fragment (Xpointer) which Postit
 refers to</rdfs:comment>
-    <rdfs:domain rdf:resource="#Postit"/>
-    <rdfs:range rdf:resource="http://www.w3.org/2000/01/rdf-schema#Literal"/>
+    <rdfs:domain rdf:resource="&hthns;HelmURI"/>
+    <rdfs:range rdf:resource="&rdfsns;Literal"/>
 </rdf:Property>
 
 </rdf:RDF>
diff --git a/helm/schemas/schema-hth.rdf b/helm/schemas/schema-hth.rdf
index 6953b0e5a..110bf62fd 100644
--- a/helm/schemas/schema-hth.rdf
+++ b/helm/schemas/schema-hth.rdf
@@ -3,10 +3,20 @@
 <!-- Rdf Schema definition for theory files:
 xmlns:hth="http://www.cs.unibo.it/~schena/schema-hth.rdf#" -->
 
+<!DOCTYPE rdf:RDF [
+        <!ENTITY rdfns 'http://www.w3.org/1999/02/22-rdf-syntax-ns#'>
+        <!ENTITY rdfsns 'http://www.w3.org/2000/01/rdf-schema#'>
+        <!ENTITY dcns 'http://www.cs.unibo.it/~schena/dces#'>
+        <!ENTITY dcqns 'http://www.cs.unibo.it/~schena/dcq#'>
+        <!ENTITY xschemans 'http://www.w3.org/1999/XMLSchema-datatypes#'>
+   ]>
+
 <rdf:RDF xml:lang="en"
-       xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
-       xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
-       xmlns:dc="http://www.cs.unibo.it/~schena/dublin_core.rdf#">
+       xmlns:rdf="&rdfns;"
+       xmlns:rdfs="&rdfsns;"
+       xmlns:dc="&dcns;"
+       xmlns:dcq="&dcqns;"
+       xmlns:xs="&xschemans;">
 
 <!-- RICORDA: aggiungi commento anche a proprieta' e istanze -->
 <!-- RICORDA: studiare tipi di dato (invece di Literal) -->
@@ -18,7 +28,7 @@ xmlns:hth="http://www.cs.unibo.it/~schena/schema-hth.rdf#" -->
 
 <rdfs:Class rdf:ID="MathResource">
      <rdfs:comment>Mathematical resource</rdfs:comment>
-     <rdfs:subClassOf rdf:resource="http://www.w3.org/2000/01/rdf-schema#Resource"/>
+     <rdfs:subClassOf rdf:resource="&rdfsns;Resource"/>
 </rdfs:Class>
 
 <rdfs:Class rdf:ID="Theory">
@@ -30,43 +40,53 @@ xmlns:hth="http://www.cs.unibo.it/~schena/schema-hth.rdf#" -->
      <rdfs:comment>Theory item represented by: axiom, fact, definition, theorem, lemma, corollary, variable, specified by a XPath expression </rdfs:comment>
 </rdfs:Class>
 
-<rdfs:Class rdf:ID="ResourceFormat">
-     <rdfs:comment>File format of a mathematical resource (possible values of the 
-Dublin Core property Format)</rdfs:comment>
+<rdfs:Class rdf:ID="HelmFormat">
+     <rdfs:comment>HELM File format of a mathematical resource (possible values of the Dublin Core property Format). Possible values of its rdf:about 
+attribute can be XML.cic, XML.hol, XML.mizar. Each Helm format describes 
+a logical framework. The class dcq:IMT contains values as text/xml, text/xhtml,
+text/mml, text/ps, text/tex, text/pdf.</rdfs:comment>
+     <rdfs:subClassOf rdf:resource="&dcqns;FormatScheme"/>
+</rdfs:Class>
+
+<rdfs:Class rdf:ID="HelmURI">
+     <rdfs:comment>HELM URI of a mathematical resource</rdfs:comment>
+</rdfs:Class>
+
+<rdfs:Class rdf:ID="HelmID">
+     <rdfs:comment>HELM identifier</rdfs:comment>
 </rdfs:Class>
 
-<rdfs:Class rdf:ID="ResourceType">
-     <rdfs:comment>Type of mathematical resource (possible values of the Dublin Core
-property Type)</rdfs:comment>
+<rdfs:Class rdf:ID="Contact">
+     <rdfs:comment>Creator contact information</rdfs:comment>
 </rdfs:Class>
 
 <!-- Added subProperties of the Property dc:relation -->
 
 <rdf:Property rdf:ID="isBasedOn">
-    <rdfs:subPropertyOf rdf:resource="http://www.cs.unibo.it/~schena/dublin_core.rdf#relation"/>
+    <rdfs:subPropertyOf rdf:resource="&dcns;relation"/>
     <rdfs:domain rdf:resource="#MathResource"/>
-    <rdfs:range rdf:resource="http://www.w3.org/2000/01/rdf-schema#Literal"/>
+    <rdfs:range rdf:resource="&rdfsns;Literal"/>
     <rdfs:comment>A relation between mathematical resources</rdfs:comment>
 </rdf:Property>
 
 <rdf:Property rdf:ID="isBasisFor">
-    <rdfs:subPropertyOf rdf:resource="http://www.cs.unibo.it/~schena/dublin_core.rdf#relation"/>
+    <rdfs:subPropertyOf rdf:resource="&dcns;relation"/>
     <rdfs:domain rdf:resource="#MathResource"/>
-    <rdfs:range rdf:resource="http://www.w3.org/2000/01/rdf-schema#Literal"/>
+    <rdfs:range rdf:resource="&rdfsns;Literal"/>
     <rdfs:comment>A relation between mathematical resources</rdfs:comment>
 </rdf:Property>
 
 <rdf:Property rdf:ID="isSourceFor">
-    <rdfs:subPropertyOf rdf:resource="http://www.cs.unibo.it/~schena/dublin_core.rdf#relation"/>
+    <rdfs:subPropertyOf rdf:resource="&dcns;relation"/>
     <rdfs:domain rdf:resource="#MathResource"/>
-    <rdfs:range rdf:resource="http://www.w3.org/2000/01/rdf-schema#Literal"/>
+    <rdfs:range rdf:resource="&rdfsns;Literal"/>
     <rdfs:comment>A relation between mathematical resources</rdfs:comment>
 </rdf:Property>
 
 <rdf:Property rdf:ID="hasSource">
-    <rdfs:subPropertyOf rdf:resource="http://www.cs.unibo.it/~schena/dublin_core.rdf#relation"/>
+    <rdfs:subPropertyOf rdf:resource="&dcns;relation"/>
     <rdfs:domain rdf:resource="#MathResource"/>
-    <rdfs:range rdf:resource="http://www.w3.org/2000/01/rdf-schema#Literal"/>
+    <rdfs:range rdf:resource="&rdfsns;Literal"/>
     <rdfs:comment>A relation between mathematical resources</rdfs:comment>
 </rdf:Property>
 
@@ -107,124 +127,14 @@ and a lemma)</rdfs:comment>
 and a theorem)</rdfs:comment>
 </rdf:Property>
 
-<!-- Text.general describes a document not of the following types. -->
-<!-- A helm theory has no type per se                              -->
-<!-- Instances of hth:ResourceType -->
-
-<rdfs:Class rdf:ID="Text.Abstract">
-    <rdf:type rdf:resource="#ResourceType"/>
-</rdfs:Class>
-
-<rdfs:Class rdf:ID="Text.Paper">
-    <rdf:type rdf:resource="#ResourceType"/>
-</rdfs:Class>
-
-<rdfs:Class rdf:ID="Text.Bibliography">
-    <rdf:type rdf:resource="#ResourceType"/>
-</rdfs:Class>
-
-<rdfs:Class rdf:ID="Text.HomePage">
-    <rdf:type rdf:resource="#ResourceType"/>
-</rdfs:Class>
-
-<rdfs:Class rdf:ID="Text.LectureNotes">
-    <rdf:type rdf:resource="#ResourceType"/>
-</rdfs:Class>
-
-<rdfs:Class rdf:ID="Text.Monograph">
-    <rdf:type rdf:resource="#ResourceType"/>
-</rdfs:Class>
-
-<rdfs:Class rdf:ID="Text.PatentSpec">
-    <rdf:type rdf:resource="#ResourceType"/>
-</rdfs:Class>
-
-<rdfs:Class rdf:ID="Text.Preprints">
-    <rdf:type rdf:resource="#ResourceType"/>
-</rdfs:Class>
-
-<rdfs:Class rdf:ID="Text.Proceedings">
-    <rdf:type rdf:resource="#ResourceType"/>
-</rdfs:Class>
-
-<rdfs:Class rdf:ID="Text.Review">
-    <rdf:type rdf:resource="#ResourceType"/>
-</rdfs:Class>
-
-<rdfs:Class rdf:ID="Text.Separatum">
-    <rdf:type rdf:resource="#ResourceType"/>
-</rdfs:Class>
-
-<rdfs:Class rdf:ID="Text.Serial">
-    <rdf:type rdf:resource="#ResourceType"/>
-</rdfs:Class>
-
-<rdfs:Class rdf:ID="Text.TechReport">
-    <rdf:type rdf:resource="#ResourceType"/>
-</rdfs:Class>
-
-<rdfs:Class rdf:ID="Text.Thesis">
-    <rdf:type rdf:resource="#ResourceType"/>
-</rdfs:Class>
-
-<rdfs:Class rdf:ID="Text.Enclosure">
-    <rdf:type rdf:resource="#ResourceType"/>
-</rdfs:Class>
-
-<rdfs:Class rdf:ID="Text.General">
-    <rdf:type rdf:resource="#ResourceType"/>
-</rdfs:Class>
-
-<rdfs:Class rdf:ID="Image">
-    <rdf:type rdf:resource="#ResourceType"/>
-</rdfs:Class>
-
-<rdfs:Class rdf:ID="Software.Exec">
-    <rdf:type rdf:resource="#ResourceType"/>
-</rdfs:Class>
-
-<rdfs:Class rdf:ID="Software.Source">
-    <rdf:type rdf:resource="#ResourceType"/>
-</rdfs:Class>
-
-<!-- NOTE: each helm format describes a logical framework -->
-<!-- Instances of hth:ResourceFormat                      -->
-
-<rdfs:Class rdf:ID="Text.xml">
-    <rdf:type rdf:resource="#ResourceFormat"/>
-</rdfs:Class>
-
-<rdfs:Class rdf:ID="Text.xhtml">
-    <rdf:type rdf:resource="#ResourceFormat"/>
-</rdfs:Class>
-
-<rdfs:Class rdf:ID="Text.mml">
-    <rdf:type rdf:resource="#ResourceFormat"/>
-</rdfs:Class>
-
-<rdfs:Class rdf:ID="Text.ps">
-    <rdf:type rdf:resource="#ResourceFormat"/>
-</rdfs:Class>
-
-<rdfs:Class rdf:ID="Text.pdf">
-    <rdf:type rdf:resource="#ResourceFormat"/>
-</rdfs:Class>
-
-<rdfs:Class rdf:ID="Text.tex">
-    <rdf:type rdf:resource="#ResourceFormat"/>
-</rdfs:Class>
-
-<rdfs:Class rdf:ID="XML.helm.cic">
-    <rdf:type rdf:resource="#ResourceFormat"/>
-</rdfs:Class>
-
-<rdfs:Class rdf:ID="XML.helm.mizar">
-    <rdf:type rdf:resource="#ResourceFormat"/>
-</rdfs:Class>
-
-<rdfs:Class rdf:ID="XML.helm.hol">
-    <rdf:type rdf:resource="#ResourceFormat"/>
-</rdfs:Class>
+<!-- Possible values of rdf:value of the dct:Text instance of dct:DCMIType,
+can be: Abstract, Paper, Bibliography, HomePage, LectureNotes, Monograph,
+PatentSpec, Preprints, Proceedings, Review, Separatum, Serial, TechReport,
+Thesis, Enclosure, General.                                               -->
+<!-- There are dct:Image and dct:Software. Possible values of rdf:value
+of the dct:Software can be: Exec, Source.                                 -->
+<!-- Text.general describes a document not of the following types.        -->
+<!-- A helm theory has no type per se                                     -->
 
 <!-- Properties -->
 
@@ -235,14 +145,14 @@ and a theorem)</rdfs:comment>
 
 <rdf:Property rdf:ID="dependence">
     <rdfs:domain rdf:resource="#TheoryItem"/>
-    <rdfs:range rdf:resource="http://www.w3.org/2000/01/rdf-schema#Literal"/>
+    <rdfs:range rdf:resource="#HelmURI"/>
 </rdf:Property>
 
 <rdf:Property rdf:ID="itemType">
     <rdfs:comment>Axiom, Fact, Definition, Theorem, Lemma, Corollary, 
 Variable. Redundant info: it is already captured by the corresponding xml data</rdfs:comment>
     <rdfs:domain rdf:resource="#TheoryItem"/>
-    <rdfs:range rdf:resource="http://www.w3.org/2000/01/rdf-schema#Literal"/>
+    <rdfs:range rdf:resource="&xschemans;string"/>
 </rdf:Property>
 
 <rdf:Property rdf:ID="label">
@@ -250,58 +160,54 @@ Variable. Redundant info: it is already captured by the corresponding xml data</
 algorithm, specification, theorem containing algorithm, verification (that the 
 implementation satisfies the specification), predicate/relation, proposition</rdfs:comment>
     <rdfs:domain rdf:resource="#TheoryItem"/>
-    <rdfs:range rdf:resource="http://www.w3.org/2000/01/rdf-schema#Literal"/>
+    <rdfs:range rdf:resource="&xschemans;string"/>
 </rdf:Property>
 
 <!-- ex. f:N->Z => N>->Z and n:Nat => n:Z -->
 <rdf:Property rdf:ID="isCoercion">
     <rdfs:comment>A Definition item can be a coercion</rdfs:comment>
     <rdfs:domain rdf:resource="#TheoryItem"/>
-    <rdfs:range rdf:resource="http://www.w3.org/2000/01/rdf-schema#Literal"/>
+    <rdfs:range rdf:resource="&xschemans;boolean"/>
 </rdf:Property>
 
 <!-- The id info is no more contained in the theory xml doc, so there isn't
 redundant info between metadata and data -->
 <rdf:Property rdf:ID="ident">
     <rdfs:domain rdf:resource="#TheoryItem"/>
-    <rdfs:range rdf:resource="http://www.w3.org/2000/01/rdf-schema#Literal"/>
+    <rdfs:range rdf:resource="#HelmID"/>
 </rdf:Property>
 
+<!-- There are also dcq:created and dcq:modified -->
 <rdf:Property rdf:ID="institution">
+    <rdfs:subPropertyOf rdf:resource="&dcns;creator"/>
     <rdfs:domain rdf:resource="#MathResource"/>
-    <rdfs:range rdf:resource="http://www.w3.org/2000/01/rdf-schema#Literal"/>
+    <rdfs:range rdf:resource="&xschemans;string"/>
 </rdf:Property>
 
 <rdf:Property rdf:ID="contact">
+    <rdfs:subPropertyOf rdf:resource="&dcns;creator"/>
     <rdfs:domain rdf:resource="#MathResource"/>
-    <rdfs:range rdf:resource="http://www.w3.org/2000/01/rdf-schema#Literal"/>
+    <rdfs:range rdf:resource="#Contact"/>
 </rdf:Property>
 
-<rdf:Property rdf:ID="firstVersion">
-    <rdfs:domain rdf:resource="#MathResource"/>
-    <rdfs:range rdf:resource="http://www.w3.org/2000/01/rdf-schema#Literal"/>
+<rdf:Property rdf:ID="email">
+    <rdfs:domain rdf:resource="#Contact"/>
+    <rdfs:range rdf:resource="&xschemans;string"/>
 </rdf:Property>
 
-<rdf:Property rdf:ID="modified">
-    <rdfs:domain rdf:resource="#MathResource"/>
-    <rdfs:range rdf:resource="http://www.w3.org/2000/01/rdf-schema#Literal"/>
+<rdf:Property rdf:ID="address">
+    <rdfs:domain rdf:resource="#Contact"/>
+    <rdfs:range rdf:resource="&xschemans;string"/>
 </rdf:Property>
 
-<!-- ATTENZIONE: si dovrebbero generare constraint che il dominio delle 
-dc properties sia hth:MathResource e che il range sia strutturato. Ma per
-fare questo e' necessario definire NUOVE proprieta' (nuovo namespace) -->
-
-<rdf:Property rdf:ID="type">
-    <rdfs:subPropertyOf rdf:resource="http://www.cs.unibo.it/~schena/dublin_core.rdf#type"/>
+<!-- HELM: Here we want to constraint an external (dc) property to a 
+particular range and domain (hth:MathResource). VRP gives a Warning when 
+(extending or modifying) constraining the range of a property defined 
+in another schema; the correct way is to specialize it with a subProperty. -->
+<!-- <rdf:Description rdf:about = "&dcns;type">
     <rdfs:domain rdf:resource="#MathResource"/>
-    <rdfs:range rdf:resource="#ResourceType"/>
-</rdf:Property>
+</rdf:Description> -->
 
-<rdf:Property rdf:ID="format">
-    <rdfs:subPropertyOf rdf:resource="http://www.cs.unibo.it/~schena/dublin_core.rdf#format"/>
-    <rdfs:domain rdf:resource="#MathResource"/>
-    <rdfs:range rdf:resource="#ResourceFormat"/>
-</rdf:Property>
 
 </rdf:RDF>