/** * Gets the rHS entities. * * @param axiom the axiom * @return the rHS entities */ private Collection<OWLEntity> getRHSEntities(OWLAxiom axiom) { return getIndexedSet(axiom, entitiesByAxiomRHS, true); }
/** * 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. */ protected Set<OWLAxiom> getAxiomsForLHS(OWLEntity lhs) { return getIndexedSet(lhs, lhs2AxiomMap, true); }
/** * 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. */ protected Set<OWLAxiom> getAxiomsForLHS(OWLEntity lhs) { return getIndexedSet(lhs, lhs2AxiomMap, true); }
/** * 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. */ protected Set<OWLAxiom> getAxiomsForLHS(OWLEntity lhs) { return getIndexedSet(lhs, lhs2AxiomMap, true); }
/** * Gets the rHS entities. * * @param axiom the axiom * @return the rHS entities */ private Collection<OWLEntity> getRHSEntities(OWLAxiom axiom) { return getIndexedSet(axiom, entitiesByAxiomRHS, true); }
/** * 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. */ protected Set<OWLAxiom> getAxiomsForLHS(OWLEntity lhs) { return getIndexedSet(lhs, lhs2AxiomMap, true); }
/** * Gets the rHS entities. * * @param axiom the axiom * @return the rHS entities */ private Collection<OWLEntity> getRHSEntities(OWLAxiom axiom) { return getIndexedSet(axiom, entitiesByAxiomRHS, true); }
/** * Gets the rHS entities. * * @param axiom the axiom * @return the rHS entities */ private Collection<OWLEntity> getRHSEntities(OWLAxiom axiom) { return getIndexedSet(axiom, entitiesByAxiomRHS, true); }
/** * Index axioms by rhs entities. * * @param rhs the rhs * @param axiom the axiom */ protected void indexAxiomsByRHSEntities(OWLObject rhs, OWLAxiom axiom) { add(getIndexedSet(axiom, entitiesByAxiomRHS, true), rhs.signature()); }
/** * Index axioms by rhs entities. * * @param rhs the rhs * @param axiom the axiom */ protected void indexAxiomsByRHSEntities(OWLObject rhs, OWLAxiom axiom) { add(getIndexedSet(axiom, entitiesByAxiomRHS, true), rhs.signature()); }
/** * Index axioms by rhs entities. * * @param rhs the rhs * @param axiom the axiom */ protected void indexAxiomsByRHSEntities(OWLObject rhs, OWLAxiom axiom) { add(getIndexedSet(axiom, entitiesByAxiomRHS, true), rhs.signature()); }
/** * Index axioms by rhs entities. * * @param rhs the rhs * @param axiom the axiom */ protected void indexAxiomsByRHSEntities(OWLObject rhs, OWLAxiom axiom) { add(getIndexedSet(axiom, entitiesByAxiomRHS, true), rhs.signature()); }
private void insertChildren(@Nullable OWLEntity entity, ExplanationTree tree) { if (entity == null) { return; } Set<OWLAxiom> currentPath = new HashSet<>(tree.getUserObjectPathToRoot()); getAxioms(entity).filter(ax -> !passTypes.contains(ax.getAxiomType())).forEach(ax -> { Set<OWLAxiom> mapped = getIndexedSet(entity, mappedAxioms, true); if (!consumedAxioms.contains(ax) && !mapped.contains(ax) && !currentPath.contains(ax)) { mapped.add(ax); consumedAxioms.add(ax); ExplanationTree child = new ExplanationTree(ax); tree.addChild(child); getRHSEntitiesSorted(ax).forEach(ent -> insertChildren(ent, child)); } }); sortChildrenAxioms(tree); }
private void insertChildren(@Nullable OWLEntity entity, ExplanationTree tree) { if (entity == null) { return; } Set<OWLAxiom> currentPath = new HashSet<>(tree.getUserObjectPathToRoot()); getAxioms(entity).filter(ax -> !passTypes.contains(ax.getAxiomType())).forEach(ax -> { Set<OWLAxiom> mapped = getIndexedSet(entity, mappedAxioms, true); if (!consumedAxioms.contains(ax) && !mapped.contains(ax) && !currentPath.contains(ax)) { mapped.add(ax); consumedAxioms.add(ax); ExplanationTree child = new ExplanationTree(ax); tree.addChild(child); getRHSEntitiesSorted(ax).forEach(ent -> insertChildren(ent, child)); } }); sortChildrenAxioms(tree); }
private void insertChildren(@Nullable OWLEntity entity, ExplanationTree tree) { if (entity == null) { return; } Set<OWLAxiom> currentPath = new HashSet<>(tree.getUserObjectPathToRoot()); getAxioms(entity).filter(ax -> !passTypes.contains(ax.getAxiomType())).forEach(ax -> { Set<OWLAxiom> mapped = getIndexedSet(entity, mappedAxioms, true); if (!consumedAxioms.contains(ax) && !mapped.contains(ax) && !currentPath.contains(ax)) { mapped.add(ax); consumedAxioms.add(ax); ExplanationTree child = new ExplanationTree(ax); tree.addChild(child); getRHSEntitiesSorted(ax).forEach(ent -> insertChildren(ent, child)); } }); sortChildrenAxioms(tree); }
private void insertChildren(@Nullable OWLEntity entity, ExplanationTree tree) { if (entity == null) { return; } Set<OWLAxiom> currentPath = new HashSet<>(tree.getUserObjectPathToRoot()); getAxioms(entity).filter(ax -> !passTypes.contains(ax.getAxiomType())).forEach(ax -> { Set<OWLAxiom> mapped = getIndexedSet(entity, mappedAxioms, true); if (!consumedAxioms.contains(ax) && !mapped.contains(ax) && !currentPath.contains(ax)) { mapped.add(ax); consumedAxioms.add(ax); ExplanationTree child = new ExplanationTree(ax); tree.addChild(child); getRHSEntitiesSorted(ax).forEach(ent -> insertChildren(ent, child)); } }); sortChildrenAxioms(tree); }