[Crm-sig] Issue 406: Question about quantification + transitivity + open world
martin at ics.forth.gr
Sun Oct 13 12:26:36 EEST 2019
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.
> Crm-sig mailing list
> Crm-sig at ics.forth.gr
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,
Email: martin at ics.forth.gr
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Crm-sig