[Crm-sig] Homework, scope note of P132,P133

[martin]

Dear All,

I suggest we interpret "overlaps" and "is separated from" as
primitives, without modelling a spacetime volume as a point set.
I added to the scope note that both properties may have causal 
justifications,
such as a shared wall, where we cannot decide who's it is.
It means that from NOT P132 we cannot infer P133 and vice versa.


-- 

--------------------------------------------------------------
  Dr. Martin Doerr              |  Vox:+30(2810)391625        |
  Research Director             |  Fax:+30(2810)391638        |
                                |  Email: martin at ics.forth.gr |
                                                              |
                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               |
                                                              |
              Web-site: http://www.ics.forth.gr/isl           |
--------------------------------------------------------------


-------------- next part --------------
A non-text attachment was scrubbed...
Name: MD_GB(HW)#P132 _P133 .docx
Type: application/x-msword
Size: 19891 bytes
Desc: not available
URL: <http://lists.ics.forth.gr/pipermail/crm-sig/attachments/20160727/36f67690/attachment-0001.bin>