[sc34wg3] TMCL: 4.4.7 Not DisJoint Constraint

[Robert Barta]

The constraint says

   "... provides a way to express that a topic can be an instance of both
   of referenced types."

Firstly, from where is the underlying assumption that types are
per-se disjoint?

Or should this be the other way round, like in OWL with owl:disjoint?

And secondly, why does this only affect two types? Why not 3, or more?
Is this just a limitation carried over from CTM as that cannot take a
list of parameters?


Thirdly, a better example would be  .... better. :-)

   NotDisjointConstraint (Cat, Dog)


Typo:  .. after the first sentence

\rho

-- 
And then he said: "You should read my blog." http://kill.devc.at/