= Template '''ID''': Pattern for identification (naming) =
This page shows ''work in progress'', and is intended as ''informative only''.

== Purpose of the template ==
Template ID is used for assigning a name to a thing.

This must be distinguished from the relation between a particular token of the name, such as a name tag with "Alfred" on it.

== Definition ==
ID( !x1:Thing, !x2:ClassOfInformationRepresentation ) states that x2 is a pattern used to identify (as a name for) x1.

This is a base template, since its definition is stated in terms of Part 2 vocabulary only.

This is an atomic template, since its interpretation rule is stated directly in terms of Part 2 vocabulary (and not in terms of simpler templates). The template is an expression of the relation type [http://www.tc184-sc4.org/wg3ndocs/wg3n1328/lifecycle_integration_schema/lexical/class_of_identification.html ClassOfIdentification].

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

||'''ID'''||''role names:''||'''ID_Identified'''||'''ID_Identifier'''||
||||''entity types required:''||Thing||!ClassOfInformationRepresentation||

A formula expressing the same is,

{{{
#!LatexEquation
\begin{align*}
\tname{ID}( x_1, x_2 ) &\supset \trole{ID\_Identified}( x_1 ) \land \trole{ID\_Identifier}( x_2 )
\end{align*}
}}}
where the roles [[LatexEquation(\trole{ID\_Identified})]] and [[LatexEquation(\trole{ID\_Identifier})]] are again defined as follows.

{{{
#!LatexEquation
\begin{align*}
\trole{ID\_Identified}( x ) &\supset \etype{Thing}(x) \\
\trole{ID\_Identifier}( x ) &\supset \etype{ClassOfInformationRepresentation}(x)
\end{align*}
}}}
These conditionals would be sufficient for specifying the roles of the ''shortcut'' template, for which relationships between role-fillers are not regulated.

=== Full Signature (roles as biconditionals) ===
For a full specification of the ID roles, we need biconditionals that state required relationships.

{{{
#!LatexEquation
\begin{align*} 
\trole{ID\_Identified}( x ) \equiv \quad &
   \exists y(\etype{ClassOfIdentification}( y ) \land \eattr{represented}(y, x)) 
\\
\trole{ID\_Identifier}( x ) \equiv \quad &
   \exists y(\etype{ClassOfIdentification}( y ) \land \eattr{pattern}(y, x))
\end{align*}
}}}
Note that the entity type requirements expressed in the above shortcut role conditionals are implied by the constraints given in Part 2 on ''represented'' and ''pattern'' attributes.

=== Interpretation rule ===
{{{
#!LatexEquation
\begin{align*} 
\tname{ID}( x_1, x_2 ) \equiv \quad &\trole{ID\_Identified}( x_1 ) \land \trole{ID\_Identifier}( x_2 ) \land\\
 & \exists y(\etype{ClassOfIdentification}( y ) \land \eattr{represented}(y, x_1) \land \eattr{pattern}( y, x_2))
\end{align*}
}}}
== Examples of expressions that this template should be able to represent ==
 * My neighbor's name is "Alfred".
 * The number with identifier RDL1234 is represented by the string "20".

== Graph illustrating an example ==

Note that !ExpressString is a subtype of [http://www.tc184-sc4.org/wg3ndocs/wg3n1328/lifecycle_integration_schema/lexical/class_of_information_representation.html ClassOfInformationRepresentation].
{{{
#!LatexEquation
\TemplateDiagram{
  !c{a}{R123}{PossibleIndividual}
  [rr]
  !c{alfred}{R234}{ExpressString}
  ([r] !c{alfred_str}{``Alfred''}{STRING} !l{alfred}{alfred_str}{content}{.5})
  [l]
  !r{id}{ClassOfIdentification}
  (!s{id}{a}{represented}{alfred}{pattern})
 }
}}}

----
[[ViewTopic(Template ID)]]