[sc34wg3] TMDM bug

Lars Marius Garshol sc34wg3@isotopicmaps.org
Thu, 03 Feb 2005 11:40:52 +0100

* 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...

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