...
Name | Abbreviation | Description | ||
---|---|---|---|---|
assignment | A | Captures the assignment of an IUI to a particular (or instance) | ||
particular to universal | PtoU | Captures 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 entity | Te | Captures 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 name | Ten | Captures 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 | particularuniversal | PtoPPtoU | Captures the assertion that | two particulars are relateda 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 particular | PtoP | Captures the assertion that two particulars are related by a particular relation such as part of. | ||
particular lacks universal | PtoLackU | Captures the assertion that a particular lacks a specific relation r to any instance of a universal. | ||
particular to concept | PtoCo | Captures 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 entity | PtoDE | Captures 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. | ||
metadata | D | Captures data about templates. More formally, we have reconfigured the metadata template to represent an event that occurs inside the RTS itself. |
...
Parameter | Description | Notes | |
---|---|---|---|
iuip | The IUI that designates the particular that is the subject of this template | ||
iuia | The IUI that designates the author of this template | ||
ta | The IUI that designates the temporal region at which this PtoDE assertion was made | ||
r | The relation that holds between the particular denoted by iuip and the universal denoted by uui | Mostly we just use is concretized by. Not clear what other relations would be appropriate, but we maintain the flexibility nonetheless.uui | |
de | The | UUI that designates the universal to which the particular is relatedTypically a Uniform Resource Identifier (digital entity itself | Mostly we'll just have strings here (probably UTF-8 or ASCII or in case of Mac some other encoding) |
uui | The UUI that designates the universal to which the particular is related | Typically 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. | |
iuio | The IUI of the ontology from which uui and inst were obtained | Increasingly, 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. | |
tr | The 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. | |
iuit | The IUI of the template itself | Every template gets an IUI that is referenced minimally by one metadata template. |
Anchor | ||||
---|---|---|---|---|
|
Per our metadata template reformulation, each metadata template represents some event that occurred in the RTS.
Parameter | Description | Notes |
---|---|---|
iuit | The IUI that designates the template undergoing change | All changes are carried out through insertion, invalidation, or revalidation of a template (that is an instance of one of the above types of templates) |
iuid | The IUI that designates the entity who made the change | |
td | The time when the change was made | To 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) |
CT | The type of change | I = insertion, X = invalidation, R = revalidation |
C | The reason for the change | CR = change in relevance, CE = change in reality, CB = change in belief, XR = recognition of error |
EC | The type of error that is being rectified by the change | There 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. |
S | The IUI(s) of the template(s) that contain corrected information in the event that C = XR | For 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). |