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

[<ku...@us...>]

Revision: 753
          http://dl-learner.svn.sourceforge.net/dl-learner/?rev=753&view=rev
Author:   kurzum
Date:     2008-04-02 08:37:21 -0700 (Wed, 02 Apr 2008)

Log Message:
-----------
updated ExactCardinalityRestriction for export

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

Modified: trunk/src/dl-learner/org/dllearner/reasoning/OWLAPIDescriptionConvertVisitor.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/reasoning/OWLAPIDescriptionConvertVisitor.java	2008-04-02 15:35:39 UTC (rev 752)
+++ trunk/src/dl-learner/org/dllearner/reasoning/OWLAPIDescriptionConvertVisitor.java	2008-04-02 15:37:21 UTC (rev 753)
@@ -192,8 +192,15 @@
 	 * @see org.dllearner.core.owl.DescriptionVisitor#visit(org.dllearner.core.owl.ObjectExactCardinalityRestriction)
 	 */
 	public void visit(ObjectExactCardinalityRestriction description) {
-		// TODO Auto-generated method stub
-		throw new Error("OWLAPIDescriptionConverter: not implemented");
+		// TODO Taken from ObjectSomeRestriction above, hope its correct
+		//throw new Error("OWLAPIDescriptionConverter: not implemented");
+		OWLObjectProperty role = factory.getOWLObjectProperty(
+				URI.create(description.getRole().getName()));
+		description.getChild(0).accept(this);
+		OWLDescription d = stack.pop();
+		int minmax = description.getCardinality();
+		stack.push(factory.getOWLObjectExactCardinalityRestriction(role, minmax, d));
+		
 	}
 
 	/* (non-Javadoc)


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