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

Christian-Emil Smith Ore c.e.s.ore at iln.uio.no
Sun Oct 13 08:42:01 EEST 2019


?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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.ics.forth.gr/pipermail/crm-sig/attachments/20191013/27a933d9/attachment.html>


More information about the Crm-sig mailing list