public static DynamicProof<ElkOwlInference> create(ElkReasoner reasoner, OWLAxiom entailment) throws UnsupportedEntailmentTypeException { if (reasoner == null) { return Proofs.emptyProof(); } // else final ElkOwlProof proof = new ElkOwlProof(reasoner, entailment); // If the entailment is not supported, throw the exceptions now. proof.ensureSync(); return proof; }
public static DynamicProof<ElkOwlInference> create(ElkReasoner reasoner, OWLAxiom entailment) throws UnsupportedEntailmentTypeException { if (reasoner == null) { return Proofs.emptyProof(); } // else final ElkOwlProof proof = new ElkOwlProof(reasoner, entailment); // If the entailment is not supported, throw the exceptions now. proof.ensureSync(); return proof; }
public static DynamicProof<ElkOwlInference> create(ElkReasoner reasoner, OWLAxiom entailment) throws UnsupportedEntailmentTypeException { if (reasoner == null) { return Proofs.emptyProof(); } // else final ElkOwlProof proof = new ElkOwlProof(reasoner, entailment); // If the entailment is not supported, throw the exceptions now. proof.ensureSync(); return proof; }