<?xml version="1.0"?>
<feed xmlns="http://www.w3.org/2005/Atom" xml:lang="en">
		<id>http://ontologydesignpatterns.org/index.php?action=history&amp;feed=atom&amp;title=Reviews%3AGerdGroener_about_DisjointnessOfComplement_%28DOC%29</id>
		<title>Reviews:GerdGroener about DisjointnessOfComplement (DOC) - Revision history</title>
		<link rel="self" type="application/atom+xml" href="http://ontologydesignpatterns.org/index.php?action=history&amp;feed=atom&amp;title=Reviews%3AGerdGroener_about_DisjointnessOfComplement_%28DOC%29"/>
		<link rel="alternate" type="text/html" href="http://ontologydesignpatterns.org/index.php?title=Reviews:GerdGroener_about_DisjointnessOfComplement_(DOC)&amp;action=history"/>
		<updated>2026-04-16T10:31:53Z</updated>
		<subtitle>Revision history for this page on the wiki</subtitle>
		<generator>MediaWiki 1.25.6</generator>

	<entry>
		<id>http://ontologydesignpatterns.org/index.php?title=Reviews:GerdGroener_about_DisjointnessOfComplement_(DOC)&amp;diff=5788&amp;oldid=prev</id>
		<title>GerdGroener: New page: {{Content OP Proposal Review Template |CreationDate=2009/9/10 |SubmittedBy=GerdGroener |ContentOPUnderReview=DisjointnessOfComplement (DOC) |RevisionID=5780 |Score=0 - needs major revision...</title>
		<link rel="alternate" type="text/html" href="http://ontologydesignpatterns.org/index.php?title=Reviews:GerdGroener_about_DisjointnessOfComplement_(DOC)&amp;diff=5788&amp;oldid=prev"/>
				<updated>2009-09-10T12:18:26Z</updated>
		
		<summary type="html">&lt;p&gt;New page: {{Content OP Proposal Review Template |CreationDate=2009/9/10 |SubmittedBy=GerdGroener |ContentOPUnderReview=DisjointnessOfComplement (DOC) |RevisionID=5780 |Score=0 - needs major revision...&lt;/p&gt;
&lt;p&gt;&lt;b&gt;New page&lt;/b&gt;&lt;/p&gt;&lt;div&gt;{{Content OP Proposal Review Template&lt;br /&gt;
|CreationDate=2009/9/10&lt;br /&gt;
|SubmittedBy=GerdGroener&lt;br /&gt;
|ContentOPUnderReview=DisjointnessOfComplement (DOC)&lt;br /&gt;
|RevisionID=5780&lt;br /&gt;
|Score=0 - needs major revision&lt;br /&gt;
|ReviewSummary=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.&lt;br /&gt;
With respect to the described &amp;quot;Aim&amp;quot; in the pattern, I don't understand why a developer defines C1 as the logical negation of C2 instead of&lt;br /&gt;
(probably more intuitive) using a disjointness axiom.&lt;br /&gt;
&lt;br /&gt;
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)?&lt;br /&gt;
However, the submitted pattern proposal so far is to weak to be accepted as a pattern. At least more explanation is necessary.&lt;br /&gt;
&lt;br /&gt;
|ReviewConfidence=good&lt;br /&gt;
|ReviewProblems=For acceptance the pattern needs further explanations why it is&lt;br /&gt;
beneficial to use disjointness instead of negation.&lt;br /&gt;
&lt;br /&gt;
|ReviewRelevance=good&lt;br /&gt;
|ReviewBestPractice=Here an explanation is missing why this kind of pattern refer to good practice. Simple examples would improve the understanding.&lt;br /&gt;
|ReviewReusability=This would be reusable since it refers to a very common and frequent modeling problem.&lt;br /&gt;
 &lt;br /&gt;
|ReviewUnderstandability=medium&lt;br /&gt;
|ReviewClearProblem=medium&lt;br /&gt;
|ReviewClearRelevance=medium&lt;br /&gt;
|ReviewFigures=medium, no Figures&lt;br /&gt;
}}&lt;/div&gt;</summary>
		<author><name>GerdGroener</name></author>	</entry>

	</feed>