private void setAltReasonerEnabled(final boolean enabled) { if (enabled) if (_altReasoner == null) { _logger.fine("Create alt reasoner"); _altReasoner = getReasonerFactory().createNonBufferingReasoner(getOntology()); } _altReasonerEnabled = enabled; }
private void setAltReasonerEnabled(final boolean enabled) { if (enabled) if (_altReasoner == null) { _logger.fine("Create alt reasoner"); _altReasoner = getReasonerFactory().createNonBufferingReasoner(getOntology()); } _altReasonerEnabled = enabled; }
private void setAltReasonerEnabled(final boolean enabled) { if (enabled) if (_altReasoner == null) { _logger.fine("Create alt reasoner"); _altReasoner = getReasonerFactory().createNonBufferingReasoner(getOntology()); } _altReasonerEnabled = enabled; }
OpenlletReasoner reasoner = getReasonerFactory().createNonBufferingReasoner(debuggingOntology); reasoner = getReasonerFactory().createNonBufferingReasoner(debuggingOntology);
OpenlletReasoner reasoner = getReasonerFactory().createNonBufferingReasoner(debuggingOntology); reasoner = getReasonerFactory().createNonBufferingReasoner(debuggingOntology);
OpenlletReasoner reasoner = getReasonerFactory().createNonBufferingReasoner(debuggingOntology); reasoner = getReasonerFactory().createNonBufferingReasoner(debuggingOntology);
final OpenlletReasoner reasoner = openllet.owlapi.OpenlletReasonerFactory.getInstance().createNonBufferingReasoner(ontology); manager.addOntologyChangeListener(reasoner);
final OpenlletReasoner reasoner = openllet.owlapi.OpenlletReasonerFactory.getInstance().createNonBufferingReasoner(ontology); manager.addOntologyChangeListener(reasoner);
private static void runComparisonTest(final OWLOntology ontology, final ModuleExtractor modExtractor, final ReasonerComparisonMethod comparisonMethod) { final OpenlletReasoner unified = OpenlletReasonerFactory.getInstance().createNonBufferingReasoner(ontology); final IncrementalClassifier modular = PelletIncremantalReasonerFactory.getInstance().createReasoner(ontology, modExtractor); OpenlletOptions.USE_CLASSIFICATION_MONITOR = OpenlletOptions.MonitorType.CONSOLE; modular.classify(); unified.getKB().classify(); comparisonMethod.compare(unified, modular); modular.dispose(); }
final OpenlletReasoner reasoner = buffering ? OpenlletReasonerFactory.getInstance().createReasoner(ont) : OpenlletReasonerFactory.getInstance().createNonBufferingReasoner(ont);
final OpenlletReasoner reasoner = openllet.owlapi.OpenlletReasonerFactory.getInstance().createNonBufferingReasoner(ontology);
private static void runComparisonUpdateTest(final OWLOntology ontology, final ModuleExtractor modExtractor, // final Collection<OWLAxiom> additions, final Collection<OWLAxiom> deletions, final ReasonerComparisonMethod comparisonMethod) { final OpenlletReasoner unified = OpenlletReasonerFactory.getInstance().createNonBufferingReasoner(ontology); final IncrementalClassifier modular = PelletIncremantalReasonerFactory.getInstance().createReasoner(ontology, modExtractor); OpenlletOptions.USE_CLASSIFICATION_MONITOR = OpenlletOptions.MonitorType.CONSOLE; modular.classify(); comparisonMethod.compare(unified, modular); ontology.add(additions); ontology.remove(deletions); modular.classify(); unified.flush(); unified.getKB().classify(); modular._timers.print(); comparisonMethod.compare(unified, modular); modular.dispose(); }
@Test public void testComplementRemoval() { final String ns = "http://test#"; final OWLOntology ont = loadOntology(OWLManager.createOWLOntologyManager(), MiscTests._base + "ticket539.ofn"); final OpenlletReasoner reasoner = OpenlletReasonerFactory.getInstance().createNonBufferingReasoner(ont); assertFalse(reasoner.isConsistent()); ont.removeAxiom(OWL.subClassOf(OWL.Class(ns + "a_GROUP"), OWL.Class(ns + "a_TEMPORALTHING"))); assertFalse(reasoner.isConsistent()); ont.removeAxiom(OWL.subClassOf(OWL.Class(ns + "a_INDIVIDUAL"), OWL.not(OWL.Class(ns + "a_SETORCOLLECTION")))); assertFalse(reasoner.isConsistent()); } }