X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fschemas%2Fschema-hth.rdf;fp=helm%2Fschemas%2Fschema-hth.rdf;h=0000000000000000000000000000000000000000;hb=bb2953675ebb08267186029b18bc3fdca9c137df;hp=6c54ff9163691df2fe017470b51f8e3d07fde4cd;hpb=1cfcea66d7394a785ec439cd6b03497b276918c4;p=helm.git diff --git a/helm/schemas/schema-hth.rdf b/helm/schemas/schema-hth.rdf deleted file mode 100644 index 6c54ff916..000000000 --- a/helm/schemas/schema-hth.rdf +++ /dev/null @@ -1,280 +0,0 @@ - - - - - - - - - - - ]> - - - - - - - - - - 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 resources - - - - - - Mathematical resources represented by theories - - - - - - 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 - - - - - - HELM identifiers - - - - - 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 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 - - - - - - - Description of the kind of objects: data type, -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 - - - - - - - - - -