@Override public Entailment getEntailment() throws ElkQueryException { if (indexed == null) { throw new ElkQueryException( "Query was not indexed: " + getQuery()); } // else return indexed.getQuery(); }
@Override public Entailment getEntailment() throws ElkQueryException { if (indexed == null) { throw new ElkQueryException( "Query was not indexed: " + getQuery()); } // else return indexed.getQuery(); }
@Override public Entailment getEntailment() throws ElkQueryException { if (indexed == null) { throw new ElkQueryException( "Query was not indexed: " + getQuery()); } // else return indexed.getQuery(); }
@Override public boolean isEntailed() throws ElkQueryException { if (indexed == null) { throw new ElkQueryException( "Query was not indexed: " + getQuery()); } // else final boolean result = Proofs.isDerivable(getEvidence(true), indexed.getQuery()); if (!result) { incompleteness_.log(incompleteness_ .getIncompletenessMonitorForEntailmentQuery( getOccurrenceStore(this))); } // If the query is entailed, the result is complete. return result; }
@Override public boolean isEntailed() throws ElkQueryException { if (indexed == null) { throw new ElkQueryException( "Query was not indexed: " + getQuery()); } // else final boolean result = Proofs.isDerivable(getEvidence(true), indexed.getQuery()); if (!result) { incompleteness_.log(incompleteness_ .getIncompletenessMonitorForEntailmentQuery( getOccurrenceStore(this))); } // If the query is entailed, the result is complete. return result; }
@Override public boolean isEntailed() throws ElkQueryException { if (indexed == null) { throw new ElkQueryException( "Query was not indexed: " + getQuery()); } // else final boolean result = Proofs.isDerivable(getEvidence(true), indexed.getQuery()); if (!result) { incompleteness_.log(incompleteness_ .getIncompletenessMonitorForEntailmentQuery( getOccurrenceStore(this))); } // If the query is entailed, the result is complete. return result; }