Set<OWLAxiom> asSet(Collection<AxiomWrapper> c) { Set<OWLAxiom> toReturn = new HashSet<>(); for (AxiomWrapper p : c) { toReturn.add(p.getAxiom()); } return toReturn; }
Set<OWLAxiom> asSet(Collection<AxiomWrapper> c) { Set<OWLAxiom> toReturn = new HashSet<>(); for (AxiomWrapper p : c) { toReturn.add(p.getAxiom()); } return toReturn; }
Set<OWLAxiom> asSet(Collection<AxiomWrapper> c) { Set<OWLAxiom> toReturn = new HashSet<>(); for (AxiomWrapper p : c) { toReturn.add(p.getAxiom()); } return toReturn; }
Set<OWLAxiom> asSet(Collection<AxiomWrapper> c) { Set<OWLAxiom> toReturn = new HashSet<>(); for (AxiomWrapper p : c) { toReturn.add(p.getAxiom()); } return toReturn; }
/** * update SIG wrt the axiom signature * * @param axiom axiom */ private void addAxiomSig(AxiomWrapper axiom) { axiom.getAxiom().signature().filter(sig::add).forEach(workQueue::add); }
/** * @param ax axiom * @return true iff an AXiom is non-local */ private boolean isNonLocal(AxiomWrapper ax) { boolean b = !checker.local(ax.getAxiom()); ++nChecks; if (b) { ++nNonLocal; } return b; }
/** * @param ax axiom * @return true iff an AXiom is non-local */ private boolean isNonLocal(AxiomWrapper ax) { boolean b = !checker.local(ax.getAxiom()); ++nChecks; if (b) { ++nNonLocal; } return b; }
/** * @param ax axiom * @return true iff an AXiom is non-local */ private boolean isNonLocal(AxiomWrapper ax) { boolean b = !checker.local(ax.getAxiom()); ++nChecks; if (b) { ++nNonLocal; } return b; }
/** * @param ax axiom * @return true iff an AXiom is non-local */ private boolean isNonLocal(AxiomWrapper ax) { boolean b = !checker.local(ax.getAxiom()); ++nChecks; if (b) { ++nNonLocal; } return b; }
/** * @param ax axiom * @return true iff an AXiom is non-local */ private boolean isNonLocal(AxiomWrapper ax) { boolean b = !checker.local(ax.getAxiom()); ++nChecks; if (b) { ++nNonLocal; } return b; }
/** * update SIG wrt the axiom signature * * @param axiom axiom */ private void addAxiomSig(AxiomWrapper axiom) { axiom.getAxiom().signature().filter(sig::add).forEach(workQueue::add); }
/** * update SIG wrt the axiom signature * * @param axiom axiom */ private void addAxiomSig(AxiomWrapper axiom) { axiom.getAxiom().signature().filter(sig::add).forEach(workQueue::add); }
/** * update SIG wrt the axiom signature * * @param axiom axiom */ private void addAxiomSig(AxiomWrapper axiom) { axiom.getAxiom().signature().filter(sig::add).forEach(workQueue::add); }
/** * @param ax axiom * @return true iff an AXiom is non-local */ private boolean isNonLocal(AxiomWrapper ax) { boolean b = !checker.local(ax.getAxiom()); ++nChecks; if (b) { ++nNonLocal; } return b; }
/** * @param ax axiom * @return true iff an AXiom is non-local */ private boolean isNonLocal(AxiomWrapper ax) { boolean b = !checker.local(ax.getAxiom()); ++nChecks; if (b) { ++nNonLocal; } return b; }
/** * @param axioms * axioms */ public void loadAxioms(Stream<OWLAxiom> axioms) { // TODO check valid axioms, such as those involving topDataProperty axioms.map(ax -> ax.accept(axiomTranslator)).filter(ax -> Axioms.dummy() != ax).forEach(ax -> axiom2PtrMap.put( ax.getAxiom(), ax)); }
@Override public void preprocessOntology(Collection<AxiomWrapper> s) { sig = new Signature(); s.forEach(ax -> sig.addAll(ax.getAxiom().signature())); }
@Override public void preprocessOntology(Collection<AxiomWrapper> s) { sig = new Signature(); s.forEach(ax -> sig.addAll(ax.getAxiom().signature())); }
@Override public void preprocessOntology(Collection<AxiomWrapper> s) { sig = new Signature(); s.forEach(ax -> sig.addAll(ax.getAxiom().signature())); }
@Override public void preprocessOntology(Collection<AxiomWrapper> s) { sig = new Signature(); s.forEach(ax -> sig.addAll(ax.getAxiom().signature())); }