X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2Fschemas%2Fschema-h;fp=helm%2Fschemas%2Fschema-h;h=0000000000000000000000000000000000000000;hp=c852385f4364bd53f50aa80e12210ef158f99a26;hb=3ef089a4c58fbe429dd539af6215991ecbe11ee2;hpb=1c7fb836e2af4f2f3d18afd0396701f2094265ff

diff --git a/helm/schemas/schema-h b/helm/schemas/schema-h
deleted file mode 100644
index c852385f4..000000000
--- a/helm/schemas/schema-h
+++ /dev/null
@@ -1,272 +0,0 @@
-<?xml version="1.0"?>
-
-<!-- Rdf Schema definition for CIC XML files:
-xmlns:h="http://www.cs.unibo.it/~schena/schema-h#" -->
-
-<!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#'>
-        <!ENTITY hns 'http://www.cs.unibo.it/~schena/schema-h#'>
-        <!ENTITY xschemans 'http://www.w3.org/1999/XMLSchema-datatypes#'>
-        <!ENTITY dcns 'http://www.cs.unibo.it/~schena/dces#'>
-        <!ENTITY dcqns 'http://www.cs.unibo.it/~schena/dcq#'>
-   ]>
-
-<rdf:RDF xml:lang="en"
-       xmlns:rdf="&rdfns;"
-       xmlns:rdfs="&rdfsns;"
-       xmlns:xs="&xschemans;"
-       xmlns:dc="&dcns;"
-       xmlns:dcq="&dcqns;"
-       xmlns:hth="&hthns;">
-
-<!-- RICORDA: metadati solo su oggetto (come teoria ma piu' specifici) (non 
-distinzione tipi di body) e non ridondanze se non riducono il numero di doc 
-da parsare  -->
-
-<!-- Versione con rdf:parseType="resource" per le proprieta' strutturate
-     refObj e backPointer. Il valore di occurrence e' solo di tipo URI. -->
-
-<!-- Description of Schema -->
-	
-<rdf:Description rdf:about="&hns;">
-  <rdfs:label>The HELM Element Set v0.1</rdfs:label>
-  <dc:title>The HELM Object Element Set v0.1</dc:title>
-  <dc:publisher>The HELM Project</dc:publisher>
-  <dc:description>The HELM metadata vocabulary is a simple vocabulary
-      intended to facilitate discovery of mathematical resources. 
-  </dc:description>
-  <dc:language>English</dc:language>
-  <dc:relation rdf:resource="http://www.cs.unibo.it/helm/"/>
-  <dcq:isRequiredBy rdf:resource="&hns;"/>
-  <dcq:conformsTo rdf:resource="http://www.w3.org/RDF/"/>
-  <dcq:issued>2000-6-3</dcq:issued>
-  <dcq:modified>2002-9-6</dcq:modified>
-  <rdfs:isDefinedBy rdf:resource = "&hns;" />
-</rdf:Description>
-
-
-<!-- Classes -->
-
-<rdfs:Class rdf:about="&hns;Object">
-     <rdfs:comment>Mathematical objects represented by a CIC XML 
-file</rdfs:comment>
-     <rdfs:subClassOf rdf:resource="&hthns;MathResource"/>
-     <rdfs:isDefinedBy rdf:resource = "&hns;" />
-</rdfs:Class>
-
-<!-- Objects can inherit its dc properties -->
-<rdfs:Class rdf:about="&hns;DirectoryOfObjects">
-     <rdfs:comment>Mathematical resources (directories) represented by sets 
-of CIC XML files, contained in the tree that has the dir as root </rdfs:comment>
-     <rdfs:subClassOf rdf:resource="&hthns;MathResource"/>
-     <rdfs:isDefinedBy rdf:resource = "&hns;" />
-</rdfs:Class>
-
-<rdfs:Class rdf:about="&hns;Statement">
-     <rdfs:comment>Types of objects</rdfs:comment>
-     <rdfs:isDefinedBy rdf:resource = "&hns;" />
-</rdfs:Class>
-
-<rdfs:Class rdf:about="&hns;Body">
-     <rdfs:comment>Terms of objects</rdfs:comment>
-     <rdfs:isDefinedBy rdf:resource = "&hns;" />
-</rdfs:Class>
-
-<!--<rdfs:Class rdf:about="&hns;Occurrence">
-     <rdfs:comment>Occurrences of an object inside an object</rdfs:comment>
-     <rdfs:isDefinedBy rdf:resource = "&hns;" />
-</rdfs:Class>-->
-
-<rdfs:Class rdf:about="&hns;Position">
-     <rdfs:comment>Positions of occurrences of an object inside an object</rdfs:comment>
-     <rdfs:isDefinedBy rdf:resource = "&hns;" />
-</rdfs:Class>
-
-<rdfs:Class rdf:about="&hns;Postit">
-     <rdfs:comment>Additional information associated to fragments of the objects</rdfs:comment>
-     <rdfs:isDefinedBy rdf:resource = "&hns;" />
-</rdfs:Class>
-
-<rdfs:Class rdf:about="&hns;Const">
-     <rdfs:comment>Constants in the body of an object</rdfs:comment>
-     <rdfs:isDefinedBy rdf:resource = "&hns;" />
-</rdfs:Class>
-
-<rdfs:Class rdf:about="&hns;StatementId">
-     <rdfs:comment>Identifiers in the statement</rdfs:comment>
-     <rdfs:isDefinedBy rdf:resource = "&hns;" />
-</rdfs:Class>
-
-<rdfs:Class rdf:about="&hns;BodyId">
-     <rdfs:comment>Identifiers in the body</rdfs:comment>
-     <rdfs:isDefinedBy rdf:resource = "&hns;" />
-</rdfs:Class>
-
-<rdfs:Class rdf:about="&hns;ImplArg">
-     <rdfs:comment>Implicit arguments</rdfs:comment>
-     <rdfs:isDefinedBy rdf:resource = "&hns;" /> 
-</rdfs:Class>
-
-<!-- Instances of the class h:Position -->
-
-<rdfs:Class rdf:about="&hns;MainHypothesis">
-    <rdfs:comment>Occurrences of an object in head position of some hypothesis 
-     of an object statement</rdfs:comment>
-    <rdf:type rdf:resource="&hns;Position"/>
-    <rdfs:isDefinedBy rdf:resource = "&hns;" />
-</rdfs:Class>
-
-<rdfs:Class rdf:about="&hns;InHypothesis">
-    <rdfs:comment>Occurrences of an object in the hypotheses of an object 
-     statement</rdfs:comment>
-    <rdf:type rdf:resource="&hns;Position"/>
-    <rdfs:isDefinedBy rdf:resource = "&hns;" />
-</rdfs:Class>
-
-<rdfs:Class rdf:about="&hns;MainConclusion">
-    <rdfs:comment>Occurrences of an object in head position of the 
-     conclusion of an object statement</rdfs:comment>
-    <rdf:type rdf:resource="&hns;Position"/>
-    <rdfs:isDefinedBy rdf:resource = "&hns;" />
-</rdfs:Class>
-
-<rdfs:Class rdf:about="&hns;InConclusion">
-    <rdfs:comment>Occurrences of an object in the conclusion of an object
-     statement</rdfs:comment>  
-    <rdf:type rdf:resource="&hns;Position"/>
-    <rdfs:isDefinedBy rdf:resource = "&hns;" />
-</rdfs:Class>
-
-<rdfs:Class rdf:about="&hns;InBody">
-    <rdfs:comment>Occurrences of an object only in an object body (not in the 
-     statement)</rdfs:comment>
-    <rdf:type rdf:resource="&hns;Position"/>
-    <rdfs:isDefinedBy rdf:resource = "&hns;" />
-</rdfs:Class>
-
-<!-- Properties -->
-
-<rdf:Property rdf:about="&hns;statement">
-    <rdfs:comment>Statement</rdfs:comment>
-    <rdfs:domain rdf:resource="&hns;Object"/>
-    <rdfs:range rdf:resource="&hns;Statement"/>
-    <rdfs:isDefinedBy rdf:resource = "&hns;" />
-</rdf:Property>
-
-<rdf:Property rdf:about="&hns;body">
-    <rdfs:comment>Body</rdfs:comment>
-    <rdfs:domain rdf:resource="&hns;Object"/>
-    <rdfs:range rdf:resource="&hns;Body"/>
-    <rdfs:isDefinedBy rdf:resource = "&hns;" />
-</rdf:Property>
-
-<rdf:Property rdf:about="&hns;statementId">
-    <rdfs:comment>Statement identifier</rdfs:comment>
-    <rdfs:domain rdf:resource="&hns;Statement"/>
-    <rdfs:range rdf:resource="&hns;StatementId"/>
-    <rdfs:isDefinedBy rdf:resource = "&hns;" />
-</rdf:Property>
-
-<rdf:Property rdf:about="&hns;constrId">
-    <rdfs:comment>Constructor identifier of the statement conclusion</rdfs:comment>
-    <rdfs:domain rdf:resource="&hns;StatementId"/>
-    <rdfs:range rdf:resource="&hthns;HelmID"/>
-    <rdfs:isDefinedBy rdf:resource = "&hns;" />
-</rdf:Property>
-
-<rdf:Property rdf:about="&hns;listId">
-    <rdfs:comment>List of all ids in the domain</rdfs:comment>
-    <rdfs:domain rdf:resource="&hns;StatementId"/>
-    <rdfs:domain rdf:resource="&hns;BodyId"/>
-    <rdfs:range rdf:resource="&rdfns;Seq"/>
-    <rdfs:isDefinedBy rdf:resource = "&hns;" />
-</rdf:Property>
-
-<rdf:Property rdf:about="&hns;bodyId">
-    <rdfs:comment>Body identifier</rdfs:comment>
-    <rdfs:domain rdf:resource="&hns;Body"/>
-    <rdfs:range rdf:resource="&hns;BodyId"/>
-    <rdfs:isDefinedBy rdf:resource = "&hns;" />
-</rdf:Property>
-
-<rdf:Property rdf:about="&hns;refObj">
-    <rdfs:comment>Reference to an object</rdfs:comment>
-    <rdfs:domain rdf:resource="&hns;Object"/>
-<!--    <rdfs:range rdf:resource="&hns;Occurrence"/>-->
-    <rdfs:isDefinedBy rdf:resource = "&hns;" />
-</rdf:Property>
-
-<rdf:Property rdf:about="&hns;occurrence">
-    <rdfs:comment>Position of an occurrence</rdfs:comment>
-<!--    <rdfs:domain rdf:resource="&hns;Occurrence"/>-->
-    <rdfs:range rdf:resource="&hns;Object"/>
-    <rdfs:isDefinedBy rdf:resource = "&hns;" />
-</rdf:Property>
-
-<rdf:Property rdf:about="&hns;constrImplArg">
-    <rdfs:comment>Implicit arguments of constructors</rdfs:comment>
-    <rdfs:domain rdf:resource="&hns;Statement"/>
-    <rdfs:range rdf:resource="&hns;ImplArg"/>
-    <rdfs:isDefinedBy rdf:resource = "&hns;" />
-</rdf:Property>
-
-<rdf:Property rdf:about="&hns;objImplArg">
-    <rdfs:comment>Implicit arguments of objects</rdfs:comment>
-    <rdfs:domain rdf:resource="&hns;Object"/>
-    <rdfs:range rdf:resource="&hns;ImplArg"/>
-    <rdfs:isDefinedBy rdf:resource = "&hns;" />
-</rdf:Property>
-
-<rdf:Property rdf:about="&hns;listImplArg">
-    <rdfs:comment>List of implicit arguments</rdfs:comment>
-    <rdfs:domain rdf:resource="&hns;ImplArg"/>
-    <rdfs:range rdf:resource="&rdfns;Seq"/>
-    <rdfs:isDefinedBy rdf:resource = "&hns;" />
-</rdf:Property>
-
-<rdf:Property rdf:about="&hns;backPointer">
-    <rdfs:comment>Backwards pointer: who points the object</rdfs:comment>
-    <rdfs:domain rdf:resource="&hns;Object"/>
-<!--    <rdfs:range rdf:resource="&hns;Occurrence"/> -->
-    <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"/>-->
-    <rdfs:range rdf:resource="&hns;Position"/>
-    <rdfs:isDefinedBy rdf:resource = "&hns;" />
-</rdf:Property>
-
-<rdf:Property rdf:about="&hns;postit">
-    <rdfs:comment>Postit</rdfs:comment>
-    <rdfs:domain rdf:resource="&hns;Object"/>
-    <rdfs:range rdf:resource="&hns;Postit"/>
-    <rdfs:isDefinedBy rdf:resource = "&hns;" />
-</rdf:Property>
-
-<rdf:Property rdf:about="&hns;content">
-    <rdfs:comment>Content of a Postit</rdfs:comment>
-    <rdfs:domain rdf:resource="#Postit"/>
-    <rdfs:range rdf:resource="&xschemans;string"/>
-    <rdfs:isDefinedBy rdf:resource = "&hns;" />
-</rdf:Property>
-
-<rdf:Property rdf:about="&hns;refersTo">
-    <rdfs:comment>Identifies the object fragment (Xpointer) which Postit
-refers to</rdfs:comment>
-    <rdfs:domain rdf:resource="&hns;Postit"/>
-    <rdfs:range rdf:resource="&hns;Object"/>
-    <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