[DL-Learner SVN] SF.net SVN: dl-learner:[3777] trunk

[<lor...@us...>]

Revision: 3777
          http://dl-learner.svn.sourceforge.net/dl-learner/?rev=3777&view=rev
Author:   lorenz_b
Date:     2012-07-11 12:56:58 +0000 (Wed, 11 Jul 2012)
Log Message:
-----------
Added option to use ELK and CEL reasoner.

Modified Paths:
--------------
    trunk/components-core/pom.xml
    trunk/components-core/src/main/java/org/dllearner/reasoning/OWLAPIReasoner.java
    trunk/pom.xml

Modified: trunk/components-core/pom.xml
===================================================================
--- trunk/components-core/pom.xml	2012-07-07 11:36:11 UTC (rev 3776)
+++ trunk/components-core/pom.xml	2012-07-11 12:56:58 UTC (rev 3777)
@@ -227,6 +227,22 @@
         	<groupId>commons-pool</groupId>
         	<artifactId>commons-pool</artifactId>
         </dependency>
+        <dependency>
+        	<groupId>org.semanticweb.elk</groupId>
+        	<artifactId>elk-owlapi</artifactId>
+        	<version>0.2.0</version>
+        </dependency>
+           <dependency>
+        	<groupId>de.tudresden.inf.lat.cel</groupId>
+        	<artifactId>reasoner</artifactId>
+        	<version>0.5.1</version>
+        </dependency>
+         <dependency>
+        	<groupId>de.tudresden.inf.lat.cel</groupId>
+        	<artifactId>jsexp</artifactId>
+        	<version>0.1.0</version>
+        </dependency>
+        
 	</dependencies>
 	<dependencyManagement>
 		<dependencies>

Modified: trunk/components-core/src/main/java/org/dllearner/reasoning/OWLAPIReasoner.java
===================================================================
--- trunk/components-core/src/main/java/org/dllearner/reasoning/OWLAPIReasoner.java	2012-07-07 11:36:11 UTC (rev 3776)
+++ trunk/components-core/src/main/java/org/dllearner/reasoning/OWLAPIReasoner.java	2012-07-11 12:56:58 UTC (rev 3777)
@@ -72,6 +72,7 @@
 import org.dllearner.utilities.owl.OWLAPIDescriptionConvertVisitor;
 import org.dllearner.utilities.owl.RoleComparator;
 import org.semanticweb.HermiT.Reasoner.ReasonerFactory;
+import org.semanticweb.elk.owlapi.ElkReasonerFactory;
 import org.semanticweb.owlapi.apibinding.OWLManager;
 import org.semanticweb.owlapi.model.AddAxiom;
 import org.semanticweb.owlapi.model.AddImport;
@@ -122,6 +123,8 @@
 
 import com.clarkparsia.pellet.owlapiv3.PelletReasonerFactory;
 
+import de.tudresden.inf.lat.cel.owlapi.CelReasoner;
+
 /**
  * Mapping to OWL API reasoner interface. The OWL API currently
  * supports three reasoners: FaCT++, HermiT and Pellet. FaCT++ is connected
@@ -169,7 +172,7 @@
 
     // references to OWL API ontologies
     private List<OWLOntology> owlAPIOntologies = new LinkedList<OWLOntology>();
-    @ConfigOption(name = "reasonerType", description = "The name of the OWL APIReasoner to use {\"fact\", \"hermit\", \"owllink\", \"pellet\"}", defaultValue = "pellet", required = false, propertyEditorClass = StringTrimmerEditor.class)
+    @ConfigOption(name = "reasonerType", description = "The name of the OWL APIReasoner to use {\"fact\", \"hermit\", \"owllink\", \"pellet\", \"elk\", \"cel\"}", defaultValue = "pellet", required = false, propertyEditorClass = StringTrimmerEditor.class)
     private String reasonerTypeString = "pellet";
     @ConfigOption(name = "owlLinkURL", description = "The URL to the owl server", defaultValue = "", required = false, propertyEditorClass = StringTrimmerEditor.class)
     private String owlLinkURL;
@@ -305,6 +308,12 @@
             // output will be very large
             Logger pelletLogger = Logger.getLogger("org.mindswap.pellet");
             pelletLogger.setLevel(Level.WARN);
+        } else if (getReasonerTypeString().equals("elk")) {
+            // instantiate ELK reasoner
+            reasoner = new ElkReasonerFactory().createNonBufferingReasoner(ontology, conf);
+        } else if (getReasonerTypeString().equals("cel")) {
+            // instantiate CEL reasoner
+            reasoner = new CelReasoner(ontology, conf);
         } else {
             try {
                 OWLlinkHTTPXMLReasonerFactory factory = new OWLlinkHTTPXMLReasonerFactory();

Modified: trunk/pom.xml
===================================================================
--- trunk/pom.xml	2012-07-07 11:36:11 UTC (rev 3776)
+++ trunk/pom.xml	2012-07-11 12:56:58 UTC (rev 3777)
@@ -119,11 +119,6 @@
 			as version is retrieved from the parent. - - Remember, default scope is compile
 			in Maven. -->
 		<dependencies>
-		<dependency>
-   <groupId>org.apache.jena</groupId>
-      <artifactId>jena-iri</artifactId>
-      <version>0.9.1-incubating-20120305.120450-12</version>
-    </dependency>
 			<dependency>
 				<groupId>net.sourceforge.owlapi</groupId>
 				<artifactId>owlapi</artifactId>
@@ -505,6 +500,12 @@
 			<url>http://maven.aksw.org/archiva/repository/snapshots</url>
             <snapshots/>
 		</repository>
+		<repository>
+			<id>elk.reasoner</id>
+			<name>ELK Reasoner Repository</name>
+			<url>http://elk-reasoner.googlecode.com/svn/m2/releases</url>
+            <releases/>
+		</repository>
 	</repositories>
 
 	<distributionManagement>

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