[DL-Learner SVN] SF.net SVN: dl-learner:[1551] trunk/src/dl-learner/org/dllearner/ learningproblems/PosNegInclusionLP.java

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

Revision: 1551
          http://dl-learner.svn.sourceforge.net/dl-learner/?rev=1551&view=rev
Author:   jenslehmann
Date:     2008-12-12 15:42:11 +0000 (Fri, 12 Dec 2008)

Log Message:
-----------
added transformation to negation normal form, such that inclusion axioms can be learned with FastInstanceChecker

Modified Paths:
--------------
    trunk/src/dl-learner/org/dllearner/learningproblems/PosNegInclusionLP.java

Modified: trunk/src/dl-learner/org/dllearner/learningproblems/PosNegInclusionLP.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/learningproblems/PosNegInclusionLP.java	2008-12-12 13:09:10 UTC (rev 1550)
+++ trunk/src/dl-learner/org/dllearner/learningproblems/PosNegInclusionLP.java	2008-12-12 15:42:11 UTC (rev 1551)
@@ -29,8 +29,10 @@
 import org.dllearner.core.owl.Description;
 import org.dllearner.core.owl.Individual;
 import org.dllearner.core.owl.Negation;
+import org.dllearner.reasoning.FastInstanceChecker;
 import org.dllearner.utilities.Helper;
 import org.dllearner.utilities.datastructures.SetManipulation;
+import org.dllearner.utilities.owl.ConceptTransformation;
 
 /**
  * The aim of this learning problem is to find an appropriate inclusion axiom
@@ -191,6 +193,11 @@
 	 */
 	@Override
 	public Score computeScore(Description concept) {
+		// FastInstanceChecker supports only negation normal form, so we have to make
+		// sure to convert the description before
+		if(reasoner instanceof FastInstanceChecker) {
+			return definitionLP.computeScore(ConceptTransformation.transformToNegationNormalForm(new Negation(concept)));
+		}
 		return definitionLP.computeScore(new Negation(concept));
 	}
 


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