[DL-Learner SVN] SF.net SVN: dl-learner:[1319] trunk/src/dl-learner/org/dllearner/core/ ReasoningService.java

[<ku...@us...>]

Revision: 1319
          http://dl-learner.svn.sourceforge.net/dl-learner/?rev=1319&view=rev
Author:   kurzum
Date:     2008-09-30 12:15:15 +0000 (Tue, 30 Sep 2008)

Log Message:
-----------
servercommit

Modified Paths:
--------------
    trunk/src/dl-learner/org/dllearner/core/ReasoningService.java

Modified: trunk/src/dl-learner/org/dllearner/core/ReasoningService.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/ReasoningService.java	2008-09-30 12:11:29 UTC (rev 1318)
+++ trunk/src/dl-learner/org/dllearner/core/ReasoningService.java	2008-09-30 12:15:15 UTC (rev 1319)
@@ -171,6 +171,7 @@
 	}
 
 	public boolean instanceCheck(Description concept, Individual s) {
+		logger.debug(concept.toKBSyntaxString());
 		reasoningStartTimeTmp = System.nanoTime();
 		boolean result = false;
 		try {
@@ -186,6 +187,7 @@
 	}
 
 	public SortedSet<Individual> instanceCheck(Description concept, Set<Individual> s) {
+		logger.debug(concept.toKBSyntaxString());
 		reasoningStartTimeTmp = System.nanoTime();
 		SortedSet<Individual> result = null;
 		try {


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