@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 createNonBufferingReasoner(OWLOntology ontology, OWLReasonerConfiguration config) { return new ElkProver( reasonerFactory_.createNonBufferingReasoner(ontology, config)); }
@Override public ElkProver createNonBufferingReasoner(OWLOntology ontology) { return new ElkProver( reasonerFactory_.createNonBufferingReasoner(ontology)); }
private void computeLowerBoundClassificationWithELK() { //Logger.getLogger("org.semanticweb.elk").setLevel(Level.ERROR);//this is to make elk less chatty: only errors Logger.getLogger("org.semanticweb.elk").setLevel(Level.OFF);//removed completely timeForELK = System.currentTimeMillis(); lReasoner = new ElkReasonerFactory().createNonBufferingReasoner(ontology); lReasoner.precomputeInferences(InferenceType.CLASS_HIERARCHY); timeForELK = System.currentTimeMillis() - timeForELK; }
mergedReasoner = new ElkReasonerFactory().createNonBufferingReasoner(ontology); mergedReasoner.precomputeInferences(InferenceType.CLASS_HIERARCHY); timeForELKMerged = System.currentTimeMillis() - timeForELKMerged;