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

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

Revision: 963
          http://dl-learner.svn.sourceforge.net/dl-learner/?rev=963&view=rev
Author:   lorenz_b
Date:     2008-06-17 03:53:42 -0700 (Tue, 17 Jun 2008)

Log Message:
-----------
added method getInconsistentClasses() to class OWLAPIReasoner and interface ReasonerComponent

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

Modified: trunk/src/dl-learner/org/dllearner/core/ReasonerComponent.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/ReasonerComponent.java	2008-06-15 13:46:32 UTC (rev 962)
+++ trunk/src/dl-learner/org/dllearner/core/ReasonerComponent.java	2008-06-17 10:53:42 UTC (rev 963)
@@ -38,6 +38,7 @@
 import org.dllearner.core.owl.ObjectPropertyHierarchy;
 import org.dllearner.core.owl.SubsumptionHierarchy;
 import org.dllearner.utilities.datastructures.SortedSetTuple;
+import org.semanticweb.owl.model.OWLClass;
 
 /**
  * @author Jens Lehmann
@@ -255,4 +256,7 @@
 	
 	public abstract void releaseKB();
 	
+	public Set<OWLClass> getInconsistentClasses() throws ReasoningMethodUnsupportedException{
+		throw new ReasoningMethodUnsupportedException();
+	}
 }

Modified: trunk/src/dl-learner/org/dllearner/reasoning/OWLAPIReasoner.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/reasoning/OWLAPIReasoner.java	2008-06-15 13:46:32 UTC (rev 962)
+++ trunk/src/dl-learner/org/dllearner/reasoning/OWLAPIReasoner.java	2008-06-17 10:53:42 UTC (rev 963)
@@ -938,5 +938,17 @@
 	public boolean hasDatatypeSupport() {
 		return true;
 	}
+	
+	@Override
+	public Set<OWLClass> getInconsistentClasses(){
+		
+		try {
+			return reasoner.getInconsistentClasses();
+		} catch (OWLReasonerException e) {
+			e.printStackTrace();
+			throw new Error("Inconsistens classes check error in OWL API.");
+		}
+		
+	}
 
 }


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