Dear All,
We consider the following properties:
P4 has time-span (is time-span of)
Domain: E2 <#_E2_Temporal_Entity> Temporal Entity
Range: E52 <#_E52_Time-Span> Time-Span
Quantification: many to one, necessary, dependent (1,1:1,n)
P160 has temporal projection (is temporal projection of)
Domain: E92 <#_E92_Spacetime_Volume> Spacetime Volume
Range: E52 <#_E52_Time-Span> Time-Span
Quantification: one to one (1,1:1,1)
In FOL:
P4(x,y) ⊃ E2(x), P4(x,y) ⊃ E52(y)
P160(x,y) ⊃ E92(x), P160(x,y)⊃ E52(y)
*The problem comes from this: *E4 Period being a spacetime volume and a
temporal entity.
**
E4(x) ⊃ E2(x), E4(x) ⊃ E92(x)
*I now propose to:*** declare P4, to imply P160 from E4 Period "downwards":
(P4(x,y) ∧E4(x)) ⊃ P160(x,y), (P160(x,y) ∧E4(x)) ⊃ P4(x,y).
We may then recommend to use only P4 from E4 Period downwards.
I do not know, if we would also need (P160(x,y) ∧E4(x)) ⊃ P4(x,y) in
order to make them identical from E4 downwards.
================================================
Further:
P7 took place at (witnessed)
Domain: E4 <#_E4_Period> Period
Range: E53 <#_E53_Place> Place
Quantification: many to many, necessary (1,n:0,n)
"The related E53 Place should be seen as a wider approximation of the
geometric area within which the phenomena that characterize the period
in question occurred, see below."
P161 has spatial projection (is spatial projection of)
Domain: E92 <#_E92_Spacetime_Volume> Spacetime Volume
Range: E53 <#_E53_Place> Place
Superproperty of: E18 <#_E18_Physical_Thing> Physical Thing. P156
<#_P153_assigned_co-reference> occupies (is occupied by): E53
<#_E53_Place> Place
Quantification: one to many, necessary, dependent (1,n:1,1)
Firstly, I believe the quantification of P161 must be Quantification:
many to many, necessary (1,n:0,n). A place needs not be the projection
of a Spacetime Volume.
Then, in FOL:
P7(x,y) ⊃ E4(x), P7(x,y) ⊃ E53(y)
P161(x,y) ⊃ E92(x), P161(x,y) ⊃ E53(y)
*I propose to add: *The spatial projection of an E4 Period is a "took
place at".
**
(P161(x,y) ∧E4(x)) ⊃ P7(x,y).
Opinions?
Best,
Martin
--
------------------------------------
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: [email protected]
Web-site: http://www.ics.forth.gr/isl
