- Upgraded to IDDL version 1.3-20100325

- #9683	IDDL Library does not work with OWL API 3.0

lib/iddl/version.txt

-1.3
+1.3-20100325 - special revision of 25/03/2010 (revision 49)

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 );
     };
 
 }

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;