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

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

Revision: 1698
          http://dl-learner.svn.sourceforge.net/dl-learner/?rev=1698&view=rev
Author:   jenslehmann
Date:     2009-04-14 08:11:55 +0000 (Tue, 14 Apr 2009)

Log Message:
-----------
workaround for Pellet bug in 2.0RC5

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

Modified: trunk/src/dl-learner/org/dllearner/reasoning/OWLAPIReasoner.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/reasoning/OWLAPIReasoner.java	2009-04-14 07:50:37 UTC (rev 1697)
+++ trunk/src/dl-learner/org/dllearner/reasoning/OWLAPIReasoner.java	2009-04-14 08:11:55 UTC (rev 1698)
@@ -1059,7 +1059,12 @@
 		}
 		
 		try {
-			consistent = reasoner.isConsistent(ontology);
+			// workaround due to a bug in Pellet 2.0RC (see PelletBug.java und PelletBug2.java)
+			if(configurator.getReasonerType().equals("pellet")) {
+				consistent = ((org.mindswap.pellet.owlapi.Reasoner)reasoner).isConsistent();
+			} else {
+				consistent = reasoner.isConsistent(ontology);
+			}
 		} catch (OWLReasonerException e) {
 			e.printStackTrace();
 		}


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