@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 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)); }
/** * Build and return a {@code OWLReasoner} instance for a particular ontology, * as configured. * @param config the configuration for the ontology. * @param ontology the ontology. * @return the configured {@code OWLReasoner} instance, or the HermiT Reasoner * if the configuration value is not recognised. */ public OWLReasoner buildReasoner(OntologyConfiguration config, OWLOntology ontology) { String cfgReasoner = config.getReasoner(); OWLReasoner reasoner; if (HERMIT_REASONER.equalsIgnoreCase(cfgReasoner)) { reasoner = new Reasoner(ontology); } else if (ELK_REASONER.equalsIgnoreCase(cfgReasoner)) { reasoner = new ElkReasonerFactory().createReasoner(ontology); } else { LOGGER.info("Reasoner {} not recognized - using HermiT", cfgReasoner); reasoner = new Reasoner(ontology); } return reasoner; }
lReasoner = new ElkReasonerFactory().createReasoner(lmodule_onto); tLreasoner = System.currentTimeMillis(); lReasoner.precomputeInferences(InferenceType.CLASS_HIERARCHY); inferredAxioms.addAll(turnHierarchyIntoAxioms(lReasoner)); lReasoner.dispose(); lReasoner = new ElkReasonerFactory().createReasoner(manager .createOntology(inferredAxioms)); lReasoner.precomputeInferences(InferenceType.CLASS_HIERARCHY);