[sc34wg3] TMCL: 4.4.7 Not DisJoint Constraint

Robert Barta rho at devc.at
Thu Feb 14 07:22:37 EST 2008

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


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

More information about the sc34wg3 mailing list