[DL-Learner SVN] SF.net SVN: dl-learner:[1690] trunk/src/dl-learner/org/dllearner/reasoning/ FastInstanceChecker.java

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

Revision: 1690
          http://dl-learner.svn.sourceforge.net/dl-learner/?rev=1690&view=rev
Author:   jenslehmann
Date:     2009-04-09 09:31:24 +0000 (Thu, 09 Apr 2009)

Log Message:
-----------
possibility to switch between own implentation of retrieval and standard reasoner

Modified Paths:
--------------
    trunk/src/dl-learner/org/dllearner/reasoning/FastInstanceChecker.java

Modified: trunk/src/dl-learner/org/dllearner/reasoning/FastInstanceChecker.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/reasoning/FastInstanceChecker.java	2009-04-08 14:18:01 UTC (rev 1689)
+++ trunk/src/dl-learner/org/dllearner/reasoning/FastInstanceChecker.java	2009-04-09 09:31:24 UTC (rev 1690)
@@ -496,8 +496,30 @@
 	}
 
 	@Override
+	public SortedSet<Individual> getIndividualsImpl(Description concept) throws ReasoningMethodUnsupportedException {
+		return getIndividualsImplFast(concept);
+	}
+	
+	public SortedSet<Individual> getIndividualsImplStandard(Description concept)
+		throws ReasoningMethodUnsupportedException {
+		if (concept instanceof NamedClass) {
+	 		return classInstancesPos.get((NamedClass) concept);
+	 	} else if (concept instanceof Negation && concept.getChild(0) instanceof NamedClass) {
+	 		return classInstancesNeg.get((NamedClass) concept.getChild(0));
+	 	}
+	 
+	 	// return rs.retrieval(concept);
+	 	SortedSet<Individual> inds = new TreeSet<Individual>();
+	 	for (Individual i : individuals) {
+	 		if (hasType(concept, i)) {
+	 			inds.add(i);
+	 		}
+	 	}
+		return inds;
+	}
+	
 	@SuppressWarnings("unchecked")
-	public SortedSet<Individual> getIndividualsImpl(Description description)
+	public SortedSet<Individual> getIndividualsImplFast(Description description)
 			throws ReasoningMethodUnsupportedException {
 		// policy: returned sets are clones, i.e. can be modified
 		// (of course we only have to clone the leafs of a class description tree)


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