diff --git a/src/org/semanticweb/owl/align/LogicOntologyNetwork.java b/src/org/semanticweb/owl/align/LogicOntologyNetwork.java
index b0dfea2b157333dac43cdd9ce04299055ceb9a6d..7b54ff85406471d1307ec5a5e5a6906d5891abe6 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 );
 
 }