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

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

Revision: 2083
          http://dl-learner.svn.sourceforge.net/dl-learner/?rev=2083&view=rev
Author:   jenslehmann
Date:     2010-03-03 14:00:10 +0000 (Wed, 03 Mar 2010)

Log Message:
-----------
added tracing to some reasoner queries

Modified Paths:
--------------
    trunk/src/dl-learner/org/dllearner/core/ReasonerComponent.java
    trunk/src/dl-learner/org/dllearner/test/junit/RefinementOperatorTests.java

Modified: trunk/src/dl-learner/org/dllearner/core/ReasonerComponent.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/ReasonerComponent.java	2010-03-03 13:22:07 UTC (rev 2082)
+++ trunk/src/dl-learner/org/dllearner/core/ReasonerComponent.java	2010-03-03 14:00:10 UTC (rev 2083)
@@ -19,6 +19,7 @@
  */
 package org.dllearner.core;
 
+import java.text.DecimalFormat;
 import java.util.HashSet;
 import java.util.LinkedList;
 import java.util.List;
@@ -45,6 +46,7 @@
 import org.dllearner.core.owl.ClassHierarchy;
 import org.dllearner.core.owl.Thing;
 import org.dllearner.reasoning.ReasonerType;
+import org.dllearner.utilities.Helper;
 import org.dllearner.utilities.datastructures.SortedSetTuple;
 import org.dllearner.utilities.owl.ConceptComparator;
 import org.dllearner.utilities.owl.OWLVocabulary;
@@ -234,6 +236,9 @@
 		reasoningDurationTmp = System.nanoTime() - reasoningStartTimeTmp;
 		subsumptionReasoningTimeNs += reasoningDurationTmp;
 		overallReasoningTimeNs += reasoningDurationTmp;
+		if(logger.isTraceEnabled()) {
+			logger.trace("reasoner query isSuperClassOf: " + superClass + " " + subClass + " " + result);
+		}
 		return result;
 	}
 
@@ -255,6 +260,9 @@
 		reasoningDurationTmp = System.nanoTime() - reasoningStartTimeTmp;
 		subsumptionReasoningTimeNs += reasoningDurationTmp;
 		overallReasoningTimeNs += reasoningDurationTmp;
+		if(logger.isTraceEnabled()) {
+			logger.trace("reasoner query isEquivalentClass: " + class1 + " " + class2 + " " + result);
+		}
 		return result;
 	}
 
@@ -340,6 +348,9 @@
 		reasoningDurationTmp = System.nanoTime() - reasoningStartTimeTmp;
 		retrievalReasoningTimeNs += reasoningDurationTmp;
 		overallReasoningTimeNs += reasoningDurationTmp;
+		if(logger.isTraceEnabled()) {
+			logger.trace("reasoner query getIndividuals: " + concept + " " + result);
+		}
 		return result;
 	}
 
@@ -1168,4 +1179,39 @@
 		return nrOfMultiInstanceChecks;
 	}
 
+	@Override
+	public String toString() {
+		String str = "";
+		if (nrOfRetrievals > 0) {
+			str += "number of retrievals: " + nrOfRetrievals + "\n";
+			str += "retrieval reasoning time: "
+							+ Helper.prettyPrintNanoSeconds(retrievalReasoningTimeNs)
+							+ " ( " + Helper.prettyPrintNanoSeconds(getTimePerRetrievalNs())
+							+ " per retrieval)" + "\n";
+		}
+		if (nrOfInstanceChecks > 0) {
+			str += "number of instance checks: " + nrOfInstanceChecks + " ("
+					+ nrOfMultiInstanceChecks + " multiple)\n";
+			str += "instance check reasoning time: "
+					+ Helper.prettyPrintNanoSeconds(instanceCheckReasoningTimeNs) + " ( "
+					+ Helper.prettyPrintNanoSeconds(getTimePerInstanceCheckNs())
+					+ " per instance check)\n";
+		}
+		if (nrOfSubsumptionHierarchyQueries > 0) {
+			str += "subsumption hierarchy queries: "
+					+ nrOfSubsumptionHierarchyQueries + "\n";
+		}
+		if (nrOfSubsumptionChecks > 0) {
+			str += "(complex) subsumption checks: " + nrOfSubsumptionChecks
+					+ " (" + nrOfMultiSubsumptionChecks + " multiple)\n";
+			str += "subsumption reasoning time: "
+					+ Helper.prettyPrintNanoSeconds(subsumptionReasoningTimeNs) + " ( "
+					+ Helper.prettyPrintNanoSeconds(getTimePerSubsumptionCheckNs())
+					+ " per subsumption check)\n";
+		}
+		str += "overall reasoning time: "
+				+ Helper.prettyPrintNanoSeconds(overallReasoningTimeNs) + "\n";	
+		return str;
+	}
+	
 }

Modified: trunk/src/dl-learner/org/dllearner/test/junit/RefinementOperatorTests.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/test/junit/RefinementOperatorTests.java	2010-03-03 13:22:07 UTC (rev 2082)
+++ trunk/src/dl-learner/org/dllearner/test/junit/RefinementOperatorTests.java	2010-03-03 14:00:10 UTC (rev 2083)
@@ -26,6 +26,8 @@
 import java.util.Set;
 import java.util.TreeSet;
 
+import org.apache.log4j.Level;
+import org.apache.log4j.Logger;
 import org.dllearner.algorithms.refinement2.ROLComponent2;
 import org.dllearner.core.ComponentInitException;
 import org.dllearner.core.ComponentManager;
@@ -219,6 +221,7 @@
 	
 	@Test
 	public void rhoDownTestPellet() {
+		Logger.getRootLogger().setLevel(Level.TRACE);
 		ReasonerComponent rs = TestOntologies.getTestOntology(TestOntology.FATHER);
 		RhoDRDown rho = new RhoDRDown(rs);
 		NamedClass nc = new NamedClass("http://example.com/father#male");
@@ -235,6 +238,7 @@
 		//		(male AND male AND male) 
 		//		(male AND (NOT female)) 
 		//		(male AND EXISTS hasChild.TOP) 
+		System.out.println(rs);
 		assertTrue(refinements.size()==8);		
 	}
 	


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