[DL-Learner SVN] SF.net SVN: dl-learner:[1683] trunk/src/dl-learner/org/dllearner

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

Revision: 1683
          http://dl-learner.svn.sourceforge.net/dl-learner/?rev=1683&view=rev
Author:   jenslehmann
Date:     2009-04-06 12:23:42 +0000 (Mon, 06 Apr 2009)

Log Message:
-----------
reasoning problem fixed (unit tests continued)

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

Modified: trunk/src/dl-learner/org/dllearner/reasoning/OWLAPIReasoner.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/reasoning/OWLAPIReasoner.java	2009-04-06 10:58:30 UTC (rev 1682)
+++ trunk/src/dl-learner/org/dllearner/reasoning/OWLAPIReasoner.java	2009-04-06 12:23:42 UTC (rev 1683)
@@ -638,7 +638,12 @@
 			if(set.size()==0)
 				return new Thing();
 			OWLClass oc = (OWLClass) set.iterator().next().iterator().next();
-			return new NamedClass(oc.getURI().toString());
+			String str = oc.getURI().toString();
+			if(str.equals("http://www.w3.org/2002/07/owl#Thing")) {
+				return new Thing();
+			} else {
+				return new NamedClass(str);
+			}
 		} catch (OWLReasonerException e) {
 			throw new Error(e);
 		}
@@ -657,7 +662,12 @@
 			if(set.size()==0)
 				return new Thing();
 			OWLClass oc = (OWLClass) set.iterator().next().iterator().next();
-			return new NamedClass(oc.getURI().toString());
+			String str = oc.getURI().toString();
+			if(str.equals("http://www.w3.org/2002/07/owl#Thing")) {
+				return new Thing();
+			} else {
+				return new NamedClass(str);
+			}			
 		} catch (OWLReasonerException e) {
 			throw new Error(e);
 		}		

Modified: trunk/src/dl-learner/org/dllearner/refinementoperators/RhoDRDown.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/refinementoperators/RhoDRDown.java	2009-04-06 10:58:30 UTC (rev 1682)
+++ trunk/src/dl-learner/org/dllearner/refinementoperators/RhoDRDown.java	2009-04-06 12:23:42 UTC (rev 1683)
@@ -393,8 +393,9 @@
 					computeTopRefinements(maxLength);
 				refinements = (TreeSet<Description>) topRefinementsCumulative.get(maxLength).clone();
 			} else {
-				if(maxLength>topARefinementsLength.get(currDomain))
+				if(maxLength>topARefinementsLength.get(currDomain)) {
 					computeTopRefinements(maxLength, (NamedClass) currDomain);
+				}
 				refinements = (TreeSet<Description>) topARefinementsCumulative.get(currDomain).get(maxLength).clone();
 			}
 			


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