Browse wiki

From Odp

Jump to: navigation, search
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.


Enter the name of the page to start browsing from.
Personal tools
Quality Committee
Content OP publishers