Browse wiki
From Odp
| Reviews:GerdGroener about DisjointnessOfComplement (DOC) |
| CreationDate | 10 September 2009 + |
|---|---|
| HasClearFigures | medium, no Figures |
| HasClearProblemDescription | medium |
| HasClearRelevanceDescription | medium |
| HasProblems | For acceptance the pattern needs further explanations why it is beneficial to use disjointness instead of negation. |
| HasRelevance | good |
| HasReusability | This would be reusable since it refers to a very common and frequent modeling problem. |
| HasReviewScore | 0 -needsmajorrevision + |
| HasReviewSummary | The motivation of the pattern is very good … The motivation of the pattern is very good and in fact the misunderstanding of DL expressions leads to modeling errors and ambiguity. However, I'm not sure whether this pattern is very helpful. With respect to the described "Aim" in the pattern, I don't understand why a developer defines C1 as the logical negation of C2 instead of (probably more intuitive) using a disjointness axiom. This could be a very interesting pattern/topic for discussion at WOP, for instance what is the intention of using disjointness instead of negation (are there benefits)? However, the submitted pattern proposal so far is to weak to be accepted as a pattern. At least more explanation is necessary. n. At least more explanation is necessary. |
| HasReviewerConfidence | good |
| HasUnderstandability | medium |
| IsBestPractice | Here an explanation is missing why this kind of pattern refer to good practice. Simple examples would improve the understanding. |
| LastModifiedDate | 10 September 2009 + |
| Modification dateThis property is a special property in this wiki. | 10 September 2009 12:18:26 + |
| ReviewAboutSubmissionThis property is a special property in this wiki. | DisjointnessOfComplement (DOC) + |
| ReviewAboutVersion | 5,780 + |
| SubmittedBy | GerdGroener + |
| Categories | QCReview + |
| hide properties that link here |
| No properties link to this page. |
