private QueryState checkComputed(final ElkClassExpression classExpression) throws ElkQueryException { final QueryState state = queried_.get(classExpression); if (state != null && state.isComputed) { return state; } throw new ElkQueryException( "Query was not computed yet: " + classExpression); }
private QueryState checkComputed(final ElkClassExpression classExpression) throws ElkQueryException { final QueryState state = queried_.get(classExpression); if (state != null && state.isComputed) { return state; } throw new ElkQueryException( "Query was not computed yet: " + classExpression); }
private QueryState checkComputed(final ElkClassExpression classExpression) throws ElkQueryException { final QueryState state = queried_.get(classExpression); if (state != null && state.isComputed) { return state; } throw new ElkQueryException( "Query was not computed yet: " + classExpression); }
@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(); }
throw new ElkQueryException( "Query was not registered: " + axiom);
throw new ElkQueryException( "Query was not registered: " + axiom);
throw new ElkQueryException( "Query was not registered: " + axiom);
@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; }
@SuppressWarnings("unchecked") @Override public Proof<EntailmentInference> getEvidence(final boolean onlyOne) throws ElkQueryException { if (indexed == null) { throw new ElkQueryException( "Query was not indexed: " + getQuery()); } // else incompleteness_.log( incompleteness_.getIncompletenessMonitorForEntailmentQuery( getOccurrenceStore(this))); final Proof<EntailmentInference> inconsistencyEvidence = new InconsistencyProofWrapper( consistencyCheckingState_.getEvidence(onlyOne)); if (consistencyCheckingState_.isInconsistent() && onlyOne) { return inconsistencyEvidence; } // else final Proof<EntailmentInference> entailmentEvidence = indexed .getEvidence(onlyOne, saturationState_, conclusionFactory_); return Proofs.union(inconsistencyEvidence, entailmentEvidence); }
@SuppressWarnings("unchecked") @Override public Proof<EntailmentInference> getEvidence(final boolean onlyOne) throws ElkQueryException { if (indexed == null) { throw new ElkQueryException( "Query was not indexed: " + getQuery()); } // else incompleteness_.log( incompleteness_.getIncompletenessMonitorForEntailmentQuery( getOccurrenceStore(this))); final Proof<EntailmentInference> inconsistencyEvidence = new InconsistencyProofWrapper( consistencyCheckingState_.getEvidence(onlyOne)); if (consistencyCheckingState_.isInconsistent() && onlyOne) { return inconsistencyEvidence; } // else final Proof<EntailmentInference> entailmentEvidence = indexed .getEvidence(onlyOne, saturationState_, conclusionFactory_); return Proofs.union(inconsistencyEvidence, entailmentEvidence); }
@SuppressWarnings("unchecked") @Override public Proof<EntailmentInference> getEvidence(final boolean onlyOne) throws ElkQueryException { if (indexed == null) { throw new ElkQueryException( "Query was not indexed: " + getQuery()); } // else incompleteness_.log( incompleteness_.getIncompletenessMonitorForEntailmentQuery( getOccurrenceStore(this))); final Proof<EntailmentInference> inconsistencyEvidence = new InconsistencyProofWrapper( consistencyCheckingState_.getEvidence(onlyOne)); if (consistencyCheckingState_.isInconsistent() && onlyOne) { return inconsistencyEvidence; } // else final Proof<EntailmentInference> entailmentEvidence = indexed .getEvidence(onlyOne, saturationState_, conclusionFactory_); return Proofs.union(inconsistencyEvidence, entailmentEvidence); }