public IncrementalClassifier(final OWLOntology ontology, final OWLReasonerConfiguration config, final ModuleExtractor moduleExtractor) { this(OpenlletReasonerFactory.getInstance().createReasoner(ontology, config), moduleExtractor); }
public PelletExplanation(final OWLOntology ontology, final boolean useGlassBox) { this(new OpenlletReasonerFactory().createReasoner(ontology), useGlassBox); }
private void setAltReasonerEnabled(final boolean enabled) { if (enabled) if (_altReasoner == null) { _logger.fine("Create alt reasoner"); _altReasoner = getReasonerFactory().createNonBufferingReasoner(getOntology()); } _altReasonerEnabled = enabled; }
@Override public String getReasonerName() { return OpenlletReasonerFactory.getInstance().getReasonerName(); }
final OpenlletReasoner reasoner = openllet.owlapi.OpenlletReasonerFactory.getInstance().createNonBufferingReasoner(ontology); manager.addOntologyChangeListener(reasoner);
final OpenlletReasoner reasoner = buffering ? OpenlletReasonerFactory.getInstance().createReasoner(ont) : OpenlletReasonerFactory.getInstance().createNonBufferingReasoner(ont);
public GlassBoxExplanation(final OWLOntology ontology, final OpenlletReasonerFactory factory) { this(factory, factory.createReasoner(ontology)); }
/** * {@inheritDoc} */ @Override public OWLReasonerFactory getReasonerFactory() { return openllet.owlapi.OpenlletReasonerFactory.getInstance(); }
public GlassBoxExplanation(final OpenlletReasoner reasoner) { this(new OpenlletReasonerFactory(), reasoner); }
@Override public String toString() { return getReasonerName(); }
final OpenlletReasoner reasoner = openllet.owlapi.OpenlletReasonerFactory.getInstance().createNonBufferingReasoner(ontology); manager.addOntologyChangeListener(reasoner);
public GlassBoxExplanation(final OWLOntology ontology, final OpenlletReasonerFactory factory) { this(factory, factory.createReasoner(ontology)); }
@Override public String getReasonerName() { return OpenlletReasonerFactory.getInstance().getReasonerName(); }
private TransactionAwareSingleExpGen getSingleExplanationGenerator() { if (_useBlackBox) { if (_options.getOption("inconsistent") != null) { if (!_options.getOption("inconsistent").getValueAsBoolean()) { return new BlackBoxExplanation(_reasoner.getRootOntology(), OpenlletReasonerFactory.getInstance(), _reasoner); } else { output("WARNING: black method cannot be used to explain inconsistency. Switching to glass."); return new GlassBoxExplanation(_reasoner); } } else { return new BlackBoxExplanation(_reasoner.getRootOntology(), OpenlletReasonerFactory.getInstance(), _reasoner); } } else { return new GlassBoxExplanation(_reasoner); } }
public GlassBoxExplanation(final OpenlletReasoner reasoner) { this(new OpenlletReasonerFactory(), reasoner); }
@Override public String toString() { return getReasonerName(); }
public IncrementalClassifier(final OWLOntology ontology, final ModuleExtractor moduleExtractor) { this(OpenlletReasonerFactory.getInstance().createReasoner(ontology), moduleExtractor); }
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(); }
public PelletExplanation(final OWLOntology ontology, final boolean useGlassBox) { this(new OpenlletReasonerFactory().createReasoner(ontology), useGlassBox); }
public GlassBoxExplanation(final OWLOntology ontology, final OpenlletReasonerFactory factory) { this(factory, factory.createReasoner(ontology)); }