--- /dev/null
+<?xml version="1.0"?>
+
+<!-- HELM: OLD URL OF SCHEMAS: VRP gives errors -->
+<!--<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
+ xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
+WRONG xmlns:dc="http://dublincore.org/2000/03/13-dces#"
+WRONG xmlns:eor="http://dublincore.org/2000/03/13-eor#"
+ADDED http://dublincore.org/2000/03/13-dcagent>-->
+
+<!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 dcns 'http://www.cs.unibo.it/~schena/dces#'>
+ <!ENTITY dcqns 'http://www.cs.unibo.it/~schena/dcq#'>
+ <!ENTITY eorns 'http://www.cs.unibo.it/~schena/eor#'>
+ <!ENTITY dcagentns 'http://www.cs.unibo.it/~schena/13-dcagent#'>
+ <!ENTITY dctypens 'http://www.cs.unibo.it/~schena/dctype#'>
+ ]>
+
+<rdf:RDF xmlns:rdf="&rdfns;"
+ xmlns:rdfs="&rdfsns;"
+ xmlns:dc="&dcns;"
+ xmlns:dcq="&dcqns;"
+ xmlns:eor="&eorns;"
+ xmlns:dct="&dctypens;">
+
+<!-- Description of Schema -->
+
+<eor:Schema rdf:about="&dcagentns;">
+ <!-- dumb down rule... use rdf:value for a simple default name -->
+ <rdf:value>The Dublin Core Agent Core Vocabulary</rdf:value>
+ <dc:title>The Dublin Core Agent Core Vocabulary</dc:title>
+ <dc:creator>The Dublin Core Metadata Initiative</dc:creator>
+ <dc:description>The Dublin Core metadata vocabulary is a simple vocabulary
+ intended to facilitate the discovery and description of agents.</dc:description>
+ <dc:language>English</dc:language>
+ <dc:date>2000-03-13</dc:date>
+</eor:Schema>
+
+<!-- HELM: added # to every internal resource reference
+ every eor:note is eor:comment -->
+
+<!-- Begin: Agent Declaration -->
+
+<!-- addition DC Vocabulary range declarations -->
+<!-- HELM: Here we want to constraint an external property to a particular
+range. VRP gives a Warning when (extending or modifying) constraining the
+range of a property defined in another schema. -->
+<!-- (NOTE: rdf:about was rdf:ID)
+<rdf:Description rdf:about = "&dcns;contributor">
+ <rdfs:range rdf:resource = "Agent" />
+</rdf:Description>
+
+<rdf:Description rdf:about = "&dcns;creator">
+ <rdfs:range rdf:resource = "Agent" />
+</rdf:Description>
+
+<rdf:Description rdf:about = "&dcns;publisher">
+ <rdfs:range rdf:resource = "Agent" />
+</rdf:Description>-->
+
+
+<!-- Class declaration -->
+
+<rdfs:Class rdf:ID = "Agent">
+ <rdfs:label>Agent</rdfs:label>
+ <rdfs:comment>An agent</rdfs:comment>
+<!-- HELM: now Resource is DCMIType
+<rdfs:subClassOf rdf:resource = "http://dublincore.org/2000/03/13-dctype#Resource" />-->
+ <rdfs:subClassOf rdf:resource = "&dctypens;DCMIType" />
+ <rdfs:isDefinedBy rdf:resource = "&dcagentns;" />
+</rdfs:Class>
+
+<rdfs:Class rdf:ID = "Person">
+ <rdfs:label>Person</rdfs:label>
+ <rdfs:comment>An individual human.</rdfs:comment>
+ <rdfs:subClassOf rdf:resource = "#Agent" />
+ <rdfs:isDefinedBy rdf:resource = "&dcagentns;" />
+</rdfs:Class>
+
+<rdfs:Class rdf:ID = "Organization">
+ <rdfs:label>Organization</rdfs:label>
+ <rdfs:comment>A group that that acts as an agent. Typical examples of organizations are associations, institutions, business firms, nonprofit enterprises, governments, government agencies, cultural groups, and religious bodies.</rdfs:comment>
+ <rdfs:subClassOf rdf:resource = "#Agent" />
+ <rdfs:isDefinedBy rdf:resource = "&dcagentns;" />
+</rdfs:Class>
+
+<rdfs:Class rdf:ID = "Event">
+ <rdfs:label>Event</rdfs:label>
+ <rdfs:comment>A non-persistent and time-based activity that acts as an agent. Typical examples of events are conferences, conventions, meetings, exhibitions, expositions ,festivals, athletic contests, workshops, and expeditions.</rdfs:comment>
+ <eor:comment>Name change and relation defined due to overlap with Event declaration from dc:type work... not sure how best to handle this... </eor:comment>
+ <rdfs:subClassOf rdf:resource = "#Agent" />
+ <rdfs:isDefinedBy rdf:resource = "&dcagentns;" />
+</rdfs:Class>
+
+<rdfs:Class rdf:ID = "Object">
+ <rdfs:label>Object</rdfs:label>
+ <rdfs:comment>A device that acts as an agent. Typical examples of objects are mechanical instruments, electronic services, non-human entities, and appliances.</rdfs:comment>
+ <rdfs:subClassOf rdf:resource = "#Agent" />
+ <rdfs:isDefinedBy rdf:resource = "&dcagentns;" />
+</rdfs:Class>
+
+<!-- Properties associated with Classes -->
+
+<rdf:Property rdf:ID = "agentName">
+ <rdfs:label>Agent Name</rdfs:label>
+ <rdfs:comment>The formal or common name of the Agent</rdfs:comment>
+ <eor:comment>Typically, this would be the name which is used to refer to the Agent. The Family Name First Encoding Value Qualifier may also be used to express the order of the components of the Name. Vocabularies of Names may also be used as values for this qualifier. </eor:comment>
+ <rdfs:domain rdf:resource = "#Agent" />
+ <rdfs:range rdf:resource = "#NameScheme" />
+ <rdfs:isDefinedBy rdf:resource = "&dcagentns;" />
+</rdf:Property>
+
+<!-- Encoding Scheme declarations for Name -->
+
+<rdfs:Class rdf:ID = "NameScheme">
+ <rdfs:label>Name Encoding Schemes</rdfs:label>
+ <rdfs:comment>A set of name encoding schemes and/or formats.</rdfs:comment>
+ <rdfs:isDefinedBy rdf:resource = "&dcagentns;" />
+</rdfs:Class>
+
+<rdfs:Class rdf:ID = "FNF">
+ <rdfs:label>DCMI Family Name First</rdfs:label>
+ <rdfs:comment>The DCMI encoding rule in which the family name of the Agent appears first, followed by a comma, then all other names.</rdfs:comment>
+ <rdfs:subClassOf rdf:resource = "#NameScheme" />
+ <rdfs:seeAlso rdf:resource = "http://www.mailbase.ac.uk/lists/dc-agents/files/wd-agent-qual.html" />
+ <rdfs:isDefinedBy rdf:resource = "&dcagentns;" />
+</rdfs:Class>
+
+
+<!-- Agent Affiliation -->
+
+<rdf:Property rdf:ID = "agentAffiliation">
+ <rdfs:label>Agent Affiliation</rdfs:label>
+ <rdfs:comment>The organization with which the named Agent was associated when involved with the resource</rdfs:comment>
+ <rdfs:domain rdf:resource = "#Agent" />
+ <rdfs:isDefinedBy rdf:resource = "&dcagentns;" />
+</rdf:Property>
+
+<!-- Agent Indetifier -->
+
+<rdf:Property rdf:ID = "agentID">
+ <rdfs:label>Agent Identifier</rdfs:label>
+ <rdfs:comment>An unambiguous reference to the named Agent within a given context.</rdfs:comment>
+ <eor:comment>Recommended best practice is to identify the named Agent
+by means of a string or number conforming to a formal identification
+system. The recommended Encoding Value Qualifier is the Uniform
+Resource Identifier. In some cases, the Agent Identifier may provide
+or lead to more information about the named Agent.</eor:comment>
+ <eor:comment>This seems very wrong to me... again this seems like a syntactic mechansim for uniqly identifying some resource... this requirement is neccessary for all resource description and should be common (e.g. RDF)</eor:comment>
+ <rdfs:domain rdf:resource = "#Agent" />
+ <rdfs:range rdf:resource = "&dcqns;IdentifierScheme" />
+ <rdfs:isDefinedBy rdf:resource = "&dcagentns;" />
+</rdf:Property>
+
+<!-- Agent Type -->
+
+<rdf:Property rdf:ID = "agentType">
+ <rdfs:label>Agent Type</rdfs:label>
+ <rdfs:comment>The type of the entity for the named Agent.</rdfs:comment>
+ <eor:comment>The values are defined in the DC Agent Type vocabulary (referred to as DCAT1) which is maintained by the DCMI. Other terms may be used but are not recommended.</eor:comment>
+ <rdfs:domain rdf:resource = "#Agent" />
+ <rdfs:isDefinedBy rdf:resource = "&dcagentns;" />
+</rdf:Property>
+
+
+<!-- End: Agent Declaration -->
+
+</rdf:RDF>
--- /dev/null
+<?xml version="1.0"?>
+
+<!-- HELM: OLD URL OF SCHEMAS: VRP gives errors -->
+<!--<rdf:RDF xml:lang="en"
+ xmlns:rdf = "http://www.w3.org/1999/02/22-rdf-syntax-ns#"
+ xmlns:rdfs = "http://www.w3.org/2000/01/rdf-schema#"
+ xmlns:eor = "http://dublincore.org/2000/03/13-eor#"
+ xmlns:dc = "http://dublincore.org/2000/03/13-dces#"
+ADDED xmlns:euler = "http://wip.dublincore.org/2000/11/21-euler#"
+ADDED xmlns:dcag = "http://dublincore.org/2000/03/13-dcagent#">-->
+
+<!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 dcns 'http://www.cs.unibo.it/~schena/dces#'>
+ <!ENTITY eorns 'http://www.cs.unibo.it/~schena/eor#'>
+ <!ENTITY dcagentns 'http://www.cs.unibo.it/~schena/13-dcagent#'>
+ <!ENTITY eulerns 'http://www.cs.unibo.it/~schena/21-euler#'>
+ ]>
+
+<rdf:RDF xmlns:rdf="&rdfns;"
+ xmlns:rdfs="&rdfsns;"
+ xmlns:dc="&dcns;"
+ xmlns:eor="&eorns;"
+ xmlns:dcag="&dcagentns;">
+
+<!-- Description of Schema -->
+
+<eor:Schema rdf:about="&eulerns;">
+ <rdf:value>The EULER namespace v1.0</rdf:value>
+ <dc:title>The EULER namespace v1.0</dc:title>
+ <dc:creator> Manjula Patel </dc:creator>
+ <dc:creator> Eric Miller </dc:creator>
+ <dc:publisher>The SCHEMAS Project</dc:publisher>
+ <dc:description>Semantic declarations for supporting EULER</dc:description>
+ <dc:language>English</dc:language>
+ <dc:date>2000-11-21</dc:date>
+</eor:Schema>
+
+<!-- HELM: added # to every internal resource reference -->
+
+<!-- Note: I (emiller@oclc.org ) would suggests *not* modeling
+personal & corporate more along the lines of
+http://dublincore.org/2000/03/13-agents in terms of the entity
+declarations and http://dublincore.org/2000/03/13-marcrel in terms of
+the extra relationships between information resources and agent
+resources... I'll try and model this both ways, but given the time
+contraints, I'm going to start with the simpler and more interoperable
+way... -->
+
+<!-- in this case, EULER simply declares an additional encoding scheme for "names" -->
+
+<rdfs:Class rdf:ID = "CityName">
+ <rdfs:label>City and Name Encoding</rdfs:label>
+ <rdfs:comment>The EULER encoding rule of the following format - City [(Country)]: Name</rdfs:comment>
+<!-- HELM: 1) wrong URI
+ 2) NameScheme Class doesn't exist in dcq!
+<rdfs:subClassOf rdf:resource = "http://dublincore.org/2000/03/13-dcq#NameScheme" />-->
+ <rdfs:subClassOf rdf:resource = "&dcagentns;NameScheme" />
+<!-- HELM: wrong definition URI
+<rdfs:isDefinedBy rdf:resource = "http://dublincore.org/2000/03/13-dcagent" />-->
+ <rdfs:isDefinedBy rdf:resource = "&eulerns;" />
+</rdfs:Class>
+
+
+<rdf:Property rdf:ID="x-carrier">
+ <rdfs:label>Physical Carrier</rdfs:label>
+ <rdfs:comment>Physical carrier of information. The reason for
+applying this EULER-invented sub-field is that the end-user should be able to
+conclude if the resource described in the bibliographic record (displayed in the
+hitlist) is available online or not. Example: book (= paper) -is the physical
+description (compared to monograph which is an entity, irrespective of how it is
+'delivered', in a printed version (paper) or in a file). The physical
+[...] manifestation of the resource. Typically, Format may include the
+media-type or dimensions of the resource. Format may be used to determine the
+software, hardware or other equipment needed to display or operate the
+resource. Examples of dimensions include size and duration.</rdfs:comment>
+ <rdfs:range rdf:resource = "#CarrierTypes" />
+<!-- HELM: 1) wrong URI
+ 2) format doesn't exist in dcq!
+<rdfs:subPropertyOf rdf:resource = "http://dublincore.org/2000/03/13-dcq#format" /> -->
+ <rdfs:subPropertyOf rdf:resource = "&dcns;format" />
+ <rdfs:isDefinedBy rdf:resource = "&eulerns;" />
+</rdf:Property>
+
+<rdfs:Class rdf:ID = "CarrierTypes">
+ <rdfs:label>Carrier Types</rdfs:label>
+ <rdfs:comment>Types of EULER Carriers</rdfs:comment>
+ <rdfs:isDefinedBy rdf:resource = "&eulerns;" />
+</rdfs:Class>
+
+<rdfs:Class rdf:ID = "PrintedMaterial">
+ <rdfs:label>printed material</rdfs:label>
+ <rdfs:comment>printed material</rdfs:comment>
+ <rdfs:subClassOf rdf:resource = "#CarrierTypes" />
+ <rdfs:isDefinedBy rdf:resource = "&eulerns;" />
+</rdfs:Class>
+
+<rdfs:Class rdf:ID="HandWrittenMaterial">
+ <rdfs:label>hand-written material</rdfs:label>
+ <rdfs:comment>hand-written material</rdfs:comment>
+ <rdfs:subClassOf rdf:resource = "#CarrierTypes" />
+ <rdfs:isDefinedBy rdf:resource = "&eulerns;"/>
+</rdfs:Class>
+
+<rdfs:Class rdf:ID="CDROM">
+ <rdfs:label>cdrom</rdfs:label>
+ <rdfs:comment>cdrom</rdfs:comment>
+ <rdfs:subClassOf rdf:resource = "#CarrierTypes" />
+ <rdfs:isDefinedBy rdf:resource = "&eulerns;" />
+</rdfs:Class>
+
+<rdfs:Class rdf:ID="DVD">
+ <rdfs:label>dvd</rdfs:label>
+ <rdfs:comment>dvd</rdfs:comment>
+ <rdfs:subClassOf rdf:resource = "#CarrierTypes" />
+ <rdfs:isDefinedBy rdf:resource = "&eulerns;" />
+</rdfs:Class>
+
+<rdfs:Class rdf:ID="Slide">
+ <rdfs:label>(dia)slide</rdfs:label>
+ <rdfs:comment>(dia)slide</rdfs:comment>
+ <rdfs:subClassOf rdf:resource = "#CarrierTypes" />
+ <rdfs:isDefinedBy rdf:resource = "&eulerns;" />
+</rdfs:Class>
+
+<rdfs:Class rdf:ID="Diskette">
+ <rdfs:label>diskette</rdfs:label>
+ <rdfs:comment>diskette</rdfs:comment>
+ <rdfs:subClassOf rdf:resource = "#CarrierTypes" />
+ <rdfs:isDefinedBy rdf:resource = "&eulerns;"/>
+</rdfs:Class>
+
+<rdfs:Class rdf:ID="Film">
+ <rdfs:label>film</rdfs:label>
+ <rdfs:comment>film</rdfs:comment>
+ <rdfs:subClassOf rdf:resource = "#CarrierTypes" />
+ <rdfs:isDefinedBy rdf:resource = "&eulerns;" />
+</rdfs:Class>
+
+<rdfs:Class rdf:ID="Audio">
+ <rdfs:label>audio</rdfs:label>
+ <rdfs:comment>audio</rdfs:comment>
+ <rdfs:subClassOf rdf:resource = "#CarrierTypes" />
+ <rdfs:isDefinedBy rdf:resource = "&eulerns;" />
+</rdfs:Class>
+
+<rdfs:Class rdf:ID="Microfiche">
+ <rdfs:label>microfiche</rdfs:label>
+ <rdfs:comment>microfiche</rdfs:comment>
+ <rdfs:subClassOf rdf:resource = "#CarrierTypes" />
+ <rdfs:isDefinedBy rdf:resource = "&eulerns;" />
+</rdfs:Class>
+
+<rdfs:Class rdf:ID="Microfilm">
+ <rdfs:label>microfilm</rdfs:label>
+ <rdfs:comment>microfilm</rdfs:comment>
+ <rdfs:subClassOf rdf:resource = "#CarrierTypes" />
+ <rdfs:isDefinedBy rdf:resource = "&eulerns;" />
+</rdfs:Class>
+
+<rdfs:Class rdf:ID="Video">
+ <rdfs:label>video</rdfs:label>
+ <rdfs:comment>video</rdfs:comment>
+ <rdfs:subClassOf rdf:resource = "#CarrierTypes" />
+ <rdfs:isDefinedBy rdf:resource = "&eulerns;" />
+</rdfs:Class>
+
+<rdfs:Class rdf:ID="Object">
+ <rdfs:label>object</rdfs:label>
+ <rdfs:comment>object</rdfs:comment>
+ <rdfs:subClassOf rdf:resource = "#CarrierTypes" />
+ <rdfs:isDefinedBy rdf:resource = "&eulerns;" />
+</rdfs:Class>
+
+<rdfs:Class rdf:ID="Internet">
+ <rdfs:label>internet</rdfs:label>
+ <rdfs:comment>internet</rdfs:comment>
+ <rdfs:subClassOf rdf:resource = "#CarrierTypes" />
+ <rdfs:isDefinedBy rdf:resource = "&eulerns;" />
+</rdfs:Class>
+
+<rdfs:Class rdf:ID="MediaCombination">
+ <rdfs:label>media combination</rdfs:label>
+ <rdfs:comment>media combination</rdfs:comment>
+ <rdfs:subClassOf rdf:resource = "#CarrierTypes" />
+ <rdfs:isDefinedBy rdf:resource = "&eulerns;" />
+</rdfs:Class>
+
+
+<rdf:Property rdf:ID="x-metadata-created">
+ <rdfs:label>Metadata Creation Date</rdfs:label>
+ <rdfs:comment>Date of the creation of the original metadata record.
+ YYYY=Year, MM=month, DD=day. Use "01" for unknown MM or DD. Useful for
+ SDI services</rdfs:comment>
+<!-- HELM: 1) wrong URI
+ 2) date doesn't exist in dcq!
+<rdfs:subPropertyOf rdf:resource = "http://dublincore.org/2000/03/13-dcq#date" />-->
+ <rdfs:subPropertyOf rdf:resource = "&dcns;date" />
+ <rdfs:isDefinedBy rdf:resource = "&eulerns;" />
+</rdf:Property>
+
+<rdf:Property rdf:ID="identifier">
+ <rdfs:label>EULER identifier</rdfs:label>
+ <rdfs:comment>An unambiguous reference to the resource within a given
+context: The purpose of this field is to identify the resource in other
+ways than those provided by the other fields. This can be serial name, page-,
+issue- or volume-numbers for journal articles or similar. (Can be used
+differently in different databases, e.g. ISO 4-1984) </rdfs:comment>
+<!-- HELM: 1) wrong URI
+ 2) identifier doesn't exist in dcq!
+<rdfs:subPropertyOf rdf:resource = "http://dublincore.org/2000/03/13-dcq#identifier" />-->
+ <rdfs:subPropertyOf rdf:resource = "&dcns;identifier" />
+ <rdfs:isDefinedBy rdf:resource = "&eulerns;" />
+</rdf:Property>
+
+<rdf:Property rdf:ID="fullText">
+ <rdfs:label>Full Text</rdfs:label>
+ <rdfs:comment>The fulltext of web-pages and other resources available as a whole</rdfs:comment>
+ <rdfs:isDefinedBy rdf:resource = "&eulerns;" />
+</rdf:Property>
+
+<rdf:Property rdf:ID="eventLocation">
+ <rdfs:label>Event location</rdfs:label>
+ <rdfs:comment>Location of event for/at which the resource described in the record was
+created</rdfs:comment>
+ <rdfs:isDefinedBy rdf:resource = "&eulerns;" />
+</rdf:Property>
+
+<rdf:Property rdf:ID="eventDate">
+ <rdfs:label>Event Date</rdfs:label>
+ <rdfs:comment>Date of event for/at which the resource described in the record was created</rdfs:comment>
+ <rdfs:isDefinedBy rdf:resource = "&eulerns;" />
+</rdf:Property>
+
+<rdf:Property rdf:ID="eventName">
+ <rdfs:label>Event Name</rdfs:label>
+ <rdfs:comment>Name of event where document was created</rdfs:comment>
+ <rdfs:isDefinedBy rdf:resource = "&eulerns;" />
+</rdf:Property>
+
+<rdf:Property rdf:ID="recordSource">
+ <rdfs:label>Record Source</rdfs:label>
+ <rdfs:comment>The source for the record i.e. describes which information
+ provider has delivered the record.
+ </rdfs:comment>
+ <rdfs:isDefinedBy rdf:resource = "&eulerns;" />
+</rdf:Property>
+
+<rdf:Property rdf:ID="recordSourceIdentifier">
+ <rdfs:label>Record Source URL</rdfs:label>
+ <rdfs:comment>Identifier of source record for the description delivered in EULER. URL
+ pointing back to the original record at information providers' site. </rdfs:comment>
+<!-- HELM: 1) wrong URI
+ 2) source doesn't exist in dcq!
+<rdfs:subPropertyOf rdf:resource = "http://dublincore.org/2000/03/13-dcq#source" />-->
+ <rdfs:subPropertyOf rdf:resource = "&dcns;source" />
+ <rdfs:isDefinedBy rdf:resource = "&eulerns;" />
+</rdf:Property>
+
+<rdf:Property rdf:ID="recordCreator">
+ <rdfs:label>Record Creator</rdfs:label>
+ <rdfs:comment>Creator of the record (describing the resource), e.g. a reviewer</rdfs:comment>
+ <rdfs:isDefinedBy rdf:resource = "&eulerns;" />
+</rdf:Property>
+
+<rdf:Property rdf:ID="delivery">
+ <rdfs:label>Address for delivery information</rdfs:label>
+ <rdfs:comment>Meant to give the URL to the library where the resource described in the
+record can be acquired. (Pointer to online-order forms etc.)</rdfs:comment>
+ <rdfs:isDefinedBy rdf:resource = "&eulerns;" />
+</rdf:Property>
+
+<rdf:Property rdf:ID="deliveryDescription">
+ <rdfs:label>Additional retrieve/delivery information</rdfs:label>
+ <rdfs:comment>Additional information that a user and a local library need to
+retrieve/deliver the resource described in the record. </rdfs:comment>
+ <rdfs:isDefinedBy rdf:resource = "&eulerns;" />
+</rdf:Property>
+
+</rdf:RDF>
--- /dev/null
+<?xml version="1.0"?>
+
+<!--
+ RDF Schema declaration for the Dublin Core Element Set 1.1
+ 2001/08/14
+ comments, etc. to webteam <dcmi-feedback@dublincore.org>
+-->
+
+<!-- HELM: OLD URL OF SCHEMAS: VRP gives errors -->
+<!--<!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 dcns 'http://purl.org/dc/elements/1.1/'>
+ <!ENTITY eorns 'http://dublincore.org/2000/03/13/eor#'>
+ ]>-->
+
+<!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 dcns 'http://www.cs.unibo.it/~schena/dces#'>
+ <!ENTITY eorns 'http://www.cs.unibo.it/~schena/eor#'>
+ ]>
+
+<rdf:RDF xmlns:rdf="&rdfns;"
+ xmlns:rdfs="&rdfsns;"
+ xmlns:dc="&dcns;"
+ xmlns:eor="&eorns;">
+
+
+<!-- Description of Schema -->
+
+<eor:Schema rdf:about="&dcns;">
+ <rdf:value>The Dublin Core Element Set v1.1</rdf:value>
+ <dc:title>The Dublin Core Element Set v1.1</dc:title>
+ <dc:publisher>The Dublin Core Metadata Initiative</dc:publisher>
+ <dc:description>The Dublin Core metadata vocabulary is a simple vocabulary
+ intended to facilitate discovery of resources. </dc:description>
+ <dc:language>English</dc:language>
+ <dc:relation rdf:resource="http://dublincore.org/documents/dces/"/>
+ <dc:date>2000-07-02</dc:date>
+</eor:Schema>
+
+<!-- HELM: every declaration has the rdf:ID = "name" instead of
+ rdf:about = "&dctypens;name" -->
+
+<!-- Begin: Title Declaration -->
+
+<rdf:Property rdf:ID = "title">
+ <rdfs:label>Title</rdfs:label>
+ <rdfs:comment>A name given to the resource.</rdfs:comment>
+ <eor:comment>Typically, a Title will be a name by which the resource
+ is formally known.</eor:comment>
+ <rdfs:isDefinedBy rdf:resource = "&dcns;" />
+</rdf:Property>
+
+<rdf:Property rdf:ID = "contributor">
+ <rdfs:label>Contributor</rdfs:label>
+ <rdfs:comment>An entity responsible for making contributions to the
+ content of the resource.</rdfs:comment>
+ <eor:comment>Examples of a Contributor include a person, an
+ organisation, or a service. Typically, the name of a Contributor
+ should be used to indicate the entity.</eor:comment>
+ <rdfs:isDefinedBy rdf:resource = "&dcns;" />
+</rdf:Property>
+
+<rdf:Property rdf:ID = "creator">
+ <rdfs:label>Author/Creator</rdfs:label>
+ <rdfs:comment>An entity primarily responsible for making the content
+ of the resource.</rdfs:comment>
+ <eor:comment> Examples of a Creator include a person, an
+ organisation, or a service. Typically, the name of a Creator should
+ be used to indicate the entity.</eor:comment>
+ <rdfs:isDefinedBy rdf:resource = "&dcns;" />
+</rdf:Property>
+
+<rdf:Property rdf:ID = "publisher">
+ <rdfs:label>Publisher</rdfs:label>
+ <rdfs:comment>An entity responsible for making the resource
+ available.</rdfs:comment>
+ <eor:comment> Examples of a Publisher include a person, an
+ organisation, or a service. Typically, the name of a Publisher
+ should be used to indicate the entity.</eor:comment>
+ <rdfs:isDefinedBy rdf:resource = "&dcns;" />
+</rdf:Property>
+
+<rdf:Property rdf:ID = "subject">
+ <rdfs:label>Subject</rdfs:label>
+ <rdfs:comment>The topic of the content of the resource.</rdfs:comment>
+ <eor:comment> Typically, a Subject will be expressed as keywords,
+ key phrases or classification codes that describe a topic of the
+ resource. Recommended best practice is to select a value from a
+ controlled vocabulary or formal classification scheme.</eor:comment>
+ <rdfs:isDefinedBy rdf:resource = "&dcns;" />
+</rdf:Property>
+
+<rdf:Property rdf:ID = "description">
+ <rdfs:label>Description</rdfs:label>
+ <rdfs:comment>An account of the content of the resource.</rdfs:comment>
+ <rdfs:isDefinedBy rdf:resource = "&dcns;" />
+</rdf:Property>
+
+<rdf:Property rdf:ID = "date">
+ <rdfs:label>Date</rdfs:label>
+ <rdfs:comment>A date associated with an event in the life cycle of
+ the resource.</rdfs:comment>
+ <eor:comment>Typically, Date will be associated with the creation or
+ availability of the resource. Recommended best practice for
+ encoding the date value is defined in a profile of ISO 8601 [W3CDTF]
+ and follows the YYYY-MM-DD format.</eor:comment>
+ <rdfs:isDefinedBy rdf:resource = "&dcns;" />
+</rdf:Property>
+
+<rdf:Property rdf:ID = "type">
+ <rdfs:label>Resource Type</rdfs:label>
+ <rdfs:comment>The nature or genre of the content of the
+ resource.</rdfs:comment>
+ <rdfs:isDefinedBy rdf:resource = "&dcns;" />
+</rdf:Property>
+
+<rdf:Property rdf:ID = "format">
+ <rdfs:label>Format</rdfs:label>
+ <rdfs:comment>The physical or digital manifestation of the
+ resource.</rdfs:comment>
+ <eor:comment> Typically, Format may include the media-type or
+ dimensions of the resource. Format may be used to determine the
+ software, hardware or other equipment needed to display or operate
+ the resource. Examples of dimensions include size and duration.
+ Recommended best practice is to select a value from a controlled
+ vocabulary (for example, the list of Internet Media Types [MIME]
+ defining computer media formats).</eor:comment>
+ <rdfs:isDefinedBy rdf:resource = "&dcns;" />
+</rdf:Property>
+
+<rdf:Property rdf:ID = "identifier">
+ <rdfs:label>Resource Identifier</rdfs:label>
+ <rdfs:comment>An unambiguous reference to the resource within a
+ given context.</rdfs:comment>
+ <eor:comment>Recommended best practice is to identify the resource
+ by means of a string or number conforming to a formal identification
+ system. Example formal identification systems include the Uniform
+ Resource Identifier (URI) (including the Uniform Resource Locator
+ (URL)), the Digital Object Identifier (DOI) and the International
+ Standard Book Number (ISBN).</eor:comment>
+ <rdfs:isDefinedBy rdf:resource = "&dcns;" />
+</rdf:Property>
+
+<rdf:Property rdf:ID = "language">
+ <rdfs:label>Language</rdfs:label>
+ <rdfs:comment> A language of the intellectual content of the
+ resource.</rdfs:comment>
+ <eor:comment> Recommended best practice for the values of the
+ Language element is defined by RFC 1766 [RFC1766] which includes a
+ two-letter Language Code (taken from the ISO 639 standard [ISO639]),
+ followed optionally, by a two-letter Country Code (taken from the
+ ISO 3166 standard [ISO3166]). For example, 'en' for English, 'fr'
+ for French, or 'en-uk' for English used in the United
+ Kingdom.</eor:comment>
+ <rdfs:isDefinedBy rdf:resource = "&dcns;" />
+</rdf:Property>
+
+<rdf:Property rdf:ID = "relation">
+ <rdfs:label>Relation</rdfs:label>
+ <rdfs:comment> A reference to a related resource.</rdfs:comment>
+ <eor:comment> Recommended best practice is to reference the resource
+ by means of a string or number conforming to a formal identification
+ system.</eor:comment>
+ <rdfs:isDefinedBy rdf:resource = "&dcns;" />
+</rdf:Property>
+
+<rdf:Property rdf:ID = "source">
+ <rdfs:label>Source</rdfs:label>
+ <rdfs:comment>A Reference to a resource from which the present
+ resource is derived.</rdfs:comment>
+ <eor:comment> The present resource may be derived from the Source
+ resource in whole or in part. Recommended best practice is to
+ reference the resource by means of a string or number conforming to
+ a formal identification system.</eor:comment>
+ <rdfs:isDefinedBy rdf:resource = "&dcns;" />
+</rdf:Property>
+
+<rdf:Property rdf:ID = "coverage">
+ <rdfs:label>Coverage</rdfs:label>
+ <rdfs:comment> The extent or scope of the content of the
+ resource.</rdfs:comment>
+ <eor:comment>Coverage will typically include spatial location (a
+ place name or geographic coordinates), temporal period (a period
+ label, date, or date range) or jurisdiction (such as a named
+ administrative entity). Recommended best practice is to select a
+ value from a controlled vocabulary (for example, the Thesaurus of
+ Geographic Names [TGN]) and that, where appropriate, named places or
+ time periods be used in preference to numeric identifiers such as
+ sets of coordinates or date ranges.</eor:comment>
+ <rdfs:isDefinedBy rdf:resource = "&dcns;" />
+</rdf:Property>
+
+<rdf:Property rdf:ID = "rights">
+ <rdfs:label>Rights</rdfs:label>
+ <rdfs:comment> Information about rights held in and over the
+ resource.</rdfs:comment>
+ <eor:comment> Typically, a Rights element will contain a rights
+ management statement for the resource, or reference a service
+ providing such information. Rights information often encompasses
+ Intellectual Property Rights (IPR), Copyright, and various Property
+ Rights. If the Rights element is absent, no assumptions can be made
+ about the status of these and other rights with respect to the
+ resource.</eor:comment>
+ <rdfs:isDefinedBy rdf:resource = "&dcns;" />
+</rdf:Property>
+
+</rdf:RDF>
--- /dev/null
+<?xml version="1.0"?>
+
+<!--
+ RDF Schema declaration for the Qualified Dublin Core Element Set
+ 2001/08/14
+ comments, etc. to webteam <dcmi-feedback@dublincore.org>
+-->
+
+<!-- HELM: OLD URL OF SCHEMAS: VRP gives errors -->
+<!-- <!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 dcns 'http://purl.org/dc/elements/1.1/'>
+ <!ENTITY dcqns 'http://purl.org/dc/terms/'>
+ <!ENTITY eorns 'http://dublincore.org/2000/03/13/eor#'>
+ ]>-->
+
+<!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 dcns 'http://www.cs.unibo.it/~schena/dces#'>
+ <!ENTITY dcqns 'http://www.cs.unibo.it/~schena/dcq#'>
+ <!ENTITY eorns 'http://www.cs.unibo.it/~schena/eor#'>
+ ]>
+
+<rdf:RDF xmlns:rdf="&rdfns;"
+ xmlns:rdfs="&rdfsns;"
+ xmlns:dc="&dcns;"
+ xmlns:dcq="&dcqns;"
+ xmlns:eor="&eorns;">
+
+<!-- Description of Schema -->
+
+<eor:Schema rdf:about="&dcqns;">
+ <rdf:value>The Dublin Core Element Set Qualifier Vocabulary</rdf:value>
+ <dc:title>The Dublin Core Element Set Qualifier Vocabulary</dc:title>
+ <dc:publisher>The Dublin Core Metadata Initiative</dc:publisher>
+ <dc:description>The Dublin Core Element Set Qualifier Vocabulary is
+ an richer vocabulary
+ intended to facilitate discovery of resources. </dc:description>
+ <dc:language>English</dc:language>
+ <dc:relation rdf:resource="http://dublincore.org/documents/dcmes-qualifiers/"/>
+ <dc:date>2000-07-11</dc:date>
+</eor:Schema>
+
+<!-- HELM: every declaration has the rdf:ID = "name" instead of
+ rdf:about = "&dcqns;name" -->
+
+
+<!-- Begin: Title -->
+
+<!-- Title refinement declarations -->
+
+<rdf:Property rdf:ID = "alternative">
+ <rdfs:label>Alternative</rdfs:label>
+ <rdfs:comment>Any form of the title used as a substitute or
+ alternative to the formal title of the resource.</rdfs:comment>
+ <eor:comment>This qualifier can include Title abbreviations as well as translations.</eor:comment>
+ <rdfs:subPropertyOf rdf:resource =
+ "&dcns;title" />
+ <rdfs:isDefinedBy rdf:resource = "&dcqns;" />
+</rdf:Property>
+
+<!-- End: Title Declaration -->
+
+
+<!-- Begin: Subject -->
+
+<!-- Subject refinement declarations -->
+
+<rdf:Property rdf:ID = "classification">
+ <rdfs:label>Classification</rdfs:label>
+ <rdfs:comment>Subject identified by notation (code) taken from a
+ controlled classification scheme.</rdfs:comment>
+ <eor:comment>The name of the controlled classification scheme from
+ which the classification is derived should always be identified as a
+ value qualifier Existing resource discovery implementations treat
+ classification notation (codes) differently to 'words' describing
+ `subject. Typically notation is used to create a browsing structure
+ whereas words are not, notation is not displayed in retrieved lists
+ whereas 'subject words' are displayed. It is important for software
+ to precisely recognise notations as different from 'subject
+ words'. Looking for numeric strings cannot be relied on as notations
+ may be alphanumeric so it is useful to identify them by means of a
+ qualifier. It is unrealistic to expect software to identify
+ notations as such by means of the value qualifier for subject, as
+ there is a potentially huge list of value qualifiers which cover
+ subject headings, and thesauri as well as classification
+ notations. </eor:comment>
+ <rdfs:subPropertyOf rdf:resource =
+ "&dcns;subject" />
+ <rdfs:isDefinedBy rdf:resource = "&dcqns;" />
+</rdf:Property>
+
+<!-- Subject range declarations -->
+<!-- HELM: Here we want to constraint an external property to a particular
+range. VRP gives a Warning when (extending or modifying) constraining the
+range of a property defined in another schema. -->
+<!-- <rdf:Description rdf:about = "&dcns;subject">
+ <rdfs:range rdf:resource = "#SubjectScheme" />
+</rdf:Description>-->
+
+<!-- Encoding Scheme declarations -->
+
+<rdfs:Class rdf:ID = "SubjectScheme">
+ <rdfs:label>Subject Encoding Schemes</rdfs:label>
+ <rdfs:comment>A set of subject encoding schemes and/or formats</rdfs:comment>
+ <rdfs:isDefinedBy rdf:resource = "&dcqns;" />
+</rdfs:Class>
+
+<rdfs:Class rdf:ID = "LCSH">
+ <rdfs:label>LCSH</rdfs:label>
+ <rdfs:comment>Library of Congress Subject Headings</rdfs:comment>
+ <rdfs:subClassOf rdf:resource = "#SubjectScheme" />
+ <rdfs:isDefinedBy rdf:resource = "&dcqns;" />
+</rdfs:Class>
+
+<rdfs:Class rdf:ID = "LCC">
+ <rdfs:label>LCC</rdfs:label>
+ <rdfs:comment>Library of Congress Classification</rdfs:comment>
+ <rdfs:subClassOf rdf:resource = "#SubjectScheme" />
+ <rdfs:isDefinedBy rdf:resource = "&dcqns;" />
+</rdfs:Class>
+
+<rdfs:Class rdf:ID = "DDC">
+ <rdfs:label>DDC</rdfs:label>
+ <rdfs:comment>Dewey Decimal Classification</rdfs:comment>
+ <rdfs:subClassOf rdf:resource = "#SubjectScheme" />
+ <rdfs:seeAlso rdf:resource = "http://www.oclc.org/fp/" />
+ <rdfs:isDefinedBy rdf:resource = "&dcqns;" />
+</rdfs:Class>
+
+<rdfs:Class rdf:ID = "UDC">
+ <rdfs:label>UDC</rdfs:label>
+ <rdfs:comment>Universal Decimal Classification</rdfs:comment>
+ <rdfs:subClassOf rdf:resource = "#SubjectScheme" />
+ <rdfs:isDefinedBy rdf:resource = "&dcqns;" />
+</rdfs:Class>
+
+<rdfs:Class rdf:ID = "MESH">
+ <rdfs:label>MeSH</rdfs:label>
+ <rdfs:comment>Medical Subject Headings</rdfs:comment>
+ <rdfs:subClassOf rdf:resource = "#SubjectScheme" />
+ <rdfs:isDefinedBy rdf:resource = "&dcqns;" />
+</rdfs:Class>
+
+<!-- End: Subject -->
+
+
+<!-- Begin: Description -->
+
+<!-- Description refinement declarations -->
+
+<rdf:Property rdf:ID = "abstract">
+ <rdfs:label>Abstract</rdfs:label>
+ <rdfs:comment>A summary of the content of the resource.</rdfs:comment>
+ <rdfs:subPropertyOf rdf:resource =
+ "&dcns;description" />
+ <rdfs:isDefinedBy rdf:resource = "&dcqns;" />
+</rdf:Property>
+
+<rdf:Property rdf:ID = "note">
+ <rdfs:label>Note</rdfs:label>
+ <rdfs:comment>Any additional information about the content of the
+ resource.</rdfs:comment>
+ <rdfs:subPropertyOf rdf:resource =
+ "&dcns;description" />
+ <rdfs:isDefinedBy rdf:resource = "&dcqns;" />
+</rdf:Property>
+
+<rdf:Property rdf:ID = "tableOfContents">
+ <rdfs:label>Table Of Contents</rdfs:label>
+ <rdfs:comment>A list of subunits of the content of the
+ resource.</rdfs:comment>
+ <rdfs:subPropertyOf rdf:resource =
+ "&dcns;description" />
+ <rdfs:isDefinedBy rdf:resource = "&dcqns;" />
+</rdf:Property>
+
+<rdf:Property rdf:ID = "release">
+ <rdfs:label>Release</rdfs:label>
+ <rdfs:comment>An identification of the edition, release or version
+ of the resource.</rdfs:comment>
+ <rdfs:subPropertyOf rdf:resource =
+ "&dcns;description" />
+ <rdfs:isDefinedBy rdf:resource = "&dcqns;" />
+</rdf:Property>
+
+<!-- End: Description -->
+
+
+<!-- Begin: Date -->
+
+<!-- Date refinement declaration -->
+
+<rdf:Property rdf:ID = "created">
+ <rdfs:label>Created</rdfs:label>
+ <rdfs:comment>Date of creation of the resource.</rdfs:comment>
+ <rdfs:subPropertyOf rdf:resource =
+ "&dcns;date" />
+ <rdfs:isDefinedBy rdf:resource = "&dcqns;" />
+</rdf:Property>
+
+<rdf:Property rdf:ID = "issued">
+ <rdfs:label>Issued</rdfs:label>
+ <rdfs:comment>Date of formal issuance (e.g., publication) of the
+ resource.</rdfs:comment>
+ <rdfs:subPropertyOf rdf:resource = "&dcns;date" />
+ <rdfs:isDefinedBy rdf:resource = "&dcqns;" />
+</rdf:Property>
+
+<rdf:Property rdf:ID = "modified">
+ <rdfs:label>Modified</rdfs:label>
+ <rdfs:comment>Date on which the resource was changed.</rdfs:comment>
+ <rdfs:subPropertyOf rdf:resource =
+ "&dcns;date" />
+ <rdfs:isDefinedBy rdf:resource =
+ "&dcqns;" /> </rdf:Property>
+
+<rdf:Property rdf:ID = "valid">
+ <rdfs:label>Valid</rdfs:label>
+ <rdfs:comment>Date (often a range) of validity of a resource.</rdfs:comment>
+ <rdfs:subPropertyOf rdf:resource =
+ "&dcns;date" />
+ <rdfs:isDefinedBy rdf:resource = "&dcqns;" />
+</rdf:Property>
+
+<rdf:Property rdf:ID = "available">
+ <rdfs:label>Available</rdfs:label>
+ <rdfs:comment>Date (often a range) that the resource will become or
+ did become available.</rdfs:comment>
+ <rdfs:subPropertyOf rdf:resource =
+ "&dcns;date" />
+ <rdfs:isDefinedBy rdf:resource = "&dcqns;" />
+</rdf:Property>
+
+<!-- Date range declarations -->
+<!-- HELM: Here we want to constraint an external property to a particular
+range. VRP gives a Warning when (extending or modifying) constraining the
+range of a property defined in another schema. -->
+<!--<rdf:Description rdf:about = "&dcns;date">
+ <rdfs:range rdf:resource = "#DateScheme" />
+</rdf:Description>-->
+
+<!-- Encoding Schemes -->
+
+<rdfs:Class rdf:ID = "DateScheme">
+ <rdfs:label>Date Encoding Schemes</rdfs:label>
+ <rdfs:comment>A set of date encoding schemes and/or formats</rdfs:comment>
+ <rdfs:isDefinedBy rdf:resource = "&dcqns;" />
+</rdfs:Class>
+
+<rdfs:Class rdf:ID = "W3CDTF">
+ <rdfs:label>W3C-DTF</rdfs:label>
+ <rdfs:comment>W3C Encoding rules for dates and times - a profile
+ based on ISO8601 </rdfs:comment>
+ <rdfs:subClassOf rdf:resource = "#DateScheme" />
+ <rdfs:seeAlso rdf:resource = "http://www.w3.org/TR/NOTE-datetime" />
+ <rdfs:isDefinedBy rdf:resource = "&dcqns;" />
+</rdfs:Class>
+
+<rdfs:Class rdf:ID = "Period">
+ <rdfs:label>DCMI Period</rdfs:label>
+ <rdfs:comment>A specification of the limits of a time
+ interval.</rdfs:comment>
+ <rdfs:subClassOf rdf:resource = "#DateScheme" />
+ <rdfs:seeAlso rdf:resource =
+ "http://purl.org/dc/documents/rec-dcmiperiod-20000619.htm" />
+ <rdfs:isDefinedBy rdf:resource = "&dcqns;" />
+</rdfs:Class>
+
+<!-- End: Date -->
+
+
+<!-- Begin: format -->
+
+<!-- format refinement declarations -->
+
+<rdf:Property rdf:ID = "extent">
+ <rdfs:label>Extent</rdfs:label>
+ <rdfs:comment>The size or duration of the resource.</rdfs:comment>
+ <rdfs:subPropertyOf rdf:resource = "&dcns;format" />
+ <rdfs:isDefinedBy rdf:resource = "&dcqns;" />
+</rdf:Property>
+
+<rdf:Property rdf:ID = "medium">
+ <rdfs:label>Medium</rdfs:label>
+ <rdfs:comment>The material or physical carrier of the
+ resource.</rdfs:comment>
+ <rdfs:subPropertyOf rdf:resource = "&dcns;format" />
+ <rdfs:isDefinedBy rdf:resource = "&dcqns;" />
+</rdf:Property>
+
+<!-- format range declarations -->
+<!-- HELM: Here we want to constraint an external property to a particular
+range. VRP gives a Warning when (extending or modifying) constraining the
+range of a property defined in another schema. -->
+<!-- <rdf:Description rdf:about = "&dcns;format">
+ <rdfs:range rdf:resource = "#FormatScheme" />
+</rdf:Description> -->
+
+<!-- Encoding Scheme declarations -->
+
+<rdfs:Class rdf:ID = "FormatScheme">
+ <rdfs:label>Format Encoding Schemes</rdfs:label>
+ <rdfs:comment>A set of format encoding schemes.</rdfs:comment>
+ <rdfs:isDefinedBy rdf:resource = "&dcqns;" />
+</rdfs:Class>
+
+<rdfs:Class rdf:ID = "IMT">
+ <rdfs:label>IMT</rdfs:label>
+ <rdfs:comment>The Internet media type of the resource.</rdfs:comment>
+ <rdfs:subClassOf rdf:resource = "#FormatScheme" />
+ <rdfs:isDefinedBy rdf:resource = "&dcqns;" />
+ <rdfs:seeAlso rdf:resource =
+ "http://www.isi.edu/in-notes/iana/assignments/media-types/media-types"
+ /> </rdfs:Class>
+
+<!-- End: format -->
+
+
+<!-- Begin: Identifier -->
+
+<!-- Identifier refinement declarations -->
+
+<!-- Identifier range declarations -->
+<!-- HELM: Here we want to constraint an external property to a particular
+range. VRP gives a Warning when (extending or modifying) constraining the
+range of a property defined in another schema. -->
+<!--<rdf:Description rdf:about = "&dcns;identifier">
+ <rdfs:range rdf:resource = "#IdentifierScheme" />
+</rdf:Description>-->
+
+<!-- Encoding Scheme declarations -->
+
+<rdfs:Class rdf:ID = "IdentifierScheme">
+ <rdfs:label>Identifier Encoding Schemes</rdfs:label>
+ <rdfs:comment>A set of Identified encoding schemes and/or
+ formats.</rdfs:comment>
+ <rdfs:isDefinedBy rdf:resource = "&dcqns;" />
+</rdfs:Class>
+
+<rdfs:Class rdf:ID= "URI">
+ <rdfs:label>URI</rdfs:label>
+ <rdfs:comment>A URI Uniform Resource Identifier</rdfs:comment>
+ <rdfs:subClassOf rdf:resource = "#IdentifierScheme" />
+ <rdfs:seeAlso rdf:resource = "http://www.ietf.org/rfc/rfc2396.txt" />
+ <rdfs:isDefinedBy rdf:resource = "&dcqns;" />
+</rdfs:Class>
+
+<!-- End: Identifier -->
+
+
+<!-- Begin: Language -->
+
+<!-- Language refinement declarations -->
+
+<!-- Language range declarations -->
+<!-- HELM: Here we want to constraint an external property to a particular
+range. VRP gives a Warning when (extending or modifying) constraining the
+range of a property defined in another schema. -->
+<!--<rdf:Description rdf:about = "&dcns;language">
+ <rdfs:range rdf:resource = "#LanguageScheme" />
+</rdf:Description>-->
+
+<!-- Encoding Scheme declarations -->
+
+<rdfs:Class rdf:ID = "LanguageScheme">
+ <rdfs:label>Language Encoding Schemes</rdfs:label>
+ <rdfs:comment>A set of language encoding schemes and/or
+ formats.</rdfs:comment>
+ <rdfs:isDefinedBy rdf:resource = "&dcqns;" />
+</rdfs:Class>
+
+<rdfs:Class rdf:ID = "RFC1766">
+ <rdfs:label>RFC1766</rdfs:label>
+ <rdfs:comment>Internet RFC 1766 'Tags for the identification of
+ Language' specifies a two letter code taken from ISO 639, followed
+ optionally by a two letter country code taken from ISO
+ 3166.</rdfs:comment>
+ <rdfs:subClassOf rdf:resource = "#LanguageScheme" />
+ <rdfs:seeAlso rdf:resource = "http://www.ietf.org/rfc/rfc1766.txt" />
+ <rdfs:isDefinedBy rdf:resource = "&dcqns;" />
+</rdfs:Class>
+
+<rdfs:Class rdf:ID = "ISO639-2">
+ <rdfs:label>ISO 639-2</rdfs:label>
+ <rdfs:comment>ISO 639-2: Codes for the representation of names of languages.</rdfs:comment>
+ <rdfs:subClassOf rdf:resource = "#LanguageScheme" />
+ <rdfs:seeAlso rdf:resource =
+ "http://www.loc.gov/standards/iso639-2/langhome.html" />
+ <rdfs:isDefinedBy rdf:resource = "&dcqns;" />
+</rdfs:Class>
+
+<!-- End: language -->
+
+
+<!-- Begin: Relation -->
+
+<!-- Relation refinement declarations -->
+
+<rdf:Property rdf:ID = "isPartOf">
+ <rdfs:label>Is Part Of</rdfs:label>
+ <rdfs:comment>The described resource is a physical or logical part
+of the referenced resource.</rdfs:comment>
+ <rdfs:subPropertyOf rdf:resource = "&dcns;relation" />
+ <rdfs:isDefinedBy rdf:resource = "&dcqns;" />
+</rdf:Property>
+
+<rdf:Property rdf:ID = "hasPart">
+ <rdfs:label>Has Part</rdfs:label>
+ <rdfs:comment>The described resource includes the referenced
+ resource either physically or logically. </rdfs:comment>
+ <rdfs:subPropertyOf rdf:resource = "&dcns;relation" />
+ <rdfs:isDefinedBy rdf:resource = "&dcqns;" />
+</rdf:Property>
+
+<rdf:Property rdf:ID = "isVersionOf">
+ <rdfs:label>Is Version Of</rdfs:label>
+ <rdfs:comment>The described resource is a version, edition, or
+ adaptation of the referenced resource. Changes in version imply
+ substantive changes in content rather than differences in
+ format. </rdfs:comment>
+ <rdfs:subPropertyOf rdf:resource = "&dcns;relation" />
+ <rdfs:isDefinedBy rdf:resource = "&dcqns;" />
+</rdf:Property>
+
+<rdf:Property rdf:ID = "hasVersion">
+ <rdfs:label>Has Version</rdfs:label>
+ <rdfs:comment>The described resource has a version, edition, or
+ adaptation, namely, the referenced resource. </rdfs:comment>
+ <rdfs:subPropertyOf rdf:resource = "&dcns;relation" />
+ <rdfs:isDefinedBy rdf:resource = "&dcqns;" />
+</rdf:Property>
+
+<rdf:Property rdf:ID = "isFormatOf">
+ <rdfs:label>Is Format Of</rdfs:label>
+ <rdfs:comment>The described resource is the same intellectual
+ content of the referenced resource, but presented in another
+ format. </rdfs:comment>
+ <rdfs:subPropertyOf rdf:resource = "&dcns;relation" />
+ <rdfs:isDefinedBy rdf:resource = "&dcqns;" />
+</rdf:Property>
+
+<rdf:Property rdf:ID = "hasFormat">
+ <rdfs:label>Has Format</rdfs:label>
+ <rdfs:comment>The described resource pre-existed the referenced
+ resource, which is essentially the same intellectual content
+ presented in another format. </rdfs:comment>
+ <rdfs:subPropertyOf rdf:resource = "&dcns;relation" />
+ <rdfs:isDefinedBy rdf:resource = "&dcqns;" />
+</rdf:Property>
+
+<rdf:Property rdf:ID = "references">
+ <rdfs:label>References</rdfs:label>
+ <rdfs:comment>The described resource references, cites, or otherwise
+ points to the referenced resource. </rdfs:comment>
+ <rdfs:subPropertyOf rdf:resource = "&dcns;relation" />
+ <rdfs:isDefinedBy rdf:resource = "&dcqns;" />
+</rdf:Property>
+
+<rdf:Property rdf:ID = "isReferencedBy">
+ <rdfs:label>Is Referenced By</rdfs:label>
+ <rdfs:comment>The described resource is referenced, cited, or
+ otherwise pointed to by the referenced resource. </rdfs:comment>
+ <rdfs:subPropertyOf rdf:resource = "&dcns;relation" />
+ <rdfs:isDefinedBy rdf:resource = "&dcqns;" />
+</rdf:Property>
+
+<rdf:Property rdf:ID = "requires">
+ <rdfs:label>Requires</rdfs:label>
+ <rdfs:comment>The described resource requires the referenced
+ resource to support its function, delivery, or coherence of
+ content. </rdfs:comment>
+ <rdfs:subPropertyOf rdf:resource = "&dcns;relation" />
+ <rdfs:isDefinedBy rdf:resource = "&dcqns;" />
+</rdf:Property>
+
+<rdf:Property rdf:ID = "isRequiredBy">
+ <rdfs:label>Is Required By</rdfs:label>
+ <rdfs:comment>The described resource is required by the referenced
+ resource, either physically or logically. </rdfs:comment>
+ <rdfs:subPropertyOf rdf:resource = "&dcns;relation" />
+ <rdfs:isDefinedBy rdf:resource = "&dcqns;" />
+</rdf:Property>
+
+<rdf:Property rdf:ID = "replaces">
+ <rdfs:label>Replaces</rdfs:label>
+ <rdfs:comment>The described resource supplants, displaces, or
+ supersedes the referenced resource. </rdfs:comment>
+ <rdfs:subPropertyOf rdf:resource = "&dcns;relation" />
+ <rdfs:isDefinedBy rdf:resource = "&dcqns;" />
+</rdf:Property>
+
+<rdf:Property rdf:ID = "isReplacedBy">
+ <rdfs:label>Is Replaced By</rdfs:label>
+ <rdfs:comment>The described resource is supplanted, displaced, or
+ superceded by the referenced resource.</rdfs:comment>
+ <rdfs:subPropertyOf rdf:resource = "&dcns;relation" />
+ <rdfs:isDefinedBy rdf:resource = "&dcqns;" />
+</rdf:Property>
+
+<rdf:Property rdf:ID ="conformsTo">
+ <rdfs:label>ConformsTo</rdfs:label>
+ <rdfs:comment>A reference to an established standard to which the resource conforms.</rdfs:comment>
+ <rdfs:subPropertyOf rdf:resource = "&dcns;relation" />
+ <rdfs:isDefinedBy rdf:resource = "&dcqns;" />
+</rdf:Property>
+
+<!-- Relation range declarations -->
+<!-- HELM: Here we want to constraint an external property to a particular
+range. VRP gives a Warning when (extending or modifying) constraining the
+range of a property defined in another schema. -->
+<!--<rdf:Description rdf:about = "&dcns;relation">
+ <rdfs:range rdf:resource = "#IdentifierScheme" />
+</rdf:Description>-->
+
+<!-- Encoding Scheme declarations -->
+
+<!-- End: Relation -->
+
+
+<!-- Begin: coverage -->
+
+<!-- Coverage refinement declarations -->
+
+<rdf:Property rdf:ID = "spatial">
+ <rdfs:label>Spatial</rdfs:label>
+ <rdfs:comment>Spatial characteristics of the intellectual content of
+ the resoure.</rdfs:comment>
+ <rdfs:range rdf:resource = "#SpatialScheme" />
+ <rdfs:subPropertyOf rdf:resource = "&dcns;coverage" />
+ <rdfs:isDefinedBy rdf:resource = "&dcqns;" />
+</rdf:Property>
+
+<rdf:Property rdf:ID = "temporal">
+ <rdfs:label>Temporal</rdfs:label>
+ <rdfs:comment>Temporal characteristics of the intellectual content
+ of the resource.</rdfs:comment>
+ <rdfs:range rdf:resource = "#DateScheme" />
+ <rdfs:subPropertyOf rdf:resource = "&dcns;coverage" />
+ <rdfs:isDefinedBy rdf:resource = "&dcqns;" />
+</rdf:Property>
+
+<!-- Coverage range declarations -->
+
+<!-- Encoding Schemes -->
+
+<rdfs:Class rdf:ID = "SpatialScheme">
+ <rdfs:label>Place Encoding Schemes</rdfs:label>
+ <rdfs:comment>A set of geographic place encoding schemes and/or
+ formats</rdfs:comment>
+ <rdfs:isDefinedBy rdf:resource = "&dcqns;" />
+</rdfs:Class>
+
+<rdfs:Class rdf:ID = "Box">
+ <rdfs:label>DCMI Box</rdfs:label>
+ <rdfs:comment>The DCMI Box identifies a region of space using its
+ geographic limits.</rdfs:comment>
+ <rdfs:subClassOf rdf:resource = "#SpatialScheme" />
+ <rdfs:isDefinedBy rdf:resource = "&dcqns;" />
+ <rdfs:seeAlso rdf:resource =
+ "http://purl.org/dc/documents/rec-dcmibox-20000619.htm" />
+ </rdfs:Class>
+
+<rdfs:Class rdf:ID = "Point">
+ <rdfs:label>DCMI Point</rdfs:label>
+ <rdfs:comment>The DCMI Point identifies a point in space using its
+ geographic coordinates.</rdfs:comment>
+ <rdfs:subClassOf rdf:resource = "#SpatialScheme" />
+ <rdfs:isDefinedBy rdf:resource = "&dcqns;" />
+ <rdfs:seeAlso rdf:resource =
+ "http://purl.org/dc/documents/rec-dcmipoint-20000619.htm" />
+ </rdfs:Class>
+
+<rdfs:Class rdf:ID = "TGN">
+ <rdfs:label>TGN</rdfs:label>
+ <rdfs:comment>The Getty Thesaurus of Geographic Names</rdfs:comment>
+ <rdfs:subClassOf rdf:resource = "#SpatialScheme" />
+ <rdfs:isDefinedBy rdf:resource = "&dcqns;" />
+ <rdfs:seeAlso rdf:resource =
+ "http://www.gii.getty.edu/vocabulary/tgn.html" /> </rdfs:Class>
+
+<rdfs:Class rdf:ID = "DD">
+ <rdfs:label>Decimal Degrees</rdfs:label>
+ <rdfs:comment>A latitude and longitude expressed in decimal
+ degrees</rdfs:comment>
+ <rdfs:subClassOf rdf:resource = "#SpatialScheme" />
+ <rdfs:isDefinedBy rdf:resource = "&dcqns;" />
+</rdfs:Class>
+
+<rdfs:Class rdf:ID = "DMS">
+ <rdfs:label>Degrees, minutes, seconds</rdfs:label>
+ <rdfs:comment>A latitude and longitude expressed in degrees,
+ minutes, seconds.</rdfs:comment>
+ <rdfs:subClassOf rdf:resource = "#SpatialScheme" />
+ <rdfs:isDefinedBy rdf:resource = "&dcqns;" />
+</rdfs:Class>
+
+<rdfs:Class rdf:ID = "ISO3166">
+ <rdfs:label>ISO3166</rdfs:label>
+ <rdfs:comment>ISO3166 Codes for the representation of names of
+ countries</rdfs:comment>
+ <rdfs:subClassOf rdf:resource = "#SpatialScheme" />
+ <rdfs:seeAlso rdf:resource = "ftp://dkuug.dk/i18n/ISO_3166" />
+ <rdfs:isDefinedBy rdf:resource = "&dcqns;" />
+</rdfs:Class>
+
+<!-- End: coverage -->
+
+
+<!-- Begin: audience -->
+
+<rdf:Property rdf:ID = "audience">
+ <rdfs:label>Audience</rdfs:label>
+ <rdfs:comment>A class of entity for whom the resource is intended or useful.</rdfs:comment>
+ <eor:comment>A class of entity may be determined by the creator or the publisher or by a third
+ party.</eor:comment>
+ <rdfs:isDefinedBy rdf:resource = "&dcqns;" />
+</rdf:Property>
+
+<!-- audience refinement declarations -->
+
+<rdf:Property rdf:ID ="mediator">
+ <rdfs:label>Mediator</rdfs:label>
+ <rdfs:comment>A class of entity that mediates access to the resource and for whom the resource is
+ intended or useful.</rdfs:comment>
+ <eor:comment>The audience for a resource in the education/training domain are of two
+ basic classes: (1) an ultimate beneficiary of the resource (usually a student or trainee),
+ and (2) frequently, an entity that mediates access to the resource (usually a teacher or trainer).
+ The mediator element refinement represents the second of these two classes.</eor:comment>
+ <rdfs:subPropertyOf rdf:resource = "#audience" />
+ <rdfs:isDefinedBy rdf:resource = "&dcqns;" />
+</rdf:Property>
+
+<!-- End: audience -->
+
+
+<!-- HELM: Added from version 2001/03/16 -->
+
+<!-- Begin: type -->
+
+<!-- type range declarations -->
+<!-- HELM: Here we want to constraint an external property to a particular
+range. VRP gives a Warning when (extending or modifying) constraining the
+range of a property defined in another schema. -->
+<!-- <rdf:Description rdf:about = "&dcns;type">
+ <rdfs:range rdf:resource = "#TypeScheme" />
+</rdf:Description> -->
+
+<rdfs:Class rdf:ID = "TypeScheme">
+ <rdfs:label>Resource Type Encoding Schemes</rdfs:label>
+ <rdfs:comment>A set of resource type encoding schemes and/or
+formats</rdfs:comment>
+ <rdfs:isDefinedBy rdf:resource = "&dcqns;" />
+</rdfs:Class>
+
+<!-- End: type -->
+
+</rdf:RDF>
--- /dev/null
+<?xml version = "1.0"?>
+
+<!--
+ RDF Schema declaration for the Dublin Core Resource Type Vocabulary
+ 2001/03/08
+ comments, etc. to webteam <dcmi-feedback@dublincore.org>
+-->
+<!-- HELM: OLD URL OF SCHEMAS: VRP gives errors -->
+<!--<!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 dcns 'http://purl.org/dc/elements/1.1/'>
+ <!ENTITY dctypens 'http://purl.org/dc/dcmitype/'>
+ <!ENTITY eorns 'http://dublincore.org/2000/03/13/eor#'>
+ ]>-->
+
+<!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 dcns 'http://www.cs.unibo.it/~schena/dces#'>
+ <!ENTITY eorns 'http://www.cs.unibo.it/~schena/eor#'>
+ <!ENTITY dctypens 'http://www.cs.unibo.it/~schena/dctype#'>
+ <!ENTITY dcqns 'http://www.cs.unibo.it/~schena/dcq#'>
+ ]>
+
+
+<rdf:RDF xmlns:rdf="&rdfns;"
+ xmlns:rdfs="&rdfsns;"
+ xmlns:dc="&dcns;"
+ xmlns:eor="&eorns;"
+ xmlns:dcq="&dcqns;">
+
+<!-- Description of Schema -->
+
+<eor:Schema rdf:about="&dctypens;">
+ <rdf:value>The Dublin Core Type Vocabulary</rdf:value>
+ <dc:title>The Dublin Core Type Vocabulary</dc:title>
+ <dc:creator>The Dublin Core Metadata Initiative</dc:creator>
+ <dc:description>The Dublin Core metadata vocabulary is a simple set
+ of resource types intended to facilitate discovery of
+ resources. </dc:description>
+ <dc:language>English</dc:language>
+ <dc:date>2000-07-11</dc:date>
+</eor:Schema>
+
+<!-- HELM: every declaration has the rdf:ID = "name" instead of
+ rdf:about = "&dctypens;name" -->
+
+
+<!-- Begin Type Declaration -->
+
+<!-- addition DC Vocabulary range declarations -->
+<!-- HELM: What's the relation with the dc:type property?
+Here we want to constraint an external property to a particular range.
+VRP gives a Warning when (extending or modifying) constraining the range
+of a property defined in another schema; the correct way is to specialize it
+with a subProperty.-->
+<!-- OLD
+<rdf:Description rdf:about = "&dctypens;type">
+ <rdfs:range rdf:resource = "Resource" /> ERROR!
+</rdf:Description>
+Could be:
+<rdf:Description rdf:about = "&dcns;type">
+ <rdfs:range rdf:resource = "#Resource" />
+</rdf:Description>
+-->
+<!-- Class declaration -->
+<!--<rdfs:Class rdf:ID = "Resource">
+ <rdfs:label>Resource</rdfs:label>
+ <rdfs:comment>A general class of describable resources.</rdfs:comment>
+ <rdfs:seeAlso rdf:resource = "http://www.loc.gov/marc/dc/typequalif-19991210.html" />
+ <rdfs:subClassOf rdf:resource = "&rdfsns;Resource" />
+ <rdfs:isDefinedBy rdf:resource = "&dctypens;" />
+</rdfs:Class>-->
+
+<!-- HELM: Class added from version 2001/03/19 -->
+<rdfs:Class rdf:ID = "DCMIType">
+ <rdfs:label>DCMI Type Vocabulary</rdfs:label>
+ <rdfs:comment>The DCMI Vocabulary provides a general, cross-domain
+list of approved terms that may be used as values for the Resource
+Type element to identify the genre of a resource.</rdfs:comment>
+ <rdfs:seeAlso rdf:resource = "http://dublincore.org/documents/dcmi-type-vocabulary/" />
+ <rdfs:subClassOf rdf:resource = "&dcqns;TypeScheme" />
+ <rdfs:isDefinedBy rdf:resource = "&dctypens;" />
+</rdfs:Class>
+
+<!-- HELM: From version 2001/03/19 substituted:
+ <rdfs:subClassOf rdf:resource = "#Resource" />
+ with <rdf:type rdf:resource = "#DCMIType" /> -->
+
+<rdfs:Class rdf:ID = "Collection">
+ <rdfs:label>Collection</rdfs:label>
+ <rdfs:comment>A collection is an aggregation of items. The term collection
+ means that the resource is described as a group; its parts may be
+ separately described and navigated.</rdfs:comment>
+ <rdf:type rdf:resource = "#DCMIType" />
+ <rdfs:isDefinedBy rdf:resource = "&dctypens;" />
+</rdfs:Class>
+
+<rdfs:Class rdf:ID = "Dataset">
+ <rdfs:label>Dataset</rdfs:label>
+ <rdfs:comment>A dataset is information encoded in a defined structure (for
+example, lists, tables, and databases), intended to be useful for direct
+machine processing. </rdfs:comment>
+ <rdf:type rdf:resource = "#DCMIType" />
+ <rdfs:isDefinedBy rdf:resource = "&dctypens;" />
+</rdfs:Class>
+
+<rdfs:Class rdf:ID = "Event">
+ <rdfs:label>Event</rdfs:label>
+ <rdfs:comment>An event is a non-persistent, time-based
+occurrence. Metadata for an event provides descriptive information
+that is the basis for discovery of the purpose, location, duration,
+responsible agents, and links to related events and resources. The
+resource of type event may not be retrievable if the described
+instantiation has expired or is yet to occur. Examples - exhibition,
+web-cast, conference, workshop, open-day, performance, battle, trial,
+wedding, tea-party, conflagration. </rdfs:comment>
+ <rdf:type rdf:resource = "#DCMIType" />
+ <rdfs:isDefinedBy rdf:resource = "&dctypens;" />
+</rdfs:Class>
+
+<rdfs:Class rdf:ID = "Image">
+ <rdfs:label>Image</rdfs:label>
+ <rdfs:comment>An image is a primarily symbolic visual representation
+other than text. For example - images and photographs of physical
+objects, paintings, prints, drawings, other images and graphics,
+animations and moving pictures, film, diagrams, maps, musical
+notation. Note that image may include both electronic and physical
+representations.</rdfs:comment>
+ <rdf:type rdf:resource = "#DCMIType" />
+ <rdfs:isDefinedBy rdf:resource = "&dctypens;" />
+</rdfs:Class>
+
+<rdfs:Class rdf:ID = "InteractiveResource">
+ <rdfs:label>Interactive Resource</rdfs:label>
+ <rdfs:comment>An interactive resource is a resource which requires
+interaction from the user to be understood, executed, or
+experienced. For example - forms on web pages, applets, multimedia
+learning objects, chat services, virtual reality. </rdfs:comment>
+ <rdf:type rdf:resource = "#DCMIType" />
+ <rdfs:isDefinedBy rdf:resource = "&dctypens;" />
+</rdfs:Class>
+
+<rdfs:Class rdf:ID = "Service">
+ <rdfs:label>Service</rdfs:label>
+ <rdfs:comment>A service is a system that provides one or more
+functions of value to the end-user. Examples include: a photocopying
+service, a banking service, an authentication service, interlibrary
+loans, a Z39.50 or Web server. </rdfs:comment>
+ <rdf:type rdf:resource = "#DCMIType" />
+ <rdfs:isDefinedBy rdf:resource = "&dctypens;" />
+</rdfs:Class>
+
+<rdfs:Class rdf:ID = "Software">
+ <rdfs:label>Software</rdfs:label>
+ <rdfs:comment>a computer program in source or compiled form which
+may be available for installation non-transiently on another
+machine. For software which exists only to create an interactive
+environment, use interactive instead. </rdfs:comment>
+ <rdf:type rdf:resource = "#DCMIType" />
+ <rdfs:isDefinedBy rdf:resource = "&dctypens;" />
+</rdfs:Class>
+
+<rdfs:Class rdf:ID = "Sound">
+ <rdfs:label>Sound</rdfs:label>
+ <rdfs:comment>A sound is a resource whose content is primarily intended to be
+rendered as audio. For example - a music playback file format, an audio
+compact disc, and recorded speech or sounds. </rdfs:comment>
+ <rdf:type rdf:resource = "#DCMIType" />
+ <rdfs:isDefinedBy rdf:resource = "&dctypens;" />
+</rdfs:Class>
+
+<rdfs:Class rdf:ID = "Text">
+ <rdfs:label>Text</rdfs:label>
+ <rdfs:comment>A text is a resource whose content is primarily words
+for reading. For example - books, letters, dissertations, poems,
+newspapers, articles, archives of mailing lists. Note that facsimiles
+or images of texts are still of the genre text. </rdfs:comment>
+ <rdf:type rdf:resource = "#DCMIType" />
+ <rdfs:isDefinedBy rdf:resource = "&dctypens;" />
+</rdfs:Class>
+
+<!-- End: Type -->
+
+</rdf:RDF>
--- /dev/null
+<?xml version="1.0"?>
+
+<!--
+ RDF Schema declaration for the EOR Toolkit Vocabulary
+ 2001/03/28
+ comments, etc. to webteam <dcmi-feedback@dublincore.org>
+-->
+
+<!-- HELM: OLD URL OF SCHEMAS: VRP gives errors -->
+<!--<!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 dcns 'http://purl.org/dc/elements/1.1/'>
+ <!ENTITY eorns 'http://dublincore.org/2000/03/13/eor#'>
+ADDED <!ENTITY dctypens 'http://purl.org/dc/dcmitype/'>
+ ]>-->
+
+<!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 dcns 'http://www.cs.unibo.it/~schena/dces#'>
+ <!ENTITY eorns 'http://www.cs.unibo.it/~schena/eor#'>
+ <!ENTITY dctypens 'http://www.cs.unibo.it/~schena/dctype#'>
+ ]>
+
+<rdf:RDF xmlns:rdf="&rdfns;"
+ xmlns:rdfs="&rdfsns;"
+ xmlns:dc="&dcns;"
+ xmlns:eor="&eorns;"
+ xmlns:dct="&dctypens;">
+
+<eor:Schema rdf:about="&eorns;">
+ <!-- dumb down rule... use rdf:value for a simple default name -->
+ <rdf:value>The EOR Vocabulary v1.0</rdf:value>
+ <dc:title>The EOR Vocabulary v1.0</dc:title>
+ <dc:creator>Eric Miller, emiller@oclc.org</dc:creator>
+ <dc:contributor>Tod Matola, matola@oclc.org</dc:contributor>
+ <dc:contributor>Harry Wagner, wagnerh@oclc.org</dc:contributor>
+ <dc:description>The EOR vocabulary is a simple vocabulary intended
+ to support the EOR Toolkit and provides an additional level of
+ conformance, validation and general description beyond the
+ base-level RDF specifications specifically defined for RDF-based,
+ Dublin Core metadata applications.</dc:description>
+ <dc:date>2000-03-13</dc:date>
+</eor:Schema>
+
+<!-- Data Type declaration -->
+
+<rdfs:Class rdf:ID = "DataType">
+ <rdfs:label>Data Type</rdfs:label>
+ <rdfs:comment>A data type.</rdfs:comment>
+ <rdfs:subClassOf rdf:resource ="http://www.w3.org/2000/01/rdf-schema#Literal" />
+ <rdfs:isDefinedBy rdf:resource = "&eorns;" />
+</rdfs:Class>
+
+<!-- Class declarations -->
+
+<rdfs:Class rdf:ID = "Schema">
+ <rdfs:label>RDF Schema</rdfs:label>
+ <rdfs:comment>A RDF schema</rdfs:comment>
+ <rdfs:subClassOf rdf:resource ="&dctypens;Text"/>
+ <rdfs:isDefinedBy rdf:resource = "&eorns;" />
+</rdfs:Class>
+
+<rdfs:Class rdf:ID = "Profile">
+ <rdfs:label>Profile</rdfs:label>
+ <rdfs:comment>An application profile</rdfs:comment>
+<!-- HELM: <rdfs:subClassOf rdf:resource = "Schema" /> ERROR -->
+ <rdfs:subClassOf rdf:resource = "#Schema" />
+ <rdfs:isDefinedBy rdf:resource = "&eorns;" />
+</rdfs:Class>
+
+<rdfs:Class rdf:ID = "WebPage">
+ <rdfs:label>Web Page</rdfs:label>
+ <rdfs:comment>A web page</rdfs:comment>
+ <rdfs:subClassOf rdf:resource ="&dctypens;Text"/>
+ <rdfs:isDefinedBy rdf:resource = "&eorns;" />
+</rdfs:Class>
+
+<!-- Additional Class relations -->
+
+<rdf:Property rdf:ID = "alias">
+ <rdfs:label>alias</rdfs:label>
+ <rdfs:comment>An alias.</rdfs:comment>
+ <rdfs:isDefinedBy rdf:resource = "&eorns;" />
+</rdf:Property>
+
+
+<!-- Additional Property declarations -->
+
+<rdf:Property rdf:ID = "label">
+ <rdfs:label>label</rdfs:label>
+ <rdfs:comment>A application-specific label.</rdfs:comment>
+ <rdfs:isDefinedBy rdf:resource = "&eorns;" />
+</rdf:Property>
+
+<rdf:Property rdf:ID = "comment">
+ <rdfs:label>Comment</rdfs:label>
+ <rdfs:comment>A comment or note providing additional
+ application-specific information.</rdfs:comment>
+ <rdfs:isDefinedBy rdf:resource = "&eorns;" />
+</rdf:Property>
+
+</rdf:RDF>
<!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">
refers to</rdfs:comment>
<rdfs:domain rdf:resource="&hthns;HelmURI"/>
<rdfs:range rdf:resource="&rdfsns;Literal"/>
+ <rdfs:isDefinedBy rdf:resource = "&hns;" />
</rdf:Property>
-</rdf:RDF>
-
-
-
-
-
-
-
-
+</rdf:RDF>
\ No newline at end of file
<!ENTITY dcns 'http://www.cs.unibo.it/~schena/dces#'>
<!ENTITY dcqns 'http://www.cs.unibo.it/~schena/dcq#'>
<!ENTITY xschemans 'http://www.w3.org/1999/XMLSchema-datatypes#'>
+ <!ENTITY hthns 'http://www.cs.unibo.it/~schena/schema-hth.rdf#'>
]>
<rdf:RDF xml:lang="en"
xmlns:dcq="&dcqns;"
xmlns:xs="&xschemans;">
-<!-- RICORDA: aggiungi commento anche a proprieta' e istanze -->
-<!-- RICORDA: studiare tipi di dato (invece di Literal) -->
-<!-- RICORDA: specificare i contenuti dei dc elements -->
-<!-- RICORDA: verifica formato xml.helm.cic -->
+<!-- RICORDA: specificare i contenuti dei dc elements: problemi con RSSDB -->
<!-- RICORDA: aggiungi euler properties -->
+<!-- Description of Schema -->
+
+<rdf:Description rdf:about="&hthns;">
+ <rdf:value>The HELM Element Set v0.1</rdf:value>
+ <dc:title>The HELM Theory 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="MathResource">
- <rdfs:comment>Mathematical resource</rdfs:comment>
+ <rdfs:comment>Mathematical resources</rdfs:comment>
<rdfs:subClassOf rdf:resource="&rdfsns;Resource"/>
+ <rdfs:isDefinedBy rdf:resource = "&hthns;" />
</rdfs:Class>
<rdfs:Class rdf:ID="Theory">
- <rdfs:comment>Mathematical resource represented by a theory</rdfs:comment>
+ <rdfs:comment>Mathematical resources represented by theories</rdfs:comment>
<rdfs:subClassOf rdf:resource="#MathResource"/>
+ <rdfs:isDefinedBy rdf:resource = "&hthns;" />
</rdfs:Class>
<rdfs:Class rdf:ID="TheoryItem">
- <rdfs:comment>Theory item represented by: axiom, fact, definition, theorem, lemma, corollary, variable, specified by a XPath expression </rdfs:comment>
+ <rdfs:comment>Theory items represented by: axiom, fact, definition, theorem, lemma, corollary, variable, specified by a XPath expression</rdfs:comment>
+ <rdfs:isDefinedBy rdf:resource = "&hthns;" />
</rdfs:Class>
<rdfs:Class rdf:ID="HelmFormat">
- <rdfs:comment>HELM File format of a mathematical resource (possible values of the Dublin Core property Format). Possible values of its rdf:about
+ <rdfs:comment>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.</rdfs:comment>
<rdfs:subClassOf rdf:resource="&dcqns;FormatScheme"/>
+ <rdfs:isDefinedBy rdf:resource = "&hthns;" />
</rdfs:Class>
<rdfs:Class rdf:ID="HelmURI">
- <rdfs:comment>HELM URI of a mathematical resource</rdfs:comment>
+ <rdfs:comment>HELM URIs of a mathematical resource</rdfs:comment>
+ <rdfs:subClassOf rdf:resource="&dcqns;URI"/>
+ <rdfs:isDefinedBy rdf:resource = "&hthns;" />
</rdfs:Class>
<rdfs:Class rdf:ID="HelmID">
- <rdfs:comment>HELM identifier</rdfs:comment>
+ <rdfs:comment>HELM identifiers</rdfs:comment>
+ <rdfs:isDefinedBy rdf:resource = "&hthns;" />
</rdfs:Class>
<rdfs:Class rdf:ID="Contact">
<rdfs:comment>Creator contact information</rdfs:comment>
+ <rdfs:isDefinedBy rdf:resource = "&hthns;" />
</rdfs:Class>
<!-- Added subProperties of the Property dc:relation -->
<rdf:Property rdf:ID="isBasedOn">
+ <rdfs:comment>A relation between mathematical resources</rdfs:comment>
<rdfs:subPropertyOf rdf:resource="&dcns;relation"/>
<rdfs:domain rdf:resource="#MathResource"/>
- <rdfs:range rdf:resource="&rdfsns;Literal"/>
- <rdfs:comment>A relation between mathematical resources</rdfs:comment>
+ <rdfs:range rdf:resource="&rdfsns;Literal"/>
+ <rdfs:isDefinedBy rdf:resource = "&hthns;" />
</rdf:Property>
<rdf:Property rdf:ID="isBasisFor">
+ <rdfs:comment>A relation between mathematical resources</rdfs:comment>
<rdfs:subPropertyOf rdf:resource="&dcns;relation"/>
<rdfs:domain rdf:resource="#MathResource"/>
<rdfs:range rdf:resource="&rdfsns;Literal"/>
- <rdfs:comment>A relation between mathematical resources</rdfs:comment>
+ <rdfs:isDefinedBy rdf:resource = "&hthns;" />
</rdf:Property>
<rdf:Property rdf:ID="isSourceFor">
+ <rdfs:comment>A relation between mathematical resources</rdfs:comment>
<rdfs:subPropertyOf rdf:resource="&dcns;relation"/>
<rdfs:domain rdf:resource="#MathResource"/>
<rdfs:range rdf:resource="&rdfsns;Literal"/>
- <rdfs:comment>A relation between mathematical resources</rdfs:comment>
+ <rdfs:isDefinedBy rdf:resource = "&hthns;" />
</rdf:Property>
<rdf:Property rdf:ID="hasSource">
+ <rdfs:comment>A relation between mathematical resources</rdfs:comment>
<rdfs:subPropertyOf rdf:resource="&dcns;relation"/>
<rdfs:domain rdf:resource="#MathResource"/>
<rdfs:range rdf:resource="&rdfsns;Literal"/>
- <rdfs:comment>A relation between mathematical resources</rdfs:comment>
+ <rdfs:isDefinedBy rdf:resource = "&hthns;" />
</rdf:Property>
<!-- subProperties of Property hth:dependence -->
-<rdf:Property rdf:ID="uses">
- <rdfs:subPropertyOf rdf:resource="#dependence"/>
+<rdf:Property rdf:ID="uses">
<rdfs:comment>A dependence between theory items (for instance: between a theorem or anything else and a variable)</rdfs:comment>
+ <rdfs:subPropertyOf rdf:resource="#dependence"/>
+ <rdfs:isDefinedBy rdf:resource = "&hthns;" />
</rdf:Property>
<rdf:Property rdf:ID="isUsedBy">
- <rdfs:subPropertyOf rdf:resource="#dependence"/>
<rdfs:comment>A dependence between theory items (for instance: between a variable and
a theorem or anything else)</rdfs:comment>
+ <rdfs:subPropertyOf rdf:resource="#dependence"/>
+ <rdfs:isDefinedBy rdf:resource = "&hthns;" />
</rdf:Property>
<rdf:Property rdf:ID="hasConsequence">
- <rdfs:subPropertyOf rdf:resource="#dependence"/>
<rdfs:comment>A dependence between theory items (for instance: between a theorem and
-a corollary)</rdfs:comment>
+a corollary)</rdfs:comment>
+ <rdfs:subPropertyOf rdf:resource="#dependence"/>
+ <rdfs:isDefinedBy rdf:resource = "&hthns;" />
</rdf:Property>
<rdf:Property rdf:ID="isConsequenceOf">
- <rdfs:subPropertyOf rdf:resource="#dependence"/>
<rdfs:comment>A dependence between theory items (for instance: between a corollary
and a theorem). Alternatively: IsResultOf</rdfs:comment>
+ <rdfs:subPropertyOf rdf:resource="#dependence"/>
+ <rdfs:isDefinedBy rdf:resource = "&hthns;" />
</rdf:Property>
<rdf:Property rdf:ID="hasPremise">
- <rdfs:subPropertyOf rdf:resource="#dependence"/>
<rdfs:comment>A dependence between theory items (for instance: between a theorem
and a lemma)</rdfs:comment>
+ <rdfs:subPropertyOf rdf:resource="#dependence"/>
+ <rdfs:isDefinedBy rdf:resource = "&hthns;" />
</rdf:Property>
<rdf:Property rdf:ID="isPremiseOf">
- <rdfs:subPropertyOf rdf:resource="#dependence"/>
<rdfs:comment>A dependence between theory items (for instance: between a lemma
and a theorem)</rdfs:comment>
+ <rdfs:subPropertyOf rdf:resource="#dependence"/>
+ <rdfs:isDefinedBy rdf:resource = "&hthns;" />
</rdf:Property>
<!-- Possible values of rdf:value of the dct:Text instance of dct:DCMIType,
<!-- Properties -->
<rdf:Property rdf:ID="theoryItem">
+ <rdfs:comment>Theory item</rdfs:comment>
<rdfs:domain rdf:resource="#Theory"/>
<rdfs:range rdf:resource="#TheoryItem"/>
+ <rdfs:isDefinedBy rdf:resource = "&hthns;" />
</rdf:Property>
<rdf:Property rdf:ID="dependence">
+ <rdfs:comment>Dependence between theory items</rdfs:comment>
<rdfs:domain rdf:resource="#TheoryItem"/>
<rdfs:range rdf:resource="#HelmURI"/>
+ <rdfs:isDefinedBy rdf:resource = "&hthns;" />
</rdf:Property>
<rdf:Property rdf:ID="itemType">
Variable. Redundant info: it is already captured by the corresponding xml data</rdfs:comment>
<rdfs:domain rdf:resource="#TheoryItem"/>
<rdfs:range rdf:resource="&xschemans;string"/>
+ <rdfs:isDefinedBy rdf:resource = "&hthns;" />
</rdf:Property>
<rdf:Property rdf:ID="label">
implementation satisfies the specification), predicate/relation, proposition</rdfs:comment>
<rdfs:domain rdf:resource="#TheoryItem"/>
<rdfs:range rdf:resource="&xschemans;string"/>
+ <rdfs:isDefinedBy rdf:resource = "&hthns;" />
</rdf:Property>
<!-- ex. f:N->Z => N>->Z and n:Nat => n:Z -->
<rdfs:comment>A Definition item can be a coercion</rdfs:comment>
<rdfs:domain rdf:resource="#TheoryItem"/>
<rdfs:range rdf:resource="&xschemans;boolean"/>
+ <rdfs:isDefinedBy rdf:resource = "&hthns;" />
</rdf:Property>
<!-- The id info is no more contained in the theory xml doc, so there isn't
redundant info between metadata and data -->
<rdf:Property rdf:ID="ident">
+ <rdfs:comment>Identifier of a theory item</rdfs:comment>
<rdfs:domain rdf:resource="#TheoryItem"/>
<rdfs:range rdf:resource="#HelmID"/>
+ <rdfs:isDefinedBy rdf:resource = "&hthns;" />
</rdf:Property>
<!-- There are also dcq:created and dcq:modified -->
<rdf:Property rdf:ID="institution">
+ <rdfs:comment>Affiliated institution of the creator of the mathematical
+resource</rdfs:comment>
<rdfs:subPropertyOf rdf:resource="&dcns;creator"/>
<rdfs:domain rdf:resource="#MathResource"/>
<rdfs:range rdf:resource="&xschemans;string"/>
+ <rdfs:isDefinedBy rdf:resource = "&hthns;" />
</rdf:Property>
<rdf:Property rdf:ID="contact">
+ <rdfs:comment>Contact of the creator of the mathematical
+resource</rdfs:comment>
<rdfs:subPropertyOf rdf:resource="&dcns;creator"/>
<rdfs:domain rdf:resource="#MathResource"/>
<rdfs:range rdf:resource="#Contact"/>
+ <rdfs:isDefinedBy rdf:resource = "&hthns;" />
</rdf:Property>
<rdf:Property rdf:ID="email">
+ <rdfs:comment>E-mail of the creator of the mathematical
+resource</rdfs:comment>
<rdfs:domain rdf:resource="#Contact"/>
<rdfs:range rdf:resource="&xschemans;string"/>
+ <rdfs:isDefinedBy rdf:resource = "&hthns;" />
</rdf:Property>
<rdf:Property rdf:ID="address">
+ <rdfs:comment>Address of the creator of the mathematical
+resource</rdfs:comment>
<rdfs:domain rdf:resource="#Contact"/>
<rdfs:range rdf:resource="&xschemans;string"/>
+ <rdfs:isDefinedBy rdf:resource = "&hthns;" />
</rdf:Property>
<!-- HELM: Here we want to constraint an external (dc) property to a
</rdf:RDF>
-
-
-
-
-
-
-
-
projects / helm.git / commitdiff