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); }