diff --git a/lib/iddl/iddl.jar b/lib/iddl/iddl.jar
index 8c5fdd483412622eae5cdc3f03f365a844d6b80d..d011b38f74bd7a0d517ca28ac7a7eb3fe40e1c04 100644
Binary files a/lib/iddl/iddl.jar and b/lib/iddl/iddl.jar differ
diff --git a/lib/iddl/version.txt b/lib/iddl/version.txt
index 7e32cd56983e65ffbfcfeb39146e7ee67e986e10..fd3480bc8623e84ed04edc7ce98cb2badf669c13 100644
--- a/lib/iddl/version.txt
+++ b/lib/iddl/version.txt
@@ -1 +1 @@
-1.3
+1.3-20100325 - special revision of 25/03/2010 (revision 49)
diff --git a/src/fr/inrialpes/exmo/align/impl/IDDLOntologyNetwork.java b/src/fr/inrialpes/exmo/align/impl/IDDLOntologyNetwork.java
index e13aac2e23ad5be930b2f6b3a43627b926f76210..6f9ab44d4a99cee63965967c0f7546b573b4cd66 100644
--- a/src/fr/inrialpes/exmo/align/impl/IDDLOntologyNetwork.java
+++ b/src/fr/inrialpes/exmo/align/impl/IDDLOntologyNetwork.java
@@ -85,9 +85,7 @@ public class IDDLOntologyNetwork extends BasicOntologyNetwork implements LogicOn
     }; 
     public boolean isEntailed( Alignment al ){
 	init();
-	// Bug in OWL API 3
-	//return reasoner.isEntailed( al );
-	return true;
+	return reasoner.isEntailed( al );
     };
 
 }
diff --git a/src/fr/inrialpes/exmo/align/impl/eval/SemPRecEvaluator.java b/src/fr/inrialpes/exmo/align/impl/eval/SemPRecEvaluator.java
index bc7e7c1a57ac64226467961db69e33b0f4438733..70be963bfbab648409de00131866dbfbd7d1ce29 100644
--- a/src/fr/inrialpes/exmo/align/impl/eval/SemPRecEvaluator.java
+++ b/src/fr/inrialpes/exmo/align/impl/eval/SemPRecEvaluator.java
@@ -112,8 +112,7 @@ public class SemPRecEvaluator //extends BasicEvaluator
 	    al.init( align2.getOntology1URI(), align2.getOntology2URI() );
 	    // add the cell
 	    al.addAlignCell( c2.getObject1(), c2.getObject2(), c2.getRelation().getRelation(), 1. );
-	// Bug in OWL API 3
-	//    if ( reasoner.isEntailed( al ) ) nbfoundentailed++;
+	    if ( reasoner.isEntailed( al ) ) nbfoundentailed++;
 	}
 
 	reasoner = new IDDLReasoner( semantics );
@@ -129,8 +128,7 @@ public class SemPRecEvaluator //extends BasicEvaluator
 	    al.init( align2.getOntology1URI(), align2.getOntology2URI() );
 	    // add the cell (too bad, addCell is not in the interface)
 	    al.addAlignCell( c1.getObject1(), c1.getObject2(), c1.getRelation().getRelation(), 1. );
-	// Bug in OWL API 3
-	//    if ( reasoner.isEntailed( al ) ) nbexpectedentailed++;
+	    if ( reasoner.isEntailed( al ) ) nbexpectedentailed++;
 	}
 
 	precision = (double) nbfoundentailed / (double) nbfound;