default void addReflexiveProperty(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.makeReflexive(p)) : DependencySet.INDEPENDENT; r.setReflexive(true, ds); getLogger().finer(() -> "reflexive-prop " + p); }
default void addReflexiveProperty(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.makeReflexive(p)) : DependencySet.INDEPENDENT; r.setReflexive(true, ds); getLogger().finer(() -> "reflexive-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); }
invR.setAsymmetric(true, role.getExplainAsymmetric()); if (invR.isReflexive() && !role.isReflexive()) role.setReflexive(true, invR.getExplainReflexive()); if (role.isReflexive() && !invR.isReflexive()) invR.setReflexive(true, role.getExplainReflexive());
invR.setAsymmetric(true, role.getExplainAsymmetric()); if (invR.isReflexive() && !role.isReflexive()) role.setReflexive(true, invR.getExplainReflexive()); if (role.isReflexive() && !invR.isReflexive()) invR.setReflexive(true, role.getExplainReflexive());