[Crm-sig] Issue 326 Resolving inconsistencies between E2, E4, E52 and E92

Martin Doerr martin at ics.forth.gr
Sat Mar 2 19:43:18 EET 2019


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: 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/20190302/0097a038/attachment-0001.html>


More information about the Crm-sig mailing list