default void addAsymmetricProperty(final ATermAppl p) { if (null == p) return; getChanges().add(ChangeType.RBOX_ADD); final Role r = getRBox().getDefinedRole(p); final DependencySet ds = OpenlletOptions.USE_TRACING ? new DependencySet(ATermUtils.makeAsymmetric(p)) : DependencySet.INDEPENDENT; r.setAsymmetric(true, ds); getLogger().finer(() -> "anti-sym-prop " + p); }
default void addAsymmetricProperty(final ATermAppl p) { if (null == p) return; getChanges().add(ChangeType.RBOX_ADD); final Role r = getRBox().getDefinedRole(p); final DependencySet ds = OpenlletOptions.USE_TRACING ? new DependencySet(ATermUtils.makeAsymmetric(p)) : DependencySet.INDEPENDENT; r.setAsymmetric(true, ds); getLogger().finer(() -> "anti-sym-prop " + p); }
public RBoxImpl() { _fsmBuilder = new FSMBuilder(this); addDatatypeRole(ATermUtils.TOP_DATA_PROPERTY); addDatatypeRole(ATermUtils.BOTTOM_DATA_PROPERTY); final Role topObjProp = addObjectRole(ATermUtils.TOP_OBJECT_PROPERTY); final Role bottomObjProp = addObjectRole(ATermUtils.BOTTOM_OBJECT_PROPERTY); topObjProp.setTransitive(true, DependencySet.INDEPENDENT); topObjProp.setReflexive(true, DependencySet.INDEPENDENT); bottomObjProp.setIrreflexive(true, DependencySet.INDEPENDENT); bottomObjProp.setAsymmetric(true, DependencySet.INDEPENDENT); addEquivalentRole(topObjProp.getName(), topObjProp.getInverse().getName(), DependencySet.INDEPENDENT); addEquivalentRole(bottomObjProp.getName(), bottomObjProp.getInverse().getName(), DependencySet.INDEPENDENT); }
public RBoxImpl() { _fsmBuilder = new FSMBuilder(this); addDatatypeRole(ATermUtils.TOP_DATA_PROPERTY); addDatatypeRole(ATermUtils.BOTTOM_DATA_PROPERTY); final Role topObjProp = addObjectRole(ATermUtils.TOP_OBJECT_PROPERTY); final Role bottomObjProp = addObjectRole(ATermUtils.BOTTOM_OBJECT_PROPERTY); topObjProp.setTransitive(true, DependencySet.INDEPENDENT); topObjProp.setReflexive(true, DependencySet.INDEPENDENT); bottomObjProp.setIrreflexive(true, DependencySet.INDEPENDENT); bottomObjProp.setAsymmetric(true, DependencySet.INDEPENDENT); addEquivalentRole(topObjProp.getName(), topObjProp.getInverse().getName(), DependencySet.INDEPENDENT); addEquivalentRole(bottomObjProp.getName(), bottomObjProp.getInverse().getName(), DependencySet.INDEPENDENT); }
role.setFunctional(true, invR.getExplainInverseFunctional()); if (invR.isAsymmetric() && !role.isAsymmetric()) role.setAsymmetric(true, invR.getExplainAsymmetric()); if (role.isAsymmetric() && !invR.isAsymmetric()) invR.setAsymmetric(true, role.getExplainAsymmetric()); if (invR.isReflexive() && !role.isReflexive()) role.setReflexive(true, invR.getExplainReflexive()); r.setAsymmetric(true, ds);
role.setFunctional(true, invR.getExplainInverseFunctional()); if (invR.isAsymmetric() && !role.isAsymmetric()) role.setAsymmetric(true, invR.getExplainAsymmetric()); if (role.isAsymmetric() && !invR.isAsymmetric()) invR.setAsymmetric(true, role.getExplainAsymmetric()); if (invR.isReflexive() && !role.isReflexive()) role.setReflexive(true, invR.getExplainReflexive()); r.setAsymmetric(true, ds);