@Override public void computeImmediateSubRoles(final Role r, final Map<ATerm, DependencySet> subs) { final Role invR = r.getInverse(); if (invR != null && invR != r) { for (final Role invSubR : invR.getSubRoles()) { final Role subR = invSubR.getInverse(); if (subR == null) _logger.fine(() -> "Property " + invSubR + " was supposed to be an ObjectProperty but it is not!"); else if (subR != r) subs.put(subR.getName(), invR.getExplainSub(invSubR.getName())); } for (final ATermList roleChain : invR.getSubRoleChains()) subs.put(inverse(roleChain), invR.getExplainSub(roleChain)); } for (final Role sub : r.getSubRoles()) subs.put(sub.getName(), r.getExplainSub(sub.getName())); for (final ATermList subChain : r.getSubRoleChains()) subs.put(subChain, r.getExplainSub(subChain)); }
@Override public void computeImmediateSubRoles(final Role r, final Map<ATerm, DependencySet> subs) { final Role invR = r.getInverse(); if (invR != null && invR != r) { for (final Role invSubR : invR.getSubRoles()) { final Role subR = invSubR.getInverse(); if (subR == null) _logger.fine(() -> "Property " + invSubR + " was supposed to be an ObjectProperty but it is not!"); else if (subR != r) subs.put(subR.getName(), invR.getExplainSub(invSubR.getName())); } for (final ATermList roleChain : invR.getSubRoleChains()) subs.put(inverse(roleChain), invR.getExplainSub(roleChain)); } for (final Role sub : r.getSubRoles()) subs.put(sub.getName(), r.getExplainSub(sub.getName())); for (final ATermList subChain : r.getSubRoleChains()) subs.put(subChain, r.getExplainSub(subChain)); }