[DL-Learner SVN] SF.net SVN: dl-learner:[1031] trunk/src/dl-learner/org/dllearner/ refinementoperators/RhoDRDown.java

[<jen...@us...>]

Revision: 1031
          http://dl-learner.svn.sourceforge.net/dl-learner/?rev=1031&view=rev
Author:   jenslehmann
Date:     2008-07-31 10:10:18 +0000 (Thu, 31 Jul 2008)

Log Message:
-----------
fix for bug #2033067

Modified Paths:
--------------
    trunk/src/dl-learner/org/dllearner/refinementoperators/RhoDRDown.java

Modified: trunk/src/dl-learner/org/dllearner/refinementoperators/RhoDRDown.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/refinementoperators/RhoDRDown.java	2008-07-30 16:13:37 UTC (rev 1030)
+++ trunk/src/dl-learner/org/dllearner/refinementoperators/RhoDRDown.java	2008-07-31 10:10:18 UTC (rev 1031)
@@ -811,7 +811,11 @@
 		if(useCardinalityRestrictions) {
 			for(ObjectProperty r : rs.getMostGeneralRoles()) {
 				int maxFillers = maxNrOfFillers.get(r);
-				m4.add(new ObjectMaxCardinalityRestriction(maxFillers-1, r, new Thing()));
+				// zero fillers: <= -1 r.C does not make sense
+				// one filler: <= 0 r.C is equivalent to NOT EXISTS r.C,
+				// but we still keep it, because ALL r.NOT C may be difficult to reach
+				if(maxFillers > 0)
+					m4.add(new ObjectMaxCardinalityRestriction(maxFillers-1, r, new Thing()));
 			}			
 		}
 		m.put(4,m4);
@@ -909,7 +913,11 @@
 		if(useCardinalityRestrictions) {
 			for(ObjectProperty r : mgr.get(nc)) {
 				int maxFillers = maxNrOfFillers.get(r);
-				m4.add(new ObjectMaxCardinalityRestriction(maxFillers-1, r, new Thing()));
+				// zero fillers: <= -1 r.C does not make sense
+				// one filler: <= 0 r.C is equivalent to NOT EXISTS r.C,
+				// but we still keep it, because ALL r.NOT C may be difficult to reach
+				if(maxFillers > 0)				
+					m4.add(new ObjectMaxCardinalityRestriction(maxFillers-1, r, new Thing()));
 			}
 		}
 		mA.get(nc).put(4,m4);


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.