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

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

Revision: 787
          http://dl-learner.svn.sourceforge.net/dl-learner/?rev=787&view=rev
Author:   kurzum
Date:     2008-04-14 15:45:16 -0700 (Mon, 14 Apr 2008)

Log Message:
-----------
added config option reasonertype for fastinstancechecker to be able to use it with fact

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

Modified: trunk/src/dl-learner/org/dllearner/reasoning/FastInstanceChecker.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/reasoning/FastInstanceChecker.java	2008-04-14 14:45:06 UTC (rev 786)
+++ trunk/src/dl-learner/org/dllearner/reasoning/FastInstanceChecker.java	2008-04-14 22:45:16 UTC (rev 787)
@@ -20,6 +20,8 @@
 package org.dllearner.reasoning;
 
 import java.io.File;
+import java.util.Collection;
+import java.util.LinkedList;
 import java.util.List;
 import java.util.Map;
 import java.util.Set;
@@ -35,7 +37,9 @@
 import org.dllearner.core.ReasoningMethodUnsupportedException;
 import org.dllearner.core.ReasoningService;
 import org.dllearner.core.config.ConfigEntry;
+import org.dllearner.core.config.ConfigOption;
 import org.dllearner.core.config.InvalidConfigOptionValueException;
+import org.dllearner.core.config.StringConfigOption;
 import org.dllearner.core.owl.BooleanValueRestriction;
 import org.dllearner.core.owl.DataRange;
 import org.dllearner.core.owl.DatatypeProperty;
@@ -86,6 +90,8 @@
 
 	private boolean defaultNegation = true;
 	
+	private String reasonerType = "pellet";
+	
 	private Set<NamedClass> atomicConcepts;
 	private Set<ObjectProperty> atomicRoles;
 	private SortedSet<DatatypeProperty> datatypeProperties;
@@ -119,6 +125,17 @@
 		this.sources = sources;
 	}
 
+	
+	public static Collection<ConfigOption<?>> createConfigOptions() {
+		Collection<ConfigOption<?>> options = new LinkedList<ConfigOption<?>>();
+		StringConfigOption type = new StringConfigOption("reasonerType", "FaCT++ or Pellet to dematerialize", "pellet");
+		type.setAllowedValues(new String[] {"fact", "pellet"});
+		// closure option? see:
+		// http://owlapi.svn.sourceforge.net/viewvc/owlapi/owl1_1/trunk/tutorial/src/main/java/uk/ac/manchester/owl/tutorial/examples/ClosureAxiomsExample.java?view=markup
+		options.add(type);
+		return options;
+	}	
+	
 	/*
 	 * (non-Javadoc)
 	 * 
@@ -126,7 +143,9 @@
 	 */
 	@Override
 	public <T> void applyConfigEntry(ConfigEntry<T> entry) throws InvalidConfigOptionValueException {
-
+		String name = entry.getOptionName();
+		if(name.equals("reasonerType"))
+			reasonerType = (String) entry.getValue();
 	}
 
 	public static String getName() {
@@ -142,6 +161,8 @@
 	@Override
 	public void init() throws ComponentInitException {
 		rc = new OWLAPIReasoner(sources);
+		//TODO make it nice
+		rc.setReasonerType(reasonerType);
 		rc.init();
 
 		try {
@@ -598,4 +619,8 @@
 		rc.releaseKB();
 	}	
 	
+	public void setReasonerType(String type){
+		reasonerType=type;
+	}
+	
 }

Modified: trunk/src/dl-learner/org/dllearner/reasoning/OWLAPIReasoner.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/reasoning/OWLAPIReasoner.java	2008-04-14 14:45:06 UTC (rev 786)
+++ trunk/src/dl-learner/org/dllearner/reasoning/OWLAPIReasoner.java	2008-04-14 22:45:16 UTC (rev 787)
@@ -892,5 +892,9 @@
 	public List<OWLOntology> getOWLAPIOntologies() {
 		return owlAPIOntologies;
 	}
+	
+	public void setReasonerType(String type){
+		reasonerType=type;
+	}
 
 }


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