@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)); }
/** * use {@link #create(ElkReasoner, OWLAxiom)} * * @param elkReasoner */ private ElkOwlProof(ElkReasoner elkReasoner, OWLAxiom elkEntailment) { this.elkReasoner_ = elkReasoner; this.owlEntailment_ = elkEntailment; elkReasoner.addListener(this); }
@Override public OWLSubObjectPropertyOfAxiom visit( ElkObjectInverseOf expression) { return defaultVisit(expression); }
@Override public AxiomLoader getAxiomLoader(final InterruptMonitor interrupter) { if (loader_ == null) { loader_ = new Loader(interrupter); } return loader_; }
public OwlOntologyLoader(final InterruptMonitor interrupter, OWLOntology owlOntology, ProgressMonitor progressMonitor) { super(interrupter); this.owlOntology_ = owlOntology; this.progressMonitor_ = progressMonitor; initImportsClosure(); }
@Override public OwlOntologyLoader getAxiomLoader( final InterruptMonitor interrupter) { return new OwlOntologyLoader(interrupter, owlOntology_, progressMonitor_); }
@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)); }
/** * use {@link #create(ElkReasoner, OWLAxiom)} * * @param elkReasoner */ private ElkOwlProof(ElkReasoner elkReasoner, OWLAxiom elkEntailment) { this.elkReasoner_ = elkReasoner; this.owlEntailment_ = elkEntailment; elkReasoner.addListener(this); }
@Override public OWLSubObjectPropertyOfAxiom visit( ElkObjectInverseOf expression) { return defaultVisit(expression); }
@Override public AxiomLoader getAxiomLoader(final InterruptMonitor interrupter) { if (loader_ == null) { loader_ = new Loader(interrupter); } return loader_; }
@Override public ElkProver createReasoner(OWLOntology ontology, OWLReasonerConfiguration config) { return new ElkProver(reasonerFactory_.createReasoner(ontology, config)); }
@Override public ElkProver createNonBufferingReasoner(OWLOntology ontology, OWLReasonerConfiguration config) { return new ElkProver( reasonerFactory_.createNonBufferingReasoner(ontology, config)); }
@Override public ElkProver createReasoner(OWLOntology ontology) { return new ElkProver(reasonerFactory_.createReasoner(ontology)); }
@Override public ElkProver createNonBufferingReasoner(OWLOntology ontology) { return new ElkProver( reasonerFactory_.createNonBufferingReasoner(ontology)); }
@Override public ElkProver createReasoner(OWLOntology ontology) { return new ElkProver(reasonerFactory_.createReasoner(ontology)); }
@Override public ElkProver createNonBufferingReasoner(OWLOntology ontology, OWLReasonerConfiguration config) { return new ElkProver( reasonerFactory_.createNonBufferingReasoner(ontology, config)); }
@Override public ElkProver createReasoner(OWLOntology ontology) { return new ElkProver(reasonerFactory_.createReasoner(ontology)); }
@Override public ElkProver createNonBufferingReasoner(OWLOntology ontology) { return new ElkProver( reasonerFactory_.createNonBufferingReasoner(ontology)); }