@Override public boolean isEntailed(final Stream<? extends OWLAxiom> axioms) throws ReasonerInterruptedException, UnsupportedEntailmentTypeException, TimeOutException, AxiomNotInProfileException, FreshEntitiesException, InconsistentOntologyException { refreshCheck(); try { final EntailmentChecker entailmentChecker = new EntailmentChecker(this); return entailmentChecker.isEntailed(axioms); } catch (final PelletRuntimeException e) { throw convert(e); } }
@Override public void visit(final OWLDisjointDataPropertiesAxiom axiom) { visitProperties(axiom.properties().toArray(OWLDataProperty[]::new)); }
@Override public void visit(final OWLSameIndividualAxiom axiom) { for (final OWLIndividual ind : asList(axiom.individuals())) if (ind.isAnonymous()) { deferAxiom(axiom); return; } _isEntailed = true; final Iterator<OWLIndividual> i = axiom.individuals().iterator(); if (i.hasNext()) { final OWLIndividual first = i.next(); while (i.hasNext()) { final OWLIndividual next = i.next(); if (!_kb.isSameAs(_reasoner.term(first), _reasoner.term(next))) { _isEntailed = false; return; } } } }
public boolean isEntailed(final Set<? extends OWLAxiom> axioms) { if (axioms.isEmpty()) { _logger.warning("Empty ontologies are entailed by any premise document!"); return true; } else return isEntailed(axioms.stream()); }
final EntailmentChecker checker = new EntailmentChecker(reasoner); final Set<OWLLogicalAxiom> axioms = entailmentOntology.logicalAxioms().collect(Collectors.toSet()); final Set<OWLAxiom> nonEntailments = checker.findNonEntailments(axioms, findAll); finishTask("Checking");
@Override public void visit(final OWLSameIndividualAxiom axiom) { for (final OWLIndividual ind : asList(axiom.individuals())) if (ind.isAnonymous()) { deferAxiom(axiom); return; } _isEntailed = true; final Iterator<OWLIndividual> i = axiom.individuals().iterator(); if (i.hasNext()) { final OWLIndividual first = i.next(); while (i.hasNext()) { final OWLIndividual next = i.next(); if (!_kb.isSameAs(_reasoner.term(first), _reasoner.term(next))) { _isEntailed = false; return; } } } }
public boolean isEntailed(final Set<? extends OWLAxiom> axioms) { if (axioms.isEmpty()) { _logger.warning("Empty ontologies are entailed by any premise document!"); return true; } else return isEntailed(axioms.stream()); }
@Override public void visit(final OWLSameIndividualAxiom axiom) { for (final OWLIndividual ind : asList(axiom.individuals())) if (ind.isAnonymous()) { deferAxiom(axiom); return; } _isEntailed = true; final Iterator<OWLIndividual> i = axiom.individuals().iterator(); if (i.hasNext()) { final OWLIndividual first = i.next(); while (i.hasNext()) { final OWLIndividual next = i.next(); if (!_kb.isSameAs(_reasoner.term(first), _reasoner.term(next))) { _isEntailed = false; return; } } } }
@Override public boolean isEntailed(final Stream<? extends OWLAxiom> axioms) throws ReasonerInterruptedException, UnsupportedEntailmentTypeException, TimeOutException, AxiomNotInProfileException, FreshEntitiesException, InconsistentOntologyException { refreshCheck(); try { final EntailmentChecker entailmentChecker = new EntailmentChecker(this); return entailmentChecker.isEntailed(axioms); } catch (final PelletRuntimeException e) { throw convert(e); } }
public boolean isEntailed(final Set<? extends OWLAxiom> axioms) { if (axioms.isEmpty()) { _logger.warning("Empty ontologies are entailed by any premise document!"); return true; } else return isEntailed(axioms.stream()); }
@Override public void visit(final OWLDisjointObjectPropertiesAxiom axiom) { visitProperties(axiom.properties().toArray(OWLObjectPropertyExpression[]::new)); }
@Override public void visit(final OWLClassAssertionAxiom axiom) { final OWLIndividual ind = axiom.getIndividual(); final OWLClassExpression c = axiom.getClassExpression(); if (ind.isAnonymous()) { deferAxiom(axiom); return; } _isEntailed = _kb.isType(_reasoner.term(ind), _reasoner.term(c)); }
@Override public boolean isEntailed(final Stream<? extends OWLAxiom> axioms) throws ReasonerInterruptedException, UnsupportedEntailmentTypeException, TimeOutException, AxiomNotInProfileException, FreshEntitiesException, InconsistentOntologyException { refreshCheck(); try { final EntailmentChecker entailmentChecker = new EntailmentChecker(this); return entailmentChecker.isEntailed(axioms); } catch (final PelletRuntimeException e) { throw convert(e); } }
public boolean isEntailed(final Stream<? extends OWLAxiom> axioms) { _queryVisitor.reset(); final Optional<? extends OWLAxiom> unEntailed = axioms.filter(axiom -> !isEntailed(axiom)).findAny(); if (unEntailed.isPresent()) { _logger.fine("Axiom not entailed: (" + unEntailed.get() + ")"); return false; } return _queryVisitor.isEntailed(); }
@Override public void visit(final OWLDisjointObjectPropertiesAxiom axiom) { visitProperties(axiom.properties().toArray(OWLObjectPropertyExpression[]::new)); }
@Override public void visit(final OWLClassAssertionAxiom axiom) { final OWLIndividual ind = axiom.getIndividual(); final OWLClassExpression c = axiom.getClassExpression(); if (ind.isAnonymous()) { deferAxiom(axiom); return; } _isEntailed = _kb.isType(_reasoner.term(ind), _reasoner.term(c)); }
public boolean isEntailed(final Stream<? extends OWLAxiom> axioms) { _queryVisitor.reset(); final Optional<? extends OWLAxiom> unEntailed = axioms.filter(axiom -> !isEntailed(axiom)).findAny(); if (unEntailed.isPresent()) { _logger.fine("Axiom not entailed: (" + unEntailed.get() + ")"); return false; } return _queryVisitor.isEntailed(); }
@Override public void visit(final OWLDisjointObjectPropertiesAxiom axiom) { visitProperties(axiom.properties().toArray(OWLObjectPropertyExpression[]::new)); }
@Override public void visit(final OWLClassAssertionAxiom axiom) { final OWLIndividual ind = axiom.getIndividual(); final OWLClassExpression c = axiom.getClassExpression(); if (ind.isAnonymous()) { deferAxiom(axiom); return; } _isEntailed = _kb.isType(_reasoner.term(ind), _reasoner.term(c)); }
public boolean isEntailed(final Stream<? extends OWLAxiom> axioms) { _queryVisitor.reset(); final Optional<? extends OWLAxiom> unEntailed = axioms.filter(axiom -> !isEntailed(axiom)).findAny(); if (unEntailed.isPresent()) { _logger.fine("Axiom not entailed: (" + unEntailed.get() + ")"); return false; } return _queryVisitor.isEntailed(); }