@Override public ElkProver createNonBufferingReasoner(OWLOntology ontology, OWLReasonerConfiguration config) { return new ElkProver( reasonerFactory_.createNonBufferingReasoner(ontology, config)); }
@Override public DynamicProof<ElkOwlInference> getProof(OWLAxiom entailment) throws UnsupportedEntailmentTypeException { return ElkOwlProof.create(getDelegate(), entailment); }
@Override public DynamicProof<ElkOwlInference> getProof(OWLAxiom entailment) throws UnsupportedEntailmentTypeException { return ElkOwlProof.create(getDelegate(), entailment); }
@Override public ElkProver createNonBufferingReasoner(OWLOntology ontology) { return new ElkProver( reasonerFactory_.createNonBufferingReasoner(ontology)); }
@Override public DynamicProof<ElkOwlInference> getProof(OWLAxiom entailment) throws UnsupportedEntailmentTypeException { return ElkOwlProof.create(getDelegate(), entailment); }
@Override public ElkProver createReasoner(OWLOntology ontology, OWLReasonerConfiguration config) { return new ElkProver(reasonerFactory_.createReasoner(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 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)); }