Menu
▾
▴
[DL-Learner SVN] SF.net SVN: dl-learner: [584] trunk/src/dl-learner/org/dllearner
|
From: <jen...@us...> - 2008-02-17 09:37:49
|
Revision: 584
http://dl-learner.svn.sourceforge.net/dl-learner/?rev=584&view=rev
Author: jenslehmann
Date: 2008-02-17 01:37:42 -0800 (Sun, 17 Feb 2008)
Log Message:
-----------
- switched off extensive Pellet logging output when reasoning over OWL API
- test results: using Pellet 1.5.1 via OWP API is now significantly faster compared to using Pellet 1.1 via DIG
- DL-Learner with OWP API reasoning could be used as a Java Webstart application
Modified Paths:
--------------
trunk/src/dl-learner/org/dllearner/reasoning/OWLAPIReasoner.java
Added Paths:
-----------
trunk/src/dl-learner/org/dllearner/utilities/Logging.java
Modified: trunk/src/dl-learner/org/dllearner/reasoning/OWLAPIReasoner.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/reasoning/OWLAPIReasoner.java 2008-02-16 14:10:01 UTC (rev 583)
+++ trunk/src/dl-learner/org/dllearner/reasoning/OWLAPIReasoner.java 2008-02-17 09:37:42 UTC (rev 584)
@@ -25,13 +25,20 @@
import java.net.URL;
import java.util.Collection;
import java.util.Comparator;
+import java.util.Enumeration;
import java.util.HashSet;
import java.util.LinkedList;
import java.util.Set;
import java.util.SortedSet;
import java.util.TreeMap;
import java.util.TreeSet;
+import java.util.Vector;
+import org.apache.commons.logging.impl.Log4JLogger;
+import org.apache.log4j.Level;
+import org.apache.log4j.LogManager;
+import org.apache.log4j.Logger;
+import org.apache.log4j.spi.LoggerRepository;
import org.dllearner.core.KnowledgeSource;
import org.dllearner.core.ReasonerComponent;
import org.dllearner.core.config.ConfigEntry;
@@ -66,6 +73,7 @@
import org.dllearner.core.owl.TransitiveObjectPropertyAxiom;
import org.dllearner.kb.OWLFile;
import org.dllearner.utilities.ConceptComparator;
+import org.dllearner.utilities.Logging;
import org.dllearner.utilities.RoleComparator;
import org.semanticweb.owl.apibinding.OWLManager;
import org.semanticweb.owl.inference.OWLReasoner;
@@ -97,7 +105,7 @@
*/
public class OWLAPIReasoner extends ReasonerComponent {
- private String reasonerType = "fact";
+ private String reasonerType = "pellet";
private Set<KnowledgeSource> sources;
private OWLReasoner reasoner;
@@ -127,9 +135,9 @@
public static Collection<ConfigOption<?>> createConfigOptions() {
Collection<ConfigOption<?>> options = new LinkedList<ConfigOption<?>>();
- StringConfigOption type = new StringConfigOption("reasonerType", "FaCT++ or Pellet", "FaCT++");
+ StringConfigOption type = new StringConfigOption("reasonerType", "FaCT++ or Pellet", "pellet");
type.setAllowedValues(new String[] {"fact", "pellet"});
- // closure-Option? siehe:
+ // 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;
@@ -204,6 +212,9 @@
} else {
// instantiate Pellet reasoner
reasoner = new org.mindswap.pellet.owlapi.Reasoner(manager);
+
+ Logger pelletLogger = Logger.getLogger("org.mindswap.pellet");
+ pelletLogger.setLevel(Level.WARN);
}
/*
Added: trunk/src/dl-learner/org/dllearner/utilities/Logging.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/utilities/Logging.java (rev 0)
+++ trunk/src/dl-learner/org/dllearner/utilities/Logging.java 2008-02-17 09:37:42 UTC (rev 584)
@@ -0,0 +1,61 @@
+/**
+ * Copyright (C) 2007-2008, Jens Lehmann
+ *
+ * This file is part of DL-Learner.
+ *
+ * DL-Learner is free software; you can redistribute it and/or modify
+ * it under the terms of the GNU General Public License as published by
+ * the Free Software Foundation; either version 3 of the License, or
+ * (at your option) any later version.
+ *
+ * DL-Learner is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with this program. If not, see <http://www.gnu.org/licenses/>.
+ *
+ */
+package org.dllearner.utilities;
+
+import java.util.Enumeration;
+
+import org.apache.log4j.Appender;
+import org.apache.log4j.Level;
+import org.apache.log4j.LogManager;
+import org.apache.log4j.Logger;
+import org.apache.log4j.spi.LoggerRepository;
+
+/**
+ * Logging centered utility class.
+ *
+ * @author Jens Lehmann
+ *
+ */
+public class Logging {
+
+ /**
+ * Prints the currently available log4j loggers to system out.
+ */
+ @SuppressWarnings({"unchecked"})
+ public static void printCurrentLoggers() {
+ LoggerRepository rep = LogManager.getLoggerRepository();
+ Enumeration<Logger> e = rep.getCurrentLoggers();
+ while(e.hasMoreElements()) {
+ Logger l = e.nextElement();
+ String name = l.getName();
+ Level level = l.getLevel();
+ Enumeration<Appender> appenders = l.getAllAppenders();
+
+ if(appenders.hasMoreElements())
+ System.out.println("APPENDER: " + appenders.nextElement());
+
+ System.out.println("name : " + name);
+ System.out.println("level: " + level);
+ System.out.println("appenders: " + appenders);
+ System.out.println();
+ }
+ }
+
+}
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
