[Crm-sig] Issue 406: Question about quantification + transitivity + open world

Martin Doerr martin at ics.forth.gr
Sun Oct 13 12:26:36 EEST 2019


Dear Christian-Emil,

This is good. There is also another concern that in general parts can be 
shared by more than one whole. I would, nevertheless, add the constraint 
that part-of semantics mean also non-cyclic, wherever it applies. Could 
you check that?

Best,

Martin

On 10/13/2019 8:42 AM, Christian-Emil Smith Ore wrote:
>
> ​Dear all,
>
> I work my way through all the open issues. This issue origins from an 
> observation by Robert Sanderson that P9 cannot hav ethe cardinality 1 
> to many and at the same time be transitive. This is correct and will 
> apply to all transitive properties. A transitive property will always 
> be many to many.
>
>
> Have to be adjusted:
>
> P5, P9, P10,   P73
>
>
> Already many to many
>
> P69 ok,​P86 ok, P89 ok, P114 ok, P115 ok, P116 ok, P117 ok, P120 ok, 
> P127 ok, P139 ok, P148 ok, P150 ok, P165 ok
>
>
> This is just editorial changes and need no discussion.
>
>
> Best,
>
> Christian-Emil
>
>
> _______________________________________________
> Crm-sig mailing list
> Crm-sig at ics.forth.gr
> http://lists.ics.forth.gr/mailman/listinfo/crm-sig


-- 
------------------------------------
  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/20191013/f1fc2fe5/attachment.html>


More information about the Crm-sig mailing list