[Crm-sig] ISSUE 420 continued

Martin Doerr martin at ics.forth.gr
Thu Nov 21 19:25:19 EET 2019


Dear Christian-Emil,

In the elaboration with Carlo we had foreseen strong shortcuts, but we 
could identify none. Here, I am convinced it is a strong shortcut, so I 
suggest to describe it as such, except if I miss something in the logic;-)

Best,

Martin

On 11/20/2019 1:51 PM, Christian-Emil Smith Ore wrote:
>
> Dear all ​
>
>
> The first order logic:
>
> The two first lines har fine. The third line should express that this 
> is a short cut.
>
> 1) The class of x,y,z can be deduced from the defintion of the 
> properties. However, in the Iraklio meeting Mark and I concluded that 
> it is helpful for the readers to see the classes.
>
> 2) The '=' sign indicates that this is a strong shortcut. That is, the 
> existence of an instance of the shortcut implies the existance of an 
> instance of  E92 STV. In general, we don't describe the crm shortcuts 
> as strong.
>
>
> The FOL should then be
>
>        Pxxy(x,y) ⊃ E93(x),
>
>        Pxxy(x,y) ⊃ E18(y)
>
>        Pxxy(x,y) ⊂​ [E93(x) ∧ E18(y)∧ E92(z)∧​ P166(x,z) ∧  Pxxx(y,z)]
>
>
> Best,
> Christian-Emil
>
> Pxxy was a presence of (had presence)
> Domain: E93 <#_E93_Spacetime_Snapshot> Presence
> Range:   E18 Physical Thing
> Quantification:  (0,1 : 0,n)
>
> Scope note: This property associates an instance of E93 Presence with 
> an instance of E18 Physical Thing of which it represents a temporal 
> restriction (i.e.: a time-slice). It is a shortcut of the more fully 
> developed path from E93 Presence through P166 was a presence of E92 
> Spacetime Volume, Pxxxi is defined by to E18 Physical Thing. 
> Instantiating either this property or directly Pxxx is defined by 
> constitutes a necessary part of the identity of the respective 
> instance of E93 Presence.
>
>
> In First Order Logic:
>
>        Pxxy(x,y) ⊃ E93(x),
>
>        Pxxy(x,y) ⊃ E18(y)
>
>        Pxxy(x,y)  = [E93(x) ∧ E18(y)∧ P166(x,z) ∧  Pxxx(y,z)]
>
> -- 
> ------------------------------------
>   Dr. Martin Doerr
>                
>   Honorary Head of the
>   Center for Cultural Informatics
>   
>   Information Systems Laboratory
>   Institute of Computer Science
>   Foundation for Research and Technology - Hellas (FORTH)
>                    
>   N.Plastira 100, Vassilika Vouton,
>   GR70013 Heraklion,Crete,Greece
>   
>   Vox:+30(2810)391625
>   Email:martin at ics.forth.gr   
>   Web-site:http://www.ics.forth.gr/isl  
>
> _______________________________________________
> Crm-sig mailing list
> Crm-sig at ics.forth.gr
> http://lists.ics.forth.gr/mailman/listinfo/crm-sig


-- 
------------------------------------
  Dr. Martin Doerr
               
  Honorary Head of the
  Center for Cultural Informatics
  
  Information Systems Laboratory
  Institute of Computer Science
  Foundation for Research and Technology - Hellas (FORTH)
                   
  N.Plastira 100, Vassilika Vouton,
  GR70013 Heraklion,Crete,Greece
  
  Vox:+30(2810)391625
  Email: martin at ics.forth.gr
  Web-site: http://www.ics.forth.gr/isl

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.ics.forth.gr/pipermail/crm-sig/attachments/20191121/9635c237/attachment.html>


More information about the Crm-sig mailing list