From df124fe6638d9a1ca0b29d8422c45083b4d465c1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=C3=A9r=C3=B4me=20Euzenat?= <Jerome.Euzenat@inria.fr>
Date: Mon, 15 Feb 2010 22:35:43 +0000
Subject: [PATCH] - inhibited problem with IDDL
---
src/fr/inrialpes/exmo/align/impl/IDDLOntologyNetwork.java | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/src/fr/inrialpes/exmo/align/impl/IDDLOntologyNetwork.java b/src/fr/inrialpes/exmo/align/impl/IDDLOntologyNetwork.java
index 6f9ab44d..e13aac2e 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;
};
}
--
GitLab