--- /dev/null
+<?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:hth="&hthns;"
+ xmlns:h="&hns;"
+ xmlns:xs="&xschemans;"
+ xmlns:dc="&dcns;"
+ xmlns:dcq="&dcqns;">
+
+<!-- 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 -->
+
+<!-- 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://ww.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 = "&hthns;" />
+</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 -->
+
+<h:Position 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="&rdfsns;Class"/>
+ <rdfs:isDefinedBy rdf:resource = "&hns;" />
+</h:Position>
+
+<h:Position rdf:about="InHypothesis">
+ <rdfs:comment>Occurrences of an object in the hypotheses of an object
+ statement</rdfs:comment>
+ <rdf:type rdf:resource="&rdfsns;Class"/>
+ <rdfs:isDefinedBy rdf:resource = "&hns;" />
+</h:Position>
+
+<h:Position 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="&rdfsns;Class"/>
+ <rdfs:isDefinedBy rdf:resource = "&hns;" />
+</h:Position>
+
+<h:Position rdf:about="&hns;InConclusion">
+ <rdfs:comment>Occurrences of an object in the conclusion of an object
+ statement</rdfs:comment>
+ <rdf:type rdf:resource="&rdfsns;Class"/>
+ <rdfs:isDefinedBy rdf:resource = "&hns;" />
+</h:Position>
+
+<h:Position 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="&rdfsns;Class"/>
+ <rdfs:isDefinedBy rdf:resource = "&hns;" />
+</h:Position>
+
+<!-- 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;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;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"/>
+ <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="&hthns;HelmURI"/>
+ <rdfs:isDefinedBy rdf:resource = "&hns;" />
+</rdf:Property>
+
+</rdf:RDF>
\ No newline at end of file
projects / helm.git / blobdiff