<!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#'>
+ <!ENTITY hns 'http://www.cs.unibo.it/~schena/schema-h.rdf#'>
+ <!ENTITY dcns 'http://www.cs.unibo.it/~schena/dces#'>
]>
<rdf:RDF xml:lang="en"
xmlns:rdf="&rdfns;"
xmlns:rdfs="&rdfsns;"
xmlns:hth="&hthns;"
- xmlns:xs="&xschemans;">
+ xmlns:xs="&xschemans;"
+ xmlns:dc="&dcns;">
-
-<!-- RICORDA: aggiungi commento anche a proprieta' e istanze -->
-<!-- RICORDA: studiare tipi di dato (invece di Literal) -->
-<!-- RICORDA: specificare i contenuti dei dc elements -->
-<!-- RICORDA: aggiungi euler properties -->
<!-- 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 -->
-<!-- RICORDA: definire soprattutto i metadati da inserire a mano -->
+
+<!-- Description of Schema -->
+
+<rdf:Description rdf:about="&hns;">
+ <rdf:value>The HELM Element Set v0.1</rdf:value>
+ <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/"/>
+ <dc:date>2001-12-12</dc:date>
+</rdf:Description>
+
<!-- Classes -->
<rdfs:Class rdf:ID="Object">
- <rdfs:comment>Mathematical object represented by a CIC XML
+ <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: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: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:ID="Statement">
- <rdfs:comment>Type of the object</rdfs:comment>
+ <rdfs:comment>Types of objects</rdfs:comment>
+ <rdfs:isDefinedBy rdf:resource = "&hns;" />
</rdfs:Class>
<rdfs:Class rdf:ID="Body">
- <rdfs:comment>Term of the object</rdfs:comment>
+ <rdfs:comment>Terms of objects</rdfs:comment>
+ <rdfs:isDefinedBy rdf:resource = "&hns;" />
</rdfs:Class>
<rdfs:Class rdf:ID="Occurrence">
- <rdfs:comment>Occurrence of an object inside an object</rdfs:comment>
+ <rdfs:comment>Occurrences of an object inside an object</rdfs:comment>
+ <rdfs:isDefinedBy rdf:resource = "&hns;" />
</rdfs:Class>
<rdfs:Class rdf:ID="Position">
- <rdfs:comment>Position of an occurrence of an object inside an object</rdfs:comment>
+ <rdfs:comment>Positions of occurrences of an object inside an object</rdfs:comment>
+ <rdfs:isDefinedBy rdf:resource = "&hns;" />
</rdfs:Class>
<rdfs:Class rdf:ID="Postit">
<rdfs:comment>Additional information associated to fragments of the objects</rdfs:comment>
+ <rdfs:isDefinedBy rdf:resource = "&hns;" />
</rdfs:Class>
<rdfs:Class rdf:ID="Const">
- <rdfs:comment>Constant in the body of an object</rdfs:comment>
+ <rdfs:comment>Constants in the body of an object</rdfs:comment>
+ <rdfs:isDefinedBy rdf:resource = "&hns;" />
</rdfs:Class>
<rdfs:Class rdf:ID="StatementId">
- <rdfs:comment>Ids in the statement</rdfs:comment>
+ <rdfs:comment>Identifiers in the statement</rdfs:comment>
+ <rdfs:isDefinedBy rdf:resource = "&hns;" />
</rdfs:Class>
<rdfs:Class rdf:ID="BodyId">
- <rdfs:comment>Ids in the body</rdfs:comment>
+ <rdfs:comment>Identifiers in the body</rdfs:comment>
+ <rdfs:isDefinedBy rdf:resource = "&hns;" />
</rdfs:Class>
<rdfs:Class rdf:ID="ImplArg">
<rdfs:comment>Implicit arguments</rdfs:comment>
+ <rdfs:isDefinedBy rdf:resource = "&hns;" />
</rdfs:Class>
<!-- Instances of the class h:Position -->
<rdfs:Class rdf:ID="MainHypothesis">
- <rdfs:comment>Occurrence of an object in head position of some hypothesis
+ <rdfs:comment>Occurrences of an object in head position of some hypothesis
of an object statement</rdfs:comment>
<rdf:type rdf:resource="#Position"/>
+ <rdfs:isDefinedBy rdf:resource = "&hns;" />
</rdfs:Class>
<rdfs:Class rdf:ID="InHypothesis">
- <rdfs:comment>Occurrence of an object in the hypotheses of an object
+ <rdfs:comment>Occurrences of an object in the hypotheses of an object
statement</rdfs:comment>
<rdf:type rdf:resource="#Position"/>
+ <rdfs:isDefinedBy rdf:resource = "&hns;" />
</rdfs:Class>
<rdfs:Class rdf:ID="MainConclusion">
- <rdfs:comment>Occurrence of an object in head position of the
+ <rdfs:comment>Occurrences of an object in head position of the
conclusion of an object statement</rdfs:comment>
<rdf:type rdf:resource="#Position"/>
+ <rdfs:isDefinedBy rdf:resource = "&hns;" />
</rdfs:Class>
<rdfs:Class rdf:ID="InConclusion">
- <rdfs:comment>Occurrence of an object in the conclusion of an object
+ <rdfs:comment>Occurrences of an object in the conclusion of an object
statement</rdfs:comment>
<rdf:type rdf:resource="#Position"/>
+ <rdfs:isDefinedBy rdf:resource = "&hns;" />
</rdfs:Class>
<rdfs:Class rdf:ID="InBody">
- <rdfs:comment>Occurrence of an object only in an object body (not in the
+ <rdfs:comment>Occurrences of an object only in an object body (not in the
statement)</rdfs:comment>
<rdf:type rdf:resource="#Position"/>
+ <rdfs:isDefinedBy rdf:resource = "&hns;" />
</rdfs:Class>
<!-- Properties -->
<rdf:Property rdf:ID="statement">
+ <rdfs:comment>Statement</rdfs:comment>
<rdfs:domain rdf:resource="#Object"/>
<rdfs:range rdf:resource="#Statement"/>
+ <rdfs:isDefinedBy rdf:resource = "&hns;" />
</rdf:Property>
<rdf:Property rdf:ID="body">
+ <rdfs:comment>Body</rdfs:comment>
<rdfs:domain rdf:resource="#Object"/>
<rdfs:range rdf:resource="#Body"/>
+ <rdfs:isDefinedBy rdf:resource = "&hns;" />
</rdf:Property>
<rdf:Property rdf:ID="statementId">
+ <rdfs:comment>Statement identifier</rdfs:comment>
<rdfs:domain rdf:resource="#Statement"/>
<rdfs:range rdf:resource="#StatementId"/>
+ <rdfs:isDefinedBy rdf:resource = "&hns;" />
</rdf:Property>
<rdf:Property rdf:ID="constrId">
+ <rdfs:comment>Constructor identifier of the statement conclusion</rdfs:comment>
<rdfs:domain rdf:resource="#StatementId"/>
<rdfs:range rdf:resource="&hthns;HelmID"/>
+ <rdfs:isDefinedBy rdf:resource = "&hns;" />
</rdf:Property>
<rdf:Property rdf:ID="listId">
<rdfs:domain rdf:resource="#StatementId"/>
<rdfs:domain rdf:resource="#BodyId"/>
<rdfs:range rdf:resource="&rdfns;Seq"/>
+ <rdfs:isDefinedBy rdf:resource = "&hns;" />
</rdf:Property>
<rdf:Property rdf:ID="bodyId">
+ <rdfs:comment>Body identifier</rdfs:comment>
<rdfs:domain rdf:resource="#Body"/>
<rdfs:range rdf:resource="#BodyId"/>
+ <rdfs:isDefinedBy rdf:resource = "&hns;" />
</rdf:Property>
<rdf:Property rdf:ID="refObj">
<rdfs:comment>Reference to an object</rdfs:comment>
<rdfs:domain rdf:resource="#Object"/>
<rdfs:range rdf:resource="#Occurrence"/>
+ <rdfs:isDefinedBy rdf:resource = "&hns;" />
</rdf:Property>
<rdf:Property rdf:ID="constrImplArg">
<rdfs:comment>Implicit arguments of constructors</rdfs:comment>
<rdfs:domain rdf:resource="#Statement"/>
<rdfs:range rdf:resource="#ImplArg"/>
+ <rdfs:isDefinedBy rdf:resource = "&hns;" />
</rdf:Property>
<rdf:Property rdf:ID="objImplArg">
<rdfs:comment>Implicit arguments of objects</rdfs:comment>
<rdfs:domain rdf:resource="#Object"/>
<rdfs:range rdf:resource="#ImplArg"/>
+ <rdfs:isDefinedBy rdf:resource = "&hns;" />
</rdf:Property>
<rdf:Property rdf:ID="listImplArg">
<rdfs:comment>List of implicit arguments</rdfs:comment>
<rdfs:domain rdf:resource="#ImplArg"/>
<rdfs:range rdf:resource="&rdfns;Seq"/>
+ <rdfs:isDefinedBy rdf:resource = "&hns;" />
</rdf:Property>
<rdf:Property rdf:ID="backPointer">
<rdfs:comment>Backwards pointer: who points the object</rdfs:comment>
<rdfs:domain rdf:resource="#Object"/>
<rdfs:range rdf:resource="#Occurrence"/>
+ <rdfs:isDefinedBy rdf:resource = "&hns;" />
</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"/>
+ <rdfs:isDefinedBy rdf:resource = "&hns;" />
</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"/>
+ <rdfs:isDefinedBy rdf:resource = "&hns;" />
</rdf:Property>
<rdfs:comment>Postit</rdfs:comment>
<rdfs:domain rdf:resource="#Object"/>
<rdfs:range rdf:resource="#Postit"/>
+ <rdfs:isDefinedBy rdf:resource = "&hns;" />
</rdf:Property>
<rdf:Property rdf:ID="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:ID="refersTo">
<rdfs:comment>Identifies the object fragment (Xpointer) which Postit
refers to</rdfs:comment>
- <rdfs:domain rdf:resource="&hthns;HelmURI"/>
- <rdfs:range rdf:resource="&rdfsns;Literal"/>
+ <rdfs:domain rdf:resource="#Postit"/>
+ <rdfs:range rdf:resource="&hthns;HelmURI"/>
+ <rdfs:isDefinedBy rdf:resource = "&hns;" />
</rdf:Property>
-</rdf:RDF>
-
-
-
-
-
-
-
-
+</rdf:RDF>
\ No newline at end of file
projects / helm.git / blobdiff