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

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

Revision: 1674
          http://dl-learner.svn.sourceforge.net/dl-learner/?rev=1674&view=rev
Author:   lorenz_b
Date:     2009-04-01 09:45:26 +0000 (Wed, 01 Apr 2009)

Log Message:
-----------
fixed methods getDomainImpl() according to type cast exceptions from HashSet to OWLClass

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-01 08:50:07 UTC (rev 1673)
+++ trunk/src/dl-learner/org/dllearner/reasoning/OWLAPIReasoner.java	2009-04-01 09:45:26 UTC (rev 1674)
@@ -634,7 +634,7 @@
 			Set<Set<OWLDescription>> set = reasoner.getDomains(prop);
 			if(set.size()==0)
 				return new Thing();
-			OWLClass oc = (OWLClass) set.iterator().next();
+			OWLClass oc = (OWLClass) set.iterator().next().iterator().next();
 			return new NamedClass(oc.getURI().toString());
 		} catch (OWLReasonerException e) {
 			throw new Error(e);
@@ -653,7 +653,7 @@
 			Set<Set<OWLDescription>> set = reasoner.getDomains(prop);
 			if(set.size()==0)
 				return new Thing();
-			OWLClass oc = (OWLClass) set.iterator().next();
+			OWLClass oc = (OWLClass) set.iterator().next().iterator().next();
 			return new NamedClass(oc.getURI().toString());
 		} catch (OWLReasonerException e) {
 			throw new Error(e);


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