public EntailmentQueryVisitor(final OpenlletReasoner reasoner) { _reasoner = reasoner; _indConv = new IndividualTermConverter(); reset(); }
public EntailmentQueryVisitor(final OpenlletReasoner reasoner) { _reasoner = reasoner; _indConv = new IndividualTermConverter(); reset(); }
public EntailmentQueryVisitor(final OpenlletReasoner reasoner) { _reasoner = reasoner; _indConv = new IndividualTermConverter(); reset(); }
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(); }
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(); }
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(); }
public Set<OWLAxiom> findNonEntailments(final Set<? extends OWLAxiom> axioms, final boolean findAll) { final Set<OWLAxiom> nonEntailments = new HashSet<>(); if (axioms.isEmpty()) _logger.warning("Empty ontologies are entailed by any premise document!"); else { final Set<OWLAxiom> deferredAxioms = new HashSet<>(); _queryVisitor.reset(); for (final OWLAxiom axiom : axioms) if (!isEntailed(axiom)) { if (_logger.isLoggable(Level.FINE)) _logger.fine("Axiom not entailed: (" + axiom + ")"); nonEntailments.add(axiom); if (findAll) break; } else if (_isDeferred) deferredAxioms.add(axiom); if ((findAll || nonEntailments.isEmpty()) && !_queryVisitor.isEntailed()) nonEntailments.addAll(deferredAxioms); } return nonEntailments; }
public Set<OWLAxiom> findNonEntailments(final Set<? extends OWLAxiom> axioms, final boolean findAll) { final Set<OWLAxiom> nonEntailments = new HashSet<>(); if (axioms.isEmpty()) _logger.warning("Empty ontologies are entailed by any premise document!"); else { final Set<OWLAxiom> deferredAxioms = new HashSet<>(); _queryVisitor.reset(); for (final OWLAxiom axiom : axioms) if (!isEntailed(axiom)) { if (_logger.isLoggable(Level.FINE)) _logger.fine("Axiom not entailed: (" + axiom + ")"); nonEntailments.add(axiom); if (findAll) break; } else if (_isDeferred) deferredAxioms.add(axiom); if ((findAll || nonEntailments.isEmpty()) && !_queryVisitor.isEntailed()) nonEntailments.addAll(deferredAxioms); } return nonEntailments; }
public Set<OWLAxiom> findNonEntailments(final Set<? extends OWLAxiom> axioms, final boolean findAll) { final Set<OWLAxiom> nonEntailments = new HashSet<>(); if (axioms.isEmpty()) _logger.warning("Empty ontologies are entailed by any premise document!"); else { final Set<OWLAxiom> deferredAxioms = new HashSet<>(); _queryVisitor.reset(); for (final OWLAxiom axiom : axioms) if (!isEntailed(axiom)) { if (_logger.isLoggable(Level.FINE)) _logger.fine("Axiom not entailed: (" + axiom + ")"); nonEntailments.add(axiom); if (findAll) break; } else if (_isDeferred) deferredAxioms.add(axiom); if ((findAll || nonEntailments.isEmpty()) && !_queryVisitor.isEntailed()) nonEntailments.addAll(deferredAxioms); } return nonEntailments; }