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

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

Revision: 1229
          http://dl-learner.svn.sourceforge.net/dl-learner/?rev=1229&view=rev
Author:   lorenz_b
Date:     2008-09-17 14:54:20 +0000 (Wed, 17 Sep 2008)

Log Message:
-----------
added method getInconsistentOWLClasses()

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	2008-09-17 13:26:39 UTC (rev 1228)
+++ trunk/src/dl-learner/org/dllearner/reasoning/OWLAPIReasoner.java	2008-09-17 14:54:20 UTC (rev 1229)
@@ -979,5 +979,18 @@
 		}
 		return concepts;
 	}
+	
+	
+	public Set<OWLClass> getInconsistentOWLClasses(){
+		
+		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.