/** * @return signature of the axiom, or empty if no axiom is set */ public Stream<OWLEntity> signature() { return axiom.signature(); }
/** * @return signature of the axiom, or empty if no axiom is set */ public Stream<OWLEntity> signature() { return axiom.signature(); }
/** * @return signature of the axiom, or empty if no axiom is set */ public Stream<OWLEntity> signature() { return axiom.signature(); }
/** * @return signature of the axiom, or empty if no axiom is set */ public Stream<OWLEntity> signature() { return axiom.signature(); }
@Deprecated public static Stream<OWLEntity> signature(final OWLAxiom axiom) { return axiom.signature(); }
@Deprecated public static Stream<OWLEntity> signature(final OWLAxiom axiom) { return axiom.signature(); }
private void removeAxiom(OWLAxiom axiom) { if (axioms.remove(axiom)) { axiom.signature().forEach(e -> { AtomicInteger count = referenceCounts.get(e); if (count != null && count.decrementAndGet() == 0) { referenceCounts.remove(e); } }); } }
private void addAxiom(OWLAxiom axiom) { if (axioms.add(axiom)) { axiom.signature() .forEach(e -> referenceCounts.computeIfAbsent(e, x -> new AtomicInteger(0)) .incrementAndGet()); } }
private void addAxiom(OWLAxiom axiom) { if (axioms.add(axiom)) { axiom.signature() .forEach(e -> referenceCounts.computeIfAbsent(e, x -> new AtomicInteger(0)) .incrementAndGet()); } }
private void addAxiom(OWLAxiom axiom) { if (axioms.add(axiom)) { axiom.signature() .forEach(e -> referenceCounts.computeIfAbsent(e, x -> new AtomicInteger(0)) .incrementAndGet()); } }
private void addAxiom(OWLAxiom axiom) { if (axioms.add(axiom)) { axiom.signature() .forEach(e -> referenceCounts.computeIfAbsent(e, x -> new AtomicInteger(0)) .incrementAndGet()); } }
/** * update SIG wrt the axiom signature * * @param axiom axiom */ private void addAxiomSig(AxiomWrapper axiom) { axiom.getAxiom().signature().filter(sig::add).forEach(workQueue::add); }
private void buildIndices() { reset(); AxiomMapBuilder builder = new AxiomMapBuilder(); currentExplanation.forEach(ax -> ax.accept(builder)); currentExplanation.forEach( ax -> ax.signature().forEach(c -> axioms.computeIfAbsent(c, x -> new HashSet<>()))); }
private void initSignature() { if (signature == null) { signature = new ArrayList<>(); axioms.forEach(ax -> add(verifyNotNull(signature), ax.signature())); } }
private void buildIndices() { reset(); AxiomMapBuilder builder = new AxiomMapBuilder(); currentExplanation.forEach(ax -> ax.accept(builder)); currentExplanation.forEach( ax -> ax.signature().forEach(c -> axioms.computeIfAbsent(c, x -> new HashSet<>()))); }
private void initSignature() { if (signature == null) { signature = new ArrayList<>(); axioms.forEach(ax -> add(verifyNotNull(signature), ax.signature())); } }
private void initSignature() { if (signature == null) { signature = new ArrayList<>(); axioms.forEach(ax -> add(verifyNotNull(signature), ax.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())); }
protected void dealWithDisjoints(Set<OWLAxiom> expansion,Set<OWLDisjointClassesAxiom> disjointClassesAxioms,Set<OWLEntity> expansionSig, OWLAxiom expAx) { if (!expAx.getAxiomType().equals(AxiomType.DISJOINT_CLASSES) && !expAx.isOfType(AxiomType.CLASS_ASSERTION, AxiomType.OBJECT_PROPERTY_ASSERTION, AxiomType.DATA_PROPERTY_ASSERTION, AxiomType.SAME_INDIVIDUAL, AxiomType.DIFFERENT_INDIVIDUALS)) { expansion.add(expAx); add(expansionSig, expAx.signature()); } else { if (expAx instanceof OWLDisjointClassesAxiom) { disjointClassesAxioms.add((OWLDisjointClassesAxiom) expAx); } } }