@Override public ElkProver createNonBufferingReasoner(OWLOntology ontology, OWLReasonerConfiguration config) { return new ElkProver( reasonerFactory_.createNonBufferingReasoner(ontology, config)); }
@Override public ElkProver createReasoner(OWLOntology ontology, OWLReasonerConfiguration config) { return new ElkProver(reasonerFactory_.createReasoner(ontology, config)); }
@Override public ElkProver createNonBufferingReasoner(OWLOntology ontology) { return new ElkProver( reasonerFactory_.createNonBufferingReasoner(ontology)); }
@Override public ElkProver createNonBufferingReasoner(OWLOntology ontology, OWLReasonerConfiguration config) { return new ElkProver( reasonerFactory_.createNonBufferingReasoner(ontology, config)); }
@Override public ElkProver createNonBufferingReasoner(OWLOntology ontology) { return new ElkProver( reasonerFactory_.createNonBufferingReasoner(ontology)); }
@Override public ElkProver createNonBufferingReasoner(OWLOntology ontology, OWLReasonerConfiguration config) { return new ElkProver( reasonerFactory_.createNonBufferingReasoner(ontology, config)); }
@Override public ElkProver createReasoner(OWLOntology ontology, OWLReasonerConfiguration config) { return new ElkProver(reasonerFactory_.createReasoner(ontology, config)); }
@Override public ElkProver createNonBufferingReasoner(OWLOntology ontology) { return new ElkProver( reasonerFactory_.createNonBufferingReasoner(ontology)); }
@Override public ElkProver createReasoner(OWLOntology ontology, OWLReasonerConfiguration config) { return new ElkProver(reasonerFactory_.createReasoner(ontology, config)); }
@Override public ElkProver createReasoner(OWLOntology ontology) { return new ElkProver(reasonerFactory_.createReasoner(ontology)); }
@Override public ElkProver createReasoner(OWLOntology ontology) { return new ElkProver(reasonerFactory_.createReasoner(ontology)); }
@Override public ElkProver createReasoner(OWLOntology ontology) { return new ElkProver(reasonerFactory_.createReasoner(ontology)); }
@Override public Proof<? extends Inference<?>> computeProof(OWLAxiom entailment) { ElkReasoner elkReasoner = getCurrentElkReasoner(); if (elkReasoner == null) { return null; } // else ElkProver elkProver = new ElkProver(elkReasoner); return elkProver.getProof(entailment); }