@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)); }
for (final ATermList chainList : supRole.getSubRoleChains())
for (final ATermList chainList : supRole.getSubRoleChains())
public RoleChainCache(final KnowledgeBase kb) { _anonRoleCount = 0; _binaryRoleInclusions = CollectionUtils.makeMap(); for (final Role supRole : kb.getRBox().getRoles().values()) { if (supRole.isAnon()) continue; for (ATermList chain : supRole.getSubRoleChains()) { final int chainLength = chain.getLength(); if (chainLength <= 1) continue; ATermAppl r1 = (ATermAppl) chain.getFirst(); chain = chain.getNext(); ATermAppl r2 = (ATermAppl) chain.getFirst(); ATermAppl superRole = createSuperRoleFor(r1, r2); for (int i = 1; i < chainLength - 1; i++) { add(kb, r1, r2, superRole); r1 = superRole; chain = chain.getNext(); r2 = (ATermAppl) chain.getFirst(); superRole = createSuperRoleFor(r1, r2); } add(kb, r1, r2, supRole.getName()); } } }
public RoleChainCache(final KnowledgeBase kb) { _anonRoleCount = 0; _binaryRoleInclusions = CollectionUtils.makeMap(); for (final Role supRole : kb.getRBox().getRoles().values()) { if (supRole.isAnon()) continue; for (ATermList chain : supRole.getSubRoleChains()) { final int chainLength = chain.getLength(); if (chainLength <= 1) continue; ATermAppl r1 = (ATermAppl) chain.getFirst(); chain = chain.getNext(); ATermAppl r2 = (ATermAppl) chain.getFirst(); ATermAppl superRole = createSuperRoleFor(r1, r2); for (int i = 1; i < chainLength - 1; i++) { add(kb, r1, r2, superRole); r1 = superRole; chain = chain.getNext(); r2 = (ATermAppl) chain.getFirst(); superRole = createSuperRoleFor(r1, r2); } add(kb, r1, r2, supRole.getName()); } } }
for (ATermList chain : r.getSubRoleChains()) for (; !chain.isEmpty(); chain = chain.getNext()) if (ATermUtils.isInv((ATermAppl) chain.getFirst()) != isInv)
for (ATermList chain : r.getSubRoleChains()) for (; !chain.isEmpty(); chain = chain.getNext()) if (ATermUtils.isInv((ATermAppl) chain.getFirst()) != isInv)
final Set<ATermList> subRoleChains = s.getSubRoleChains(); for (final ATermList chain : subRoleChains) if (!isBlockedByChain(cxt, chain, c))
final Set<ATermList> subRoleChains = s.getSubRoleChains(); for (final ATermList chain : subRoleChains) if (!isBlockedByChain(cxt, chain, c))
tg.addTransition(i, sub, f); for (final ATermList subChain : s.getSubRoleChains()) if (!addRoleChainTransition(tg, s, subChain)) return null;
tg.addTransition(i, sub, f); for (final ATermList subChain : s.getSubRoleChains()) if (!addRoleChainTransition(tg, s, subChain)) return null;
final Set<ATermList> subRoleChains = s.getSubRoleChains(); for (final ATermList chain : subRoleChains)
final Set<ATermList> subRoleChains = s.getSubRoleChains(); for (final ATermList chain : subRoleChains)
final Set<ATermList> subRoleChains = s.getSubRoleChains(); for (final ATermList chain : subRoleChains)
final Set<ATermList> subRoleChains = s.getSubRoleChains(); for (final ATermList chain : subRoleChains)