[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
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.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Crm-sig