diff --git a/src/fr/inrialpes/exmo/align/impl/IDDLOntologyNetwork.java b/src/fr/inrialpes/exmo/align/impl/IDDLOntologyNetwork.java index 6f9ab44d4a99cee63965967c0f7546b573b4cd66..e13aac2e23ad5be930b2f6b3a43627b926f76210 100644 --- a/src/fr/inrialpes/exmo/align/impl/IDDLOntologyNetwork.java +++ b/src/fr/inrialpes/exmo/align/impl/IDDLOntologyNetwork.java @@ -85,7 +85,9 @@ public class IDDLOntologyNetwork extends BasicOntologyNetwork implements LogicOn }; public boolean isEntailed( Alignment al ){ init(); - return reasoner.isEntailed( al ); + // Bug in OWL API 3 + //return reasoner.isEntailed( al ); + return true; }; }