/** * {@inheritDoc} */ @Override public KnowledgeBase getKB() { return _reasoner.getKB(); }
/** * {@inheritDoc} */ @Override public KnowledgeBase getKB() { return _reasoner.getKB(); }
public EntailmentChecker(final OpenlletReasoner reasoner) { _reasoner = reasoner; _kb = reasoner.getKB(); _queryVisitor = new EntailmentQueryVisitor(reasoner); }
public EntailmentChecker(final OpenlletReasoner reasoner) { _reasoner = reasoner; _kb = reasoner.getKB(); _queryVisitor = new EntailmentQueryVisitor(reasoner); }
public EntailmentChecker(final OpenlletReasoner reasoner) { _reasoner = reasoner; _kb = reasoner.getKB(); _queryVisitor = new EntailmentQueryVisitor(reasoner); }
private boolean isSatisfiable(final OpenlletReasoner pellet, final OWLClassExpression unsatClass, final boolean doExplanation) { pellet.getKB().setDoExplanation(doExplanation); final boolean sat = unsatClass.isOWLThing() ? pellet.isConsistent() : pellet.isSatisfiable(unsatClass); pellet.getKB().setDoExplanation(false); return sat; }
private boolean isSatisfiable(final OpenlletReasoner pellet, final OWLClassExpression unsatClass, final boolean doExplanation) { pellet.getKB().setDoExplanation(doExplanation); final boolean sat = unsatClass.isOWLThing() ? pellet.isConsistent() : pellet.isSatisfiable(unsatClass); pellet.getKB().setDoExplanation(false); return sat; }
private boolean isSatisfiable(final OpenlletReasoner pellet, final OWLClassExpression unsatClass, final boolean doExplanation) { pellet.getKB().setDoExplanation(doExplanation); final boolean sat = unsatClass.isOWLThing() ? pellet.isConsistent() : pellet.isSatisfiable(unsatClass); pellet.getKB().setDoExplanation(false); return sat; }
private void realize() { if (isRealized()) return; final Set<ATermAppl> allIndividuals = _reasoner.getKB().getIndividuals(); final Set<OWLClass> visitedClasses = new HashSet<>(); if (!allIndividuals.isEmpty()) realizeByConcept(ATermUtils.TOP, allIndividuals, _reasoner.getManager().getOWLDataFactory(), visitedClasses); _realized = true; }
public boolean isClassified() { // what if expressivity should change because of the yet unapplied changes? return _modules != null && (!_extractor.isChanged() || !_extractor.isClassificationNeeded(_reasoner.getKB().getExpressivity())); }
@Override public void setTimeout(final long timeout) { _reasoner.getKB().setTimeout(timeout); }
public boolean isClassified() { // what if expressivity should change because of the yet unapplied changes? return _modules != null && (!_extractor.isChanged() || !_extractor.isClassificationNeeded(_reasoner.getKB().getExpressivity())); }
private void realize() { if (isRealized()) return; final Set<ATermAppl> allIndividuals = _reasoner.getKB().getIndividuals(); final Set<OWLClass> visitedClasses = new HashSet<>(); if (!allIndividuals.isEmpty()) realizeByConcept(ATermUtils.TOP, allIndividuals, _reasoner.getManager().getOWLDataFactory(), visitedClasses); _realized = true; }
/** * {@inheritDoc} */ @Override public void load() { _reasoner = new OpenlletReasonerFactory().createReasoner(_ontology); _reasoner.getKB().setTaxonomyBuilderProgressMonitor(OpenlletOptions.USE_CLASSIFICATION_MONITOR.create()); }
/** * {@inheritDoc} */ @Override public void load() { _reasoner = new OpenlletReasonerFactory().createReasoner(_ontology); _reasoner.getKB().setTaxonomyBuilderProgressMonitor(OpenlletOptions.USE_CLASSIFICATION_MONITOR.create()); }
@Override protected boolean isConsistent(final OWLOntology o) { final OpenlletReasoner reasoner = _reasonerFactory.createReasoner(o); reasoner.getKB().setTimeout(_timeout); return reasoner.isConsistent(); }
@Override protected boolean isConsistent(final OWLOntology o) { final OpenlletReasoner reasoner = _reasonerFactory.createReasoner(o); reasoner.getKB().setTimeout(_timeout); return reasoner.isConsistent(); }
@Override protected boolean isEntailed(final OWLOntology premise, final OWLOntology conclusion) { final OpenlletReasoner reasoner = _reasonerFactory.createReasoner(premise); reasoner.getKB().setTimeout(_timeout); return reasoner.isEntailed(conclusion.logicalAxioms()); }
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(); }
@Test public void testObjectRangeWithEquivalents() { createReasoner(OWL.equivalentClasses(_C, some(inverse(_p), OWL.Thing)), OWL.range(_p, _D), OWL.subClassOf(_C, _E)); _reasoner.getKB().printClassTree(); assertTrue(_reasoner.isEntailed(OWL.range(_p, _C))); assertStreamAsSetEquals(Stream.of(_C), _reasoner.getEquivalentClasses(some(inverse(_p), OWL.Thing)).entities()); assertStreamAsSetEquals(Stream.of(_C), _reasoner.getObjectPropertyRanges(_p, true).entities()); assertStreamAsSetEquals(Stream.of(_C, _D, _E, OWL.Thing), _reasoner.getObjectPropertyRanges(_p, false).entities()); }