From f6a1458e8468f1171239f543f1d0392008320dc4 Mon Sep 17 00:00:00 2001 From: Irene Schena Date: Thu, 13 Dec 2001 16:11:54 +0000 Subject: [PATCH] ---------------------------------------------------------------------- Modified Files: 1) schema-h.rdf schema-hth.rdf: added comments Added Files: 1) 13-dcagent 21-euler dces dcq dctype eor: euler and dublin core schemas ---------------------------------------------------------------------- --- helm/schemas/13-dcagent | 169 +++++++++ helm/schemas/21-euler | 281 +++++++++++++++ helm/schemas/dces | 210 ++++++++++++ helm/schemas/dcq | 660 ++++++++++++++++++++++++++++++++++++ helm/schemas/dctype | 186 ++++++++++ helm/schemas/eor | 104 ++++++ helm/schemas/schema-h.rdf | 103 ++++-- helm/schemas/schema-hth.rdf | 106 ++++-- 8 files changed, 1757 insertions(+), 62 deletions(-) create mode 100644 helm/schemas/13-dcagent create mode 100644 helm/schemas/21-euler create mode 100644 helm/schemas/dces create mode 100644 helm/schemas/dcq create mode 100644 helm/schemas/dctype create mode 100644 helm/schemas/eor diff --git a/helm/schemas/13-dcagent b/helm/schemas/13-dcagent new file mode 100644 index 000000000..de0e6b477 --- /dev/null +++ b/helm/schemas/13-dcagent @@ -0,0 +1,169 @@ + + + + + + + + + + + + + ]> + + + + + + + + The Dublin Core Agent Core Vocabulary + The Dublin Core Agent Core Vocabulary + The Dublin Core Metadata Initiative + The Dublin Core metadata vocabulary is a simple vocabulary + intended to facilitate the discovery and description of agents. + English + 2000-03-13 + + + + + + + + + + + + + + + Agent + An agent + + + + + + + Person + An individual human. + + + + + + Organization + 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. + + + + + + Event + 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. + Name change and relation defined due to overlap with Event declaration from dc:type work... not sure how best to handle this... + + + + + + Object + A device that acts as an agent. Typical examples of objects are mechanical instruments, electronic services, non-human entities, and appliances. + + + + + + + + Agent Name + The formal or common name of the Agent + 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. + + + + + + + + + Name Encoding Schemes + A set of name encoding schemes and/or formats. + + + + + DCMI Family Name First + The DCMI encoding rule in which the family name of the Agent appears first, followed by a comma, then all other names. + + + + + + + + + + Agent Affiliation + The organization with which the named Agent was associated when involved with the resource + + + + + + + + Agent Identifier + An unambiguous reference to the named Agent within a given context. + 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. + 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) + + + + + + + + + Agent Type + The type of the entity for the named Agent. + 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. + + + + + + + + diff --git a/helm/schemas/21-euler b/helm/schemas/21-euler new file mode 100644 index 000000000..22885d7f7 --- /dev/null +++ b/helm/schemas/21-euler @@ -0,0 +1,281 @@ + + + + + + + + + + + + ]> + + + + + + + The EULER namespace v1.0 + The EULER namespace v1.0 + Manjula Patel + Eric Miller + The SCHEMAS Project + Semantic declarations for supporting EULER + English + 2000-11-21 + + + + + + + + + + City and Name Encoding + The EULER encoding rule of the following format - City [(Country)]: Name + + + + + + + + + Physical Carrier + 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. + + + + + + + + Carrier Types + Types of EULER Carriers + + + + + printed material + printed material + + + + + + hand-written material + hand-written material + + + + + + cdrom + cdrom + + + + + + dvd + dvd + + + + + + (dia)slide + (dia)slide + + + + + + diskette + diskette + + + + + + film + film + + + + + + audio + audio + + + + + + microfiche + microfiche + + + + + + microfilm + microfilm + + + + + + video + video + + + + + + object + object + + + + + + internet + internet + + + + + + media combination + media combination + + + + + + + Metadata Creation Date + 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 + + + + + + + EULER identifier + 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) + + + + + + + Full Text + The fulltext of web-pages and other resources available as a whole + + + + + Event location + Location of event for/at which the resource described in the record was +created + + + + + Event Date + Date of event for/at which the resource described in the record was created + + + + + Event Name + Name of event where document was created + + + + + Record Source + The source for the record i.e. describes which information + provider has delivered the record. + + + + + + Record Source URL + Identifier of source record for the description delivered in EULER. URL + pointing back to the original record at information providers' site. + + + + + + + Record Creator + Creator of the record (describing the resource), e.g. a reviewer + + + + + Address for delivery information + Meant to give the URL to the library where the resource described in the +record can be acquired. (Pointer to online-order forms etc.) + + + + + Additional retrieve/delivery information + Additional information that a user and a local library need to +retrieve/deliver the resource described in the record. + + + + diff --git a/helm/schemas/dces b/helm/schemas/dces new file mode 100644 index 000000000..18bd29fcf --- /dev/null +++ b/helm/schemas/dces @@ -0,0 +1,210 @@ + + + + + + + + + + + + ]> + + + + + + + + The Dublin Core Element Set v1.1 + The Dublin Core Element Set v1.1 + The Dublin Core Metadata Initiative + The Dublin Core metadata vocabulary is a simple vocabulary + intended to facilitate discovery of resources. + English + + 2000-07-02 + + + + + + + + Title + A name given to the resource. + Typically, a Title will be a name by which the resource + is formally known. + + + + + Contributor + An entity responsible for making contributions to the + content of the resource. + 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. + + + + + Author/Creator + An entity primarily responsible for making the content + of the resource. + 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. + + + + + Publisher + An entity responsible for making the resource + available. + 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. + + + + + Subject + The topic of the content of the resource. + 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. + + + + + Description + An account of the content of the resource. + + + + + Date + A date associated with an event in the life cycle of + the resource. + 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. + + + + + Resource Type + The nature or genre of the content of the + resource. + + + + + Format + The physical or digital 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. + 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). + + + + + Resource Identifier + An unambiguous reference to the resource within a + given context. + 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). + + + + + Language + A language of the intellectual content of the + resource. + 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. + + + + + Relation + A reference to a related resource. + Recommended best practice is to reference the resource + by means of a string or number conforming to a formal identification + system. + + + + + Source + A Reference to a resource from which the present + resource is derived. + 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. + + + + + Coverage + The extent or scope of the content of the + resource. + 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. + + + + + Rights + Information about rights held in and over the + resource. + 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. + + + + diff --git a/helm/schemas/dcq b/helm/schemas/dcq new file mode 100644 index 000000000..819865b57 --- /dev/null +++ b/helm/schemas/dcq @@ -0,0 +1,660 @@ + + + + + + + + + + + + + ]> + + + + + + + The Dublin Core Element Set Qualifier Vocabulary + The Dublin Core Element Set Qualifier Vocabulary + The Dublin Core Metadata Initiative + The Dublin Core Element Set Qualifier Vocabulary is + an richer vocabulary + intended to facilitate discovery of resources. + English + + 2000-07-11 + + + + + + + + + + + Alternative + Any form of the title used as a substitute or + alternative to the formal title of the resource. + This qualifier can include Title abbreviations as well as translations. + + + + + + + + + + + + + Classification + Subject identified by notation (code) taken from a + controlled classification scheme. + 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. + + + + + + + + + + + + Subject Encoding Schemes + A set of subject encoding schemes and/or formats + + + + + LCSH + Library of Congress Subject Headings + + + + + + LCC + Library of Congress Classification + + + + + + DDC + Dewey Decimal Classification + + + + + + + UDC + Universal Decimal Classification + + + + + + MeSH + Medical Subject Headings + + + + + + + + + + + + + Abstract + A summary of the content of the resource. + + + + + + Note + Any additional information about the content of the + resource. + + + + + + Table Of Contents + A list of subunits of the content of the + resource. + + + + + + Release + An identification of the edition, release or version + of the resource. + + + + + + + + + + + + + Created + Date of creation of the resource. + + + + + + Issued + Date of formal issuance (e.g., publication) of the + resource. + + + + + + Modified + Date on which the resource was changed. + + + + + Valid + Date (often a range) of validity of a resource. + + + + + + Available + Date (often a range) that the resource will become or + did become available. + + + + + + + + + + + + Date Encoding Schemes + A set of date encoding schemes and/or formats + + + + + W3C-DTF + W3C Encoding rules for dates and times - a profile + based on ISO8601 + + + + + + + DCMI Period + A specification of the limits of a time + interval. + + + + + + + + + + + + + + Extent + The size or duration of the resource. + + + + + + Medium + The material or physical carrier of the + resource. + + + + + + + + + + + + Format Encoding Schemes + A set of format encoding schemes. + + + + + IMT + The Internet media type of the resource. + + + + + + + + + + + + + + + + + + + Identifier Encoding Schemes + A set of Identified encoding schemes and/or + formats. + + + + + URI + A URI Uniform Resource Identifier + + + + + + + + + + + + + + + + + + + + Language Encoding Schemes + A set of language encoding schemes and/or + formats. + + + + + RFC1766 + 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. + + + + + + + ISO 639-2 + ISO 639-2: Codes for the representation of names of languages. + + + + + + + + + + + + + + Is Part Of + The described resource is a physical or logical part +of the referenced resource. + + + + + + Has Part + The described resource includes the referenced + resource either physically or logically. + + + + + + Is Version Of + 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. + + + + + + Has Version + The described resource has a version, edition, or + adaptation, namely, the referenced resource. + + + + + + Is Format Of + The described resource is the same intellectual + content of the referenced resource, but presented in another + format. + + + + + + Has Format + The described resource pre-existed the referenced + resource, which is essentially the same intellectual content + presented in another format. + + + + + + References + The described resource references, cites, or otherwise + points to the referenced resource. + + + + + + Is Referenced By + The described resource is referenced, cited, or + otherwise pointed to by the referenced resource. + + + + + + Requires + The described resource requires the referenced + resource to support its function, delivery, or coherence of + content. + + + + + + Is Required By + The described resource is required by the referenced + resource, either physically or logically. + + + + + + Replaces + The described resource supplants, displaces, or + supersedes the referenced resource. + + + + + + Is Replaced By + The described resource is supplanted, displaced, or + superceded by the referenced resource. + + + + + + ConformsTo + A reference to an established standard to which the resource conforms. + + + + + + + + + + + + + + + + + + + Spatial + Spatial characteristics of the intellectual content of + the resoure. + + + + + + + Temporal + Temporal characteristics of the intellectual content + of the resource. + + + + + + + + + + + Place Encoding Schemes + A set of geographic place encoding schemes and/or + formats + + + + + DCMI Box + The DCMI Box identifies a region of space using its + geographic limits. + + + + + + + DCMI Point + The DCMI Point identifies a point in space using its + geographic coordinates. + + + + + + + TGN + The Getty Thesaurus of Geographic Names + + + + + + Decimal Degrees + A latitude and longitude expressed in decimal + degrees + + + + + + Degrees, minutes, seconds + A latitude and longitude expressed in degrees, + minutes, seconds. + + + + + + ISO3166 + ISO3166 Codes for the representation of names of + countries + + + + + + + + + + + + Audience + A class of entity for whom the resource is intended or useful. + A class of entity may be determined by the creator or the publisher or by a third + party. + + + + + + + Mediator + A class of entity that mediates access to the resource and for whom the resource is + intended or useful. + 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. + + + + + + + + + + + + + + + + + Resource Type Encoding Schemes + A set of resource type encoding schemes and/or +formats + + + + + + diff --git a/helm/schemas/dctype b/helm/schemas/dctype new file mode 100644 index 000000000..a51cbe046 --- /dev/null +++ b/helm/schemas/dctype @@ -0,0 +1,186 @@ + + + + + + + + + + + + + ]> + + + + + + + + The Dublin Core Type Vocabulary + The Dublin Core Type Vocabulary + The Dublin Core Metadata Initiative + The Dublin Core metadata vocabulary is a simple set + of resource types intended to facilitate discovery of + resources. + English + 2000-07-11 + + + + + + + + + + + + + + + + DCMI Type Vocabulary + 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. + + + + + + + + + Collection + 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. + + + + + + Dataset + A dataset is information encoded in a defined structure (for +example, lists, tables, and databases), intended to be useful for direct +machine processing. + + + + + + Event + 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. + + + + + + Image + 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. + + + + + + Interactive Resource + 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. + + + + + + Service + 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. + + + + + + Software + 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. + + + + + + Sound + 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. + + + + + + Text + 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. + + + + + + + diff --git a/helm/schemas/eor b/helm/schemas/eor new file mode 100644 index 000000000..02299f485 --- /dev/null +++ b/helm/schemas/eor @@ -0,0 +1,104 @@ + + + + + + + + + + + + + ]> + + + + + + The EOR Vocabulary v1.0 + The EOR Vocabulary v1.0 + Eric Miller, emiller@oclc.org + Tod Matola, matola@oclc.org + Harry Wagner, wagnerh@oclc.org + 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. + 2000-03-13 + + + + + + Data Type + A data type. + + + + + + + + RDF Schema + A RDF schema + + + + + + Profile + An application profile + + + + + + + Web Page + A web page + + + + + + + + alias + An alias. + + + + + + + + label + A application-specific label. + + + + + Comment + A comment or note providing additional + application-specific information. + + + + diff --git a/helm/schemas/schema-h.rdf b/helm/schemas/schema-h.rdf index ce2d8ed2e..57149c1e0 100644 --- a/helm/schemas/schema-h.rdf +++ b/helm/schemas/schema-h.rdf @@ -8,127 +8,163 @@ xmlns:h="http://www.cs.unibo.it/~schena/schema-h.rdf#" --> + + ]> + xmlns:xs="&xschemans;" + xmlns:dc="&dcns;"> - - - - - - + + + + + The HELM Element Set v0.1 + The HELM Object Element Set v0.1 + The HELM Project + The HELM metadata vocabulary is a simple vocabulary + intended to facilitate discovery of mathematical resources. + + English + + 2001-12-12 + + - Mathematical object represented by a CIC XML + Mathematical objects represented by a CIC XML file + - Mathematical resource (directory) represented by a set of -CIC XML files, contained in the tree that has the dir as root + Mathematical resources (directories) represented by sets +of CIC XML files, contained in the tree that has the dir as root + - Type of the object + Types of objects + - Term of the object + Terms of objects + - Occurrence of an object inside an object + Occurrences of an object inside an object + - Position of an occurrence of an object inside an object + Positions of occurrences of an object inside an object + Additional information associated to fragments of the objects + - Constant in the body of an object + Constants in the body of an object + - Ids in the statement + Identifiers in the statement + - Ids in the body + Identifiers in the body + Implicit arguments + - Occurrence of an object in head position of some hypothesis + Occurrences of an object in head position of some hypothesis of an object statement + - Occurrence of an object in the hypotheses of an object + Occurrences of an object in the hypotheses of an object statement + - Occurrence of an object in head position of the + Occurrences of an object in head position of the conclusion of an object statement + - Occurrence of an object in the conclusion of an object + Occurrences of an object in the conclusion of an object statement + - Occurrence of an object only in an object body (not in the + Occurrences of an object only in an object body (not in the statement) + + Statement + + Body + + Statement identifier + + Constructor identifier of the statement conclusion + @@ -136,53 +172,63 @@ CIC XML files, contained in the tree that has the dir as root + + Body identifier + Reference to an object + Implicit arguments of constructors + Implicit arguments of objects + List of implicit arguments + Backwards pointer: who points the object + URI of an object + Position of an occurrence + @@ -190,12 +236,14 @@ CIC XML files, contained in the tree that has the dir as root Postit + Content of a Postit + @@ -203,14 +251,7 @@ CIC XML files, contained in the tree that has the dir as root refers to + - - - - - - - - - + \ No newline at end of file diff --git a/helm/schemas/schema-hth.rdf b/helm/schemas/schema-hth.rdf index 110bf62fd..0e10e36f7 100644 --- a/helm/schemas/schema-hth.rdf +++ b/helm/schemas/schema-hth.rdf @@ -9,6 +9,7 @@ xmlns:hth="http://www.cs.unibo.it/~schena/schema-hth.rdf#" --> + ]> xmlns:dcq="&dcqns;" xmlns:xs="&xschemans;"> - - - - + + + + + The HELM Element Set v0.1 + The HELM Theory Element Set v0.1 + The HELM Project + The HELM metadata vocabulary is a simple vocabulary + intended to facilitate discovery of mathematical resources. + + English + + 2001-12-12 + + + - Mathematical resource + Mathematical resources + - Mathematical resource represented by a theory + Mathematical resources represented by theories + - Theory item represented by: axiom, fact, definition, theorem, lemma, corollary, variable, specified by a XPath expression + Theory items represented by: axiom, fact, definition, theorem, lemma, corollary, variable, specified by a XPath expression + - HELM File format of a mathematical resource (possible values of the Dublin Core property Format). Possible values of its rdf:about + HELM File formats of a mathematical resource (possible values of the Dublin Core property Format). Possible values of the rdf:about attribute can be XML.cic, XML.hol, XML.mizar. Each Helm format describes a logical framework. The class dcq:IMT contains values as text/xml, text/xhtml, text/mml, text/ps, text/tex, text/pdf. + - HELM URI of a mathematical resource + HELM URIs of a mathematical resource + + - HELM identifier + HELM identifiers + Creator contact information + + A relation between mathematical resources - - A relation between mathematical resources + + + A relation between mathematical resources - A relation between mathematical resources + + A relation between mathematical resources - A relation between mathematical resources + + A relation between mathematical resources - A relation between mathematical resources + - - + A dependence between theory items (for instance: between a theorem or anything else and a variable) + + - A dependence between theory items (for instance: between a variable and a theorem or anything else) + + - A dependence between theory items (for instance: between a theorem and -a corollary) +a corollary) + + - A dependence between theory items (for instance: between a corollary and a theorem). Alternatively: IsResultOf + + - A dependence between theory items (for instance: between a theorem and a lemma) + + - A dependence between theory items (for instance: between a lemma and a theorem) + + + Theory item + + Dependence between theory items + @@ -153,6 +188,7 @@ of the dct:Software can be: Exec, Source. --> Variable. Redundant info: it is already captured by the corresponding xml data + @@ -161,6 +197,7 @@ algorithm, specification, theorem containing algorithm, verification (that the implementation satisfies the specification), predicate/relation, proposition + @@ -168,36 +205,51 @@ implementation satisfies the specification), predicate/relation, propositionA Definition item can be a coercion + + Identifier of a theory item + + Affiliated institution of the creator of the mathematical +resource + + Contact of the creator of the mathematical +resource + + E-mail of the creator of the mathematical +resource + + Address of the creator of the mathematical +resource + - - - - - - - - -- 2.39.2