Version 5 (modified by jowik, 16 years ago)

--

Template IP: Assignment of indirect property

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

Purpose of the template

Definition

Signature

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

IDt

role names:ID_IdentifiedIDt_Identifier
entity types required:ThingExpress String

Note that Thing is an abstract entity type. Enforcing this is however not the responsibility of the template itself.

A first-order formula expressing the same:

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

Home
About PCA
Reference Data Services
Projects
Workgroups