[DL-Learner SVN] SF.net SVN: dl-learner:[3265] trunk/components-core/src/main/java/org/ dllearner

[<lor...@us...>]

Revision: 3265
          http://dl-learner.svn.sourceforge.net/dl-learner/?rev=3265&view=rev
Author:   lorenz_b
Date:     2011-09-14 19:19:58 +0000 (Wed, 14 Sep 2011)
Log Message:
-----------
Fixed problem with new OWL API.

Modified Paths:
--------------
    trunk/components-core/src/main/java/org/dllearner/core/ComponentManager.java
    trunk/components-core/src/main/java/org/dllearner/reasoning/PelletReasoner.java

Modified: trunk/components-core/src/main/java/org/dllearner/core/ComponentManager.java
===================================================================
--- trunk/components-core/src/main/java/org/dllearner/core/ComponentManager.java	2011-09-14 17:44:57 UTC (rev 3264)
+++ trunk/components-core/src/main/java/org/dllearner/core/ComponentManager.java	2011-09-14 19:19:58 UTC (rev 3265)
@@ -111,7 +111,7 @@
             "org.dllearner.reasoning.PelletReasoner",
 //learning problems
             "org.dllearner.learningproblems.PosNegLPStandard",
-            "org.dllearner.learningproblems.fuzzydll.FuzzyPosNegLPStandard", // added by Josue
+            "org.dllearner.learningproblems.FuzzyPosNegLPStandard", // added by Josue
             "org.dllearner.learningproblems.PosNegLPStrict",
             "org.dllearner.learningproblems.PosOnlyLP",
             "org.dllearner.learningproblems.ClassLearningProblem",

Modified: trunk/components-core/src/main/java/org/dllearner/reasoning/PelletReasoner.java
===================================================================
--- trunk/components-core/src/main/java/org/dllearner/reasoning/PelletReasoner.java	2011-09-14 17:44:57 UTC (rev 3264)
+++ trunk/components-core/src/main/java/org/dllearner/reasoning/PelletReasoner.java	2011-09-14 19:19:58 UTC (rev 3265)
@@ -1010,6 +1010,9 @@
 	// policy: returned sets are clones, i.e. can be modified
 	// (of course we only have to clone the leafs of a class description tree)
 	if (description instanceof NamedClass) {
+		if(((NamedClass) description).getName().equals("http://www.w3.org/2002/07/owl#Nothing")){
+			return new TreeSet<Individual>();
+		}
 		return (TreeSet<Individual>) classInstancesPos.get((NamedClass) description).clone();
 	} else if (description instanceof Negation) {
 		if(description.getChild(0) instanceof NamedClass) {

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