Version 6 (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_Identified | IDt_Identifier |
entity types required: | Thing | Express 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.