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

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

Revision: 278
          http://dl-learner.svn.sourceforge.net/dl-learner/?rev=278&view=rev
Author:   jenslehmann
Date:     2007-11-11 01:19:18 -0800 (Sun, 11 Nov 2007)

Log Message:
-----------
small fixes in component tester and reasoning service

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

Modified: trunk/src/dl-learner/org/dllearner/core/ComponentTest.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/ComponentTest.java	2007-11-05 13:07:09 UTC (rev 277)
+++ trunk/src/dl-learner/org/dllearner/core/ComponentTest.java	2007-11-11 09:19:18 UTC (rev 278)
@@ -44,8 +44,6 @@
 		// get singleton instance of component manager
 		ComponentManager cm = ComponentManager.getInstance();
 		
-		cm.writeConfigDocumentation(new File("doc/configOptionsNew.txt"));
-		
 		// create knowledge source
 		KnowledgeSource source = cm.knowledgeSource(OWLFile.class);
 		String example = "examples/father.owl";
@@ -55,8 +53,8 @@
 		// create DIG reasoning service with standard settings
 		ReasonerComponent reasoner = cm.reasoner(DIGReasoner.class, source);
 		// ReasoningService rs = cm.reasoningService(DIGReasonerNew.class, source);
-		ReasoningService rs = cm.reasoningService(reasoner);
 		reasoner.init();
+		ReasoningService rs = cm.reasoningService(reasoner);
 		
 		// create a learning problem and set positive and negative examples
 		LearningProblem lp = cm.learningProblem(PosNegDefinitionLP.class, rs);

Modified: trunk/src/dl-learner/org/dllearner/core/ReasoningService.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/ReasoningService.java	2007-11-05 13:07:09 UTC (rev 277)
+++ trunk/src/dl-learner/org/dllearner/core/ReasoningService.java	2007-11-11 09:19:18 UTC (rev 278)
@@ -21,6 +21,7 @@
 package org.dllearner.core;
 
 import java.io.File;
+import java.util.LinkedList;
 import java.util.List;
 import java.util.Map;
 import java.util.Set;
@@ -84,32 +85,19 @@
 	// private Map<Concept,Set<Concept>> moreSpecialConcepts = new HashMap<Concept,Set<Concept>>();
 	
 	private Reasoner reasoner;
-
-	// Beachte: wenn Wissensbasis modifiziert wird, muss ein neues
-	// Reasoner-Objekt
-	// angelegt werden (da Wissensbasis sofort entsprechend verwendetem
-	// Reasoning-Typ
-	// umgewandelt wird)
-	public ReasoningService(Reasoner reasoner) {
-		this.reasoner = reasoner;
-
-		resetStatistics();
-	}
 	
+	// note that you must not modify the underlying knowledge base of
+	// a reasoning service (if you do, you have to create a new reasoning
+	// service object)
 	public ReasoningService(ReasonerComponent reasoner) {
 		this.reasoner = reasoner;
-	}
-	
-	/*
-	public void init() {
-		// temporary ugly hack to keep old version working
-		((ReasonerComponent)reasoner).init();
-		
-		// Listenansicht
+
+		// list view
 		atomicConceptsList = new LinkedList<AtomicConcept>(getAtomicConcepts());
-		atomicRolesList = new LinkedList<AtomicRole>(getAtomicRoles());		
+		atomicRolesList = new LinkedList<AtomicRole>(getAtomicRoles());	
+		
+		resetStatistics();		
 	}
-	*/
 	
 	// zurücksetzen aller Statistiken (wenn z.B. vorher ein Satisfiability Check gemacht wird,
 	// der allerdings nicht zum eigentlichen Algorithmus gehört)


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