/** * Gets axioms that have a LHS corresponding to the specified entity. * * @param lhs The entity that occurs on the left hand side of the axiom. * @return A set of axioms that have the specified entity as their left hand side. */ private Set<OWLAxiom> getAxiomsForLHS(OWLEntity lhs) { return getIndexedSet(lhs, lhs2AxiomMap, true); }
private Collection<OWLEntity> getRHSEntities(OWLAxiom axiom) { return getIndexedSet(axiom, entitiesByAxiomRHS, true); }
private void indexAxiomsByRHSEntities(OWLObject rhs, OWLAxiom axiom) { OWLEntityCollector collector = new OWLEntityCollector(); rhs.accept(collector); getIndexedSet(axiom, entitiesByAxiomRHS, true).addAll(collector.getObjects()); }
continue; Set<OWLAxiom> mapped = getIndexedSet(entity, mappedAxioms, true); if (consumedAxioms.contains(ax) || mapped.contains(ax) || currentPath.contains(ax)) { continue;