public void addSuperRole(Role r, DependencySet ds) { superRoles = SetUtils.add( r, superRoles ); explainSup.put(r.getName(), ds); }
public void addSuperRole(Role r, DependencySet ds) { superRoles = SetUtils.add( r, superRoles ); explainSup.put(r.getName(), ds); }
/** * Add sub role with depedency set. * * @param r subrole of this role * @param ds */ public void addSubRole(Role r, DependencySet ds) { if (PelletOptions.USE_TRACING && explainSub.get(r.getName()) == null) explainSub.put(r.getName(), ds); subRoles = SetUtils.add( r, subRoles ); explainSub.put(r.getName(), ds); }
/** * Add sub role with depedency set. * * @param r subrole of this role * @param ds */ public void addSubRole(Role r, DependencySet ds) { if (PelletOptions.USE_TRACING && explainSub.get(r.getName()) == null) explainSub.put(r.getName(), ds); subRoles = SetUtils.add( r, subRoles ); explainSub.put(r.getName(), ds); }
/** * @param functionalSuper The functionalSuper to set. */ public void addFunctionalSuper(Role r) { for( Role fs : functionalSupers ) { if( fs.isSubRoleOf( r ) ) { functionalSupers = SetUtils.remove( fs, functionalSupers ); break; } else if( r.isSubRoleOf( fs ) ) { return; } } functionalSupers = SetUtils.add( r, functionalSupers ); }
/** * @param functionalSuper The functionalSuper to set. */ public void addFunctionalSuper(Role r) { for( Role fs : functionalSupers ) { if( fs.isSubRoleOf( r ) ) { functionalSupers = SetUtils.remove( fs, functionalSupers ); break; } else if( r.isSubRoleOf( fs ) ) { return; } } functionalSupers = SetUtils.add( r, functionalSupers ); }
/** * Add a sub role chain with dependency tracking. * * @param chain List of role names of at least length 2. * @param ds */ public void addSubRoleChain( ATermList chain, DependencySet ds) { if( chain.isEmpty() ) throw new InternalReasonerException( "Adding a subproperty chain that is empty!" ); else if( chain.getLength() == 1 ) throw new InternalReasonerException( "Adding a subproperty chain that has a single element!" ); subRoleChains = SetUtils.add( chain, subRoleChains ); explainSub.put(chain, ds); setSimple( false ); if( ATermUtils.isTransitiveChain( chain, name ) ) { if( !isTransitive() ) setTransitive( true, ds ); } }
/** * Add a sub role chain with dependency tracking. * * @param chain List of role names of at least length 2. * @param ds */ public void addSubRoleChain( ATermList chain, DependencySet ds) { if( chain.isEmpty() ) throw new InternalReasonerException( "Adding a subproperty chain that is empty!" ); else if( chain.getLength() == 1 ) throw new InternalReasonerException( "Adding a subproperty chain that has a single element!" ); subRoleChains = SetUtils.add( chain, subRoleChains ); explainSub.put(chain, ds); setSimple( false ); if( ATermUtils.isTransitiveChain( chain, name ) ) { if( !isTransitive() ) setTransitive( true, ds ); } }