X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fschemas%2Fschema-hth.rdf;h=6c54ff9163691df2fe017470b51f8e3d07fde4cd;hb=a9268f8d853c99b4ae22dd7ff998f2ad9a89129b;hp=6953b0e5a2f91eee0b4b0b42410003eda4c042f5;hpb=9d25a028a1ec3f0331d417b7c0b648e8c5d622a3;p=helm.git
diff --git a/helm/schemas/schema-hth.rdf b/helm/schemas/schema-hth.rdf
index 6953b0e5a..6c54ff916 100644
--- a/helm/schemas/schema-hth.rdf
+++ b/helm/schemas/schema-hth.rdf
@@ -3,246 +3,192 @@
+
+
+
+
+
+
+ ]>
+
-
-
-
-
-
+ xmlns:rdf="&rdfns;"
+ xmlns:rdfs="&rdfsns;"
+ xmlns:dc="&dcns;"
+ xmlns:dcq="&dcqns;"
+ xmlns:xs="&xschemans;">
+
+
+
+
+
+ The HELM Element Set v0.1
+ The HELM Theory Element Set v0.1
+ The HELM Project
+ The HELM metadata vocabulary is a simple vocabulary
+ intended to facilitate discovery of mathematical resources.
+
+ English
+
+ 2001-12-12
+
+
+
- Mathematical resource
-
+ Mathematical resources
+
+
- Mathematical resource represented by a theory
+ Mathematical resources represented by theories
+
- Theory item represented by: axiom, fact, definition, theorem, lemma, corollary, variable, specified by a XPath expression
+ Theory items represented by: axiom, fact, definition, theorem, lemma, corollary, variable, specified by a XPath expression
+
+
+
+
+ HELM File formats of a mathematical resource (possible values of the Dublin Core property Format). Possible values of the 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.
+
+
+
+
+
+ HELM URIs of a mathematical resource
+
+
-
- File format of a mathematical resource (possible values of the
-Dublin Core property Format)
+
+ HELM identifiers
+
-
- Type of mathematical resource (possible values of the Dublin Core
-property Type)
+
+ Creator contact information
+
-
-
-
A relation between mathematical resources
+
+
+
+
-
-
-
A relation between mathematical resources
+
+
+
+
-
-
-
A relation between mathematical resources
+
+
+
+
-
-
-
A relation between mathematical resources
+
+
+
+
-
-
+
A dependence between theory items (for instance: between a theorem or anything else and a variable)
+
+
-
A dependence between theory items (for instance: between a variable and
a theorem or anything else)
+
+
-
A dependence between theory items (for instance: between a theorem and
-a corollary)
+a corollary)
+
+
-
A dependence between theory items (for instance: between a corollary
and a theorem). Alternatively: IsResultOf
+
+
-
A dependence between theory items (for instance: between a theorem
and a lemma)
+
+
-
A dependence between theory items (for instance: between a lemma
and a theorem)
+
+
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+ Theory item
+
+ Dependence between theory items
-
+
+
Axiom, Fact, Definition, Theorem, Lemma, Corollary,
Variable. Redundant info: it is already captured by the corresponding xml data
-
+
+
@@ -250,65 +196,85 @@ 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
-
+
+
A Definition item can be a coercion
-
+
+
+ Identifier of a theory item
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+ Any additional information about the first version of the
+mathematical resource
+
-
+
+ Any additional information about the modified version of the
+mathematical resource
+
-
+
-
-
-
-
+
+ Affiliated institution of the creator of the mathematical
+resource
+
-
+
+
-
-
+
+ Contact of the creator of the mathematical
+resource
+
-
+
+
-
-
-
-
-
+
+ E-mail of the creator of the mathematical
+resource
+
+
+
+
+
+ Address of the creator of the mathematical
+resource
+
+
+
+
+
+
+