From fbe6f72b20c4f533b6a1d18692d893d430004b9b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=C3=A9r=C3=B4me=20Euzenat?= <Jerome.Euzenat@inria.fr>
Date: Sun, 16 Aug 2009 21:05:42 +0000
Subject: [PATCH] - slight change in the interface for matching Exmotto spec
---
src/org/semanticweb/owl/align/LogicOntologyNetwork.java | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/src/org/semanticweb/owl/align/LogicOntologyNetwork.java b/src/org/semanticweb/owl/align/LogicOntologyNetwork.java
index b0dfea2b..7b54ff85 100644
--- a/src/org/semanticweb/owl/align/LogicOntologyNetwork.java
+++ b/src/org/semanticweb/owl/align/LogicOntologyNetwork.java
@@ -40,6 +40,7 @@ public interface LogicOntologyNetwork extends OntologyNetwork {
public void setSemantics( String s );
public String getSemantics();
public boolean isConsistent();
- public boolean isConsequence( Alignment al );
+ public boolean isEntailed( Alignment al );
+ //public boolean isEntailed( URI ontology, Object axiom );
}
--
GitLab