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

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

Revision: 980
          http://dl-learner.svn.sourceforge.net/dl-learner/?rev=980&view=rev
Author:   lorenz_b
Date:     2008-06-25 13:33:25 -0700 (Wed, 25 Jun 2008)

Log Message:
-----------
changed return type of method getInconsistentClasses() to NamedClass

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-24 17:04:10 UTC (rev 979)
+++ trunk/src/dl-learner/org/dllearner/core/ReasonerComponent.java	2008-06-25 20:33:25 UTC (rev 980)
@@ -256,7 +256,7 @@
 	
 	public abstract void releaseKB();
 	
-	public Set<OWLClass> getInconsistentClasses() throws ReasoningMethodUnsupportedException{
+	public Set<NamedClass> 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-24 17:04:10 UTC (rev 979)
+++ trunk/src/dl-learner/org/dllearner/reasoning/OWLAPIReasoner.java	2008-06-25 20:33:25 UTC (rev 980)
@@ -937,15 +937,18 @@
 	}
 	
 	@Override
-	public Set<OWLClass> getInconsistentClasses(){
+	public Set<NamedClass> getInconsistentClasses(){
+		Set<NamedClass> concepts = new HashSet<NamedClass>();
 		
 		try {
-			return reasoner.getInconsistentClasses();
+			for(OWLClass concept : reasoner.getInconsistentClasses())
+				concepts.add(new NamedClass(concept.getURI().toString()));
+			
 		} catch (OWLReasonerException e) {
 			e.printStackTrace();
-			throw new Error("Inconsistens classes check error in OWL API.");
+			throw new Error("Inconsistent classes check error in OWL API.");
 		}
-		
+		return concepts;
 	}
 
 }


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