Version 2 (modified by jowik, 14 years ago)


Template ID: Assignment of indirect property

This page shows work in progress, and is intended as informative only.

Purpose of the template


ID( x1:Thing, x2:ClassOfInformationRepresentation ) states that x2 is an identifier for x1.


The following table indicates what the roles (or "arguments"), are, and the requirements on entity types for each.


role names:ID_IdentifiedID_Identifier
entity types required:ThingClassOfInformationRepresentation

A formula expressing the same is,

where the roles and are again defined as follows.

Normative representation in first-order logic

Examples of expressions that this template should be able to represent

Graph illustrating an example

About PCA
Reference Data Services (RDS)