[sc34wg3] TMDM bug

Geir Ove Grønmo sc34wg3@isotopicmaps.org
Thu, 03 Feb 2005 12:31:08 +0100

On Thu, 03 Feb 2005 11:40:52 +0100, Lars Marius Garshol  
<larsga@ontopia.net> wrote:

> * Lars Marius Garshol
> |
> | TMDM is actually cleverly written in such a way that [reified] can
> | never contain another topic. The rule for [reified] is that for
> | topic X it contains the item Y where
> |
> |   exists(Z) | Z in Y.[source locators] and Z in X.[subject identifiers]
> |
> | However, by the equality rule for topics, if Y were a topic it would
> | have to merge with X, and so Y can never be a topic.
> 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 == Y, and so [reified]
> will contain the topic itself...

Yes. That's what you wanted to avoid, right? Is the solution to
set [reified] to null when X and Y merges in the situation above?

Geir O.