{{#reviewabout:Submissions:Define Hybrid Class Resolving Disjointness due to Subsumption|}}
Overall suggestion (score): -1 - reject
The authors say that "The definition of the Hybrid Class is the union (OR) of the definitions of the disjoint classes."
The reason is that the two classes A and B are subsumed by their union A V B. What the pattern does is that we leave implicit what the proper type of the individual is: we simply do not know whether the individual is in A or B. However, any individual instance of A V B will always be either in A or in B, but never in both (since this is what disjointness specifies).
The example therefore does not applies. If Animal_Plant is defined as the union of Animal and Plant (both disjoint) then there still exist no Animal_Plant instances... and this is what the pattern supposedly tries to solve.Posted: 2009-10-25 Last modified: 2009/10/25