[sc34wg3] TMDM bug

[Lars Marius Garshol]

* Lars Marius Garshol
|
| I was a bit quick here: the bug is that if Y and X are topics and do
| merge, the rule above will of course make X =3D=3D Y, and so [reified]
| will contain the topic itself...

* Geir Ove Gr=F8nmo
|=20
| Yes. That's what you wanted to avoid, right?=20

Yes.

| Is the solution to set [reified] to null when X and Y merges in the
| situation above?

Pretty much. I think I'd like to reword the [reified] rule to say

  for topic X [reified] contains the item Y where

  Y !=3D X and (exists(Z) | Z in Y.[source locators] and=20
                          Z in X.[subject identifiers])

--=20
Lars Marius Garshol, Ontopian         <URL: http://www.ontopia.net >
GSM: +47 98 21 55 50                  <URL: http://www.garshol.priv.no >