Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

particularPtoP two particulars are related
NameAbbreviationDescription
assignmentACaptures the assignment of an IUI to a particular (or instance)
particular to universalPtoUCaptures the assertion that a particular, identified by an IUI, is related to a universal by a particular relation. It is typically used for the instance of relation.
temporal entityTeCaptures the assignment of an IUI to a temporal entity, as well as the basic type (interval vs. instant) of the temporal entity. This template is a "shortcut" combination of assignment and particular-to-universal for temporal entities. It and the Ten template help to reduce significantly the number of templates needed to capture temporal entities and their names.
temporal entity nameTenCaptures the name of a temporal entity (e.g. "2013-10" for the month of October in the Gregorian Calendar according to the ISO 8601 standard). Names of other entities are explicitly represented with an A template (assign IUI to name), a PtoP template (relate name to the entity it designates), and a PtoDR template (relate name to its concretized form).
particular to universalPtoUCaptures the assertion that a particular, identified by an IUI, is related to a universal by a particular relation. It is typically used for the instance of relation.
particular to particularPtoPCaptures the assertion that two particulars are related by a particular relation such as part of.
particular lacks universalPtoLackUCaptures the assertion that a particular lacks a specific relation r to any instance of a universal.
particular to conceptPtoCoCaptures the annotation of a particular with a concept from a concept-based terminology. It does NOT assert that the particular is an instance of a given type (or universal), is related to other particulars by specific relations, or lacks a relation to any instance of a given universal.
particular to digital entityPtoDECaptures the relationship between information content entities and their concretization as an encoded string of binary digits. Note that the purist way of doing things would be to assign an IUI to evey unique character string in some set of characters. But since each such unique string can serve as its own identifier, it seems very inefficient. Trying to keep two or more RTSs in synch so that they all have the same IUI for the string "befuddled" would be befuddling indeed.
metadataDCaptures data about templates. More formally, we have reconfigured the metadata template to represent an event that occurs inside the RTS itself.

...

  1. Captures the assignment of the IUI to the name in addition to the name
  2. Implicit type of the name is Proper name from the Proper Names Ontology.
  3. Implicit relationship between the name and the temporal entity it designates is designates.
  4. Every Ten template is associated with one Te template.  A Te template may be associated with multiple Ten templates.

The IUI that designates the temporal region at which this PtoU assertion was made

entity that asserted that this name denotes a particular temporal entity.
ParameterDescriptionNotes
iuipThe IUI of the name of the temporal regionIUIs that designate a temporal region must first be assigned using a Te template.
iuiaThe IUI that designates the entity who asserted this name for the temporal entity. 
taThe
ta  
IUI that designates the temporal region at which this PtoU assertion was made 
iuiteThe IUI of the temporal entity that this name designates.There must be a Te template that assigns this IUI.
nameThe name itself, ideally as a Unicode stringFor example: 2013-11-08T18:00-02:00
nsThe IUI of the naming system to which the name belongsFor example, Gregorian Calendar, Hebrew Calendar, Chinese Calendar, etc. ISO 8601 is a standard for formatting names according to the Gregorian Calendar.
iuitThe IUI of the Ten template itselfEvery template gets an IUI that is referenced minimally by one metadata template.

...

Parameter
Description
Notes
iuipThe IUI that designates the particular that is the subject of this template 
iuiaThe IUI that designates the author of this template 
taThe IUI that designates the temporal region at which this PtoDE assertion was made 
rThe relation that holds between the particular denoted by iuip and the universal denoted by uuiMostly we just use is concretized by. Not clear what other relations would be appropriate, but we maintain the flexibility nonetheless.
deThe digital entity itselfMostly we'll just have strings here (probably UTF-8 or ASCII or in case of Mac some other encoding)
uuiThe UUI that designates the universal to which the particular is relatedTypically a Uniform Resource Identifier (URI) from an OWL ontology. But not necessary. It would say whether the encoding is Unicode (and even then UTF-8 or UTF-16), ASCII, big or little endian double/float, integer, long, etc.
iuioThe IUI of the ontology from which uui and inst were obtainedIncreasingly, this parameter seems irrelevant. Although MIREOT allows that a given URI for a universal could come from any number of ontologies, it is not clear that it is valuable to say which one it came from specifically. Furthermore, we might have taken the relation (inst) and uui from different ontologies. It is not clear how to handle that situation either.
trThe temporal region during which the relation r holds between the particular (iuip) and universal (uui)It is not entirely clear with this temporal region would be. The fact that someone's name is concretized as "William Hogan" would hold from the time that that name for the person began to exist, typically at or shortly after birth. But then the name outlives the individual, so this temporal region would be different than the interval occpied by the person's history, although both intervals would have the same left boundary.
iuitThe IUI of the template itselfEvery template gets an IUI that is referenced minimally by one metadata template.

Anchor
metadata
metadata
Metadata

Per our metadata template reformulation, each metadata template represents some event that occurred in the RTS.

Parameter
Description
Notes
iuitThe IUI that designates the template undergoing changeAll changes are carried out through insertion, invalidation, or revalidation of a template (that is an instance of one of the above types of templates) 
iuidThe IUI that designates the entity who made the change 
tdThe time when the change was madeTo avoid complexities of using temporal region IUIs here, we simply use an ISO8601 compliant date/time string (e.g., 2013-10-31T14:48:32.234-05:00)
CTThe type of changeI = insertion, X = invalidation, R = revalidation
CThe reason for the changeCR = change in relevance, CE = change in reality, CB = change in belief, XR = recognition of error
ECThe type of error that is being rectified by the changeThere is a huge list of change reasons. Some of them are applicable only to A templates, some only to PtoU templates, some only to PtoP templates, etc.
SThe IUI(s) of the template(s) that contain corrected information in the event that C = XRFor example, if a duplicate IUI was assigned to a person, then we would invalidate the second (later of the two) assignment template. This parameter would then point to the original, good IUI assignment (whereas the iuit parameter would point to the A template that is being invalidated).