[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?



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
  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