[DL-Learner SVN] SF.net SVN: dl-learner:[3478] trunk/scripts/src/main/java/org/dllearner/ scripts/ApproximateDebugging.java

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

Revision: 3478
          http://dl-learner.svn.sourceforge.net/dl-learner/?rev=3478&view=rev
Author:   lorenz_b
Date:     2011-12-06 15:01:09 +0000 (Tue, 06 Dec 2011)
Log Message:
-----------
Added logging and file appender.

Modified Paths:
--------------
    trunk/scripts/src/main/java/org/dllearner/scripts/ApproximateDebugging.java

Modified: trunk/scripts/src/main/java/org/dllearner/scripts/ApproximateDebugging.java
===================================================================
--- trunk/scripts/src/main/java/org/dllearner/scripts/ApproximateDebugging.java	2011-12-06 14:36:59 UTC (rev 3477)
+++ trunk/scripts/src/main/java/org/dllearner/scripts/ApproximateDebugging.java	2011-12-06 15:01:09 UTC (rev 3478)
@@ -14,6 +14,7 @@
 import java.util.TreeSet;
 
 import org.apache.log4j.ConsoleAppender;
+import org.apache.log4j.FileAppender;
 import org.apache.log4j.Level;
 import org.apache.log4j.Logger;
 import org.apache.log4j.SimpleLayout;
@@ -232,10 +233,13 @@
 	public Set<Set<OWLAxiom>> computeExplanationsDefault(int limit){
 		reasoner = PelletReasonerFactory.getInstance().createNonBufferingReasoner(schema);
 		reasoner.isConsistent();
-		
+		logger.info("Computing inconsistency explanations with only Pellet...");
+		long startTime = System.currentTimeMillis();
 		PelletExplanation expGen = new PelletExplanation(reasoner);
-		
-		return expGen.getInconsistencyExplanations(limit);
+		Set<Set<OWLAxiom>> explanations = expGen.getInconsistencyExplanations(limit);
+		logger.info("done in " + (System.currentTimeMillis()-startTime) + "ms.");
+		logger.info("#Explanations: " + explanations.size());
+		return explanations;
 	}
 	
 	private Set<OWLObjectProperty> getUnsatisfiableObjectProperties(PelletReasoner reasoner){
@@ -471,6 +475,7 @@
 		Logger.getRootLogger().setLevel(Level.INFO);
 		Logger.getRootLogger().removeAllAppenders();
 		Logger.getRootLogger().addAppender(new ConsoleAppender(new SimpleLayout()));
+		Logger.getRootLogger().addAppender(new FileAppender(new SimpleLayout(), "log/approx_debug.log"));
 		
 		PelletOptions.USE_UNIQUE_NAME_ASSUMPTION = true;
 		String resource = "http://dbpedia.org/resource/Brad_Pitt";

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