[Crm-sig] Issue559

Martin Doerr martin at ics.forth.gr
Sun Jan 23 16:42:00 EET 2022


Dear All,

Here my resolution of issue 559, the FOL equivalence in words:


*O12 has dimension (is dimension of)*

Domain: S15 
<https://docs.google.com/document/d/1_OncdSda-mYNJtUmcyC3lVvnDVuZTo7O/edit#heading=h.3rdcrjn>Observable 
Entity

Range: E54 
<https://docs.google.com/document/d/1_OncdSda-mYNJtUmcyC3lVvnDVuZTo7O/edit#heading=h.2jxsxqh>Dimension

Quantification:one to many, dependent (0,n:1,1)

Scope note:This property associates an instance of S15 Observable Entity 
with an instance of E54 Dimension

at the observable entity has.

It offers no information about how and when an E54 Dimension was 
established.

In case the instance of S15 Observable Entity is more specifically an 
instance of E18 Physical Thing, using the property /O12 has dimension 
(is dimension of)/ is equivalent to using the property /P43 has 
dimension (is dimension of)./ In other words, using the one implies the 
other.

Examples:

  * The earthquake of Mexico city in 2017 /had dimension/ magnitude 6.2
    Richter (Mindock, 2017,
    http://www.independent.co.uk/news/world/americas/mexico-earthquake-today-latest-mexico-city-magnitude-6-tremor-damage-a7963211.html
    <http://www.independent.co.uk/news/world/americas/mexico-earthquake-today-latest-mexico-city-magnitude-6-tremor-damage-a7963211.html>).

  * The landslide that was activated in Parnitha in 1999 after the
    earthquake/, had/ dimension crest length > 70 (InGeoCloudS -
    INspiredGEOdata CLOUD Services D2.2 2012;D2.3 2013)

In First Order Logic:

O12(x,y) ⊃S15(x)

O12(x,y) ⊃E54(y)

[O12(x,y) ∧E18(x)] ⇒P43(x,y)

[P43(x,y) ∧E18(x)] ⇒O12(x,y)

-- 
------------------------------------
  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/20220123/85763e45/attachment-0001.html>


More information about the Crm-sig mailing list