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

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

Revision: 3574
          http://dl-learner.svn.sourceforge.net/dl-learner/?rev=3574&view=rev
Author:   lorenz_b
Date:     2012-02-07 09:53:33 +0000 (Tue, 07 Feb 2012)
Log Message:
-----------
Continued option to debug classes and properties in one step or sequentially.

Modified Paths:
--------------
    trunk/components-core/src/main/java/org/dllearner/utilities/JustificationBasedCoherentOntologyExtractor.java

Modified: trunk/components-core/src/main/java/org/dllearner/utilities/JustificationBasedCoherentOntologyExtractor.java
===================================================================
--- trunk/components-core/src/main/java/org/dllearner/utilities/JustificationBasedCoherentOntologyExtractor.java	2012-02-07 09:48:07 UTC (rev 3573)
+++ trunk/components-core/src/main/java/org/dllearner/utilities/JustificationBasedCoherentOntologyExtractor.java	2012-02-07 09:53:33 UTC (rev 3574)
@@ -129,7 +129,9 @@
 		//compute the unsatisfiable object properties and their corresponding modules
 		unsatObjectProperties = getUnsatisfiableObjectProperties(reasoner);
 		logger.info("Found unsatisfiable object properties: " + unsatObjectProperties.size());
-		entity2ModuleMap.putAll(extractModules(unsatObjectProperties));
+		if(computeParallel){
+			entity2ModuleMap.putAll(extractModules(unsatObjectProperties));
+		}
 		
 		//start main process, either preferring root classes or not
 		if(preferRoots){
@@ -240,9 +242,14 @@
 			
 			System.gc();
 		}
+		entity2Explanations.clear();
+		entity2ModuleMap.clear();
+		
 		if(!computeParallel){
 			unsatObjectProperties = getUnsatisfiableObjectProperties(reasoner);
 			logger.info("Remaining unsatisfiable object properties: " + unsatObjectProperties.size());
+			
+			entity2ModuleMap.putAll(extractModules(unsatObjectProperties));
 			while(!unsatObjectProperties.isEmpty()){
 				//get frequency for each axiom
 				Map<OWLAxiom, Integer> axiom2CountMap = getAxiomFrequency(entity2Explanations);

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