Changes between Version 7 and Version 8 of TemplateDescriptionIP

Timestamp:

05/19/08 08:26:25 (16 years ago)

Author:

jowik (IP: 193.212.132.34)

Comment:

--

TemplateDescriptionIP

@@ -9 +9 @@
 '''IDt'''
 
-||''role names:''||'''ID_Identified'''||'''IDt_Identifier'''||
-||''entity types required:''||Thing||Express String||
+||''role names:''||'''IP_PropertyBearer'''||'''IP_Property'''||
+||''entity types required:''||Possible Individual||Property||
 
-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:
-
-{{{
-#!LatexEquation
-\begin{align*}
-\tname{IDt}( x_1, x_2 ) &\supset \trole{ID\_Identified}( x_1 ) \land \trole{IDt\_Identifier}( x_2 )
-\end{align*}
-}}}
-where the roles [[LatexEquation(\trole{ID\_Identified})]] and [[LatexEquation(\trole{ID\_Identified})]] are again defined as follows.
-
-{{{
-#!LatexEquation
-\begin{align*}
-\trole{ID\_Identified}( x ) &\supset \etype{Thing}(x) \\
-\trole{IDt\_Identifier}( x ) &\supset \etype{Express\_String}(x) 
-\end{align*}
-}}}
 === Normative representation in first-order logic ===
 {{{
 #!LatexEquation
 \begin{align*} 
-\tname{IDt}( x_1, x_2 ) \equiv \quad &\trole{ID\_Identified}( x_1 ) \land \trole{IDt\_Identifier}( x_2 ) \land\\
+\tname{IP}( x_1, x_2 ) \equiv \quad &\trole{IP\_PropertyBearer}( x_1 ) \land \trole{IP\_Property}( x_2 ) \land\\
  & \exists y(\etype{IndirectProperty}( y ) \land \eattr{possessor}(y, x_1) \land \eattr{property}( y, x_2)
 \end{align*}
@@ -44 +26 @@
 #!LatexEquation
 \TemplateDiagram{
-  !c{a}{Alfred}{Individual}
+  !c{a}{Alfred}{PossibleIndividual}
   [rr]
   !c{37C}{37.5$^\circ$C}{Property}