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 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: mar...@ics.forth.gr<mailto:mar...@ics.forth.gr>
Web-site: http://www.ics.forth.gr/isl
_______________________________________________
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://lists.ics.forth.gr/mailman/listinfo/crm-sig
