default void addSubProperty(final ATerm sub, final ATermAppl sup) { getChanges().add(ChangeType.RBOX_ADD); getRBox().addSubRole(sub, sup); getLogger().finer(() -> "sub-prop " + sub + " " + sup); }
default boolean addSubRole(final ATerm sub, final ATerm sup) { final DependencySet ds = OpenlletOptions.USE_TRACING ? new DependencySet(ATermUtils.makeSubProp(sub, sup)) : DependencySet.INDEPENDENT; return addSubRole(sub, sup, ds); }
default boolean addSubRole(final ATerm sub, final ATerm sup) { final DependencySet ds = OpenlletOptions.USE_TRACING ? new DependencySet(ATermUtils.makeSubProp(sub, sup)) : DependencySet.INDEPENDENT; return addSubRole(sub, sup, ds); }
default void addSubProperty(final ATerm sub, final ATermAppl sup) { getChanges().add(ChangeType.RBOX_ADD); getRBox().addSubRole(sub, sup); getLogger().finer(() -> "sub-prop " + sub + " " + sup); }
default Role addDatatypeRole(final ATermAppl r) { Role role = getRole(r); if (role == null) { role = new RoleImpl(r, PropertyType.DATATYPE); getRoles().put(r, role); addSubRole(ATermUtils.BOTTOM_DATA_PROPERTY, role.getName(), DependencySet.INDEPENDENT); addSubRole(role.getName(), ATermUtils.TOP_DATA_PROPERTY, DependencySet.INDEPENDENT); } else switch (role.getType()) { case DATATYPE: break; case OBJECT: role = null; break; default: role.setType(PropertyType.DATATYPE); addSubRole(ATermUtils.BOTTOM_DATA_PROPERTY, role.getName(), DependencySet.INDEPENDENT); addSubRole(role.getName(), ATermUtils.TOP_DATA_PROPERTY, DependencySet.INDEPENDENT); break; } return role; }
default Role addDatatypeRole(final ATermAppl r) { Role role = getRole(r); if (role == null) { role = new RoleImpl(r, PropertyType.DATATYPE); getRoles().put(r, role); addSubRole(ATermUtils.BOTTOM_DATA_PROPERTY, role.getName(), DependencySet.INDEPENDENT); addSubRole(role.getName(), ATermUtils.TOP_DATA_PROPERTY, DependencySet.INDEPENDENT); } else switch (role.getType()) { case DATATYPE: break; case OBJECT: role = null; break; default: role.setType(PropertyType.DATATYPE); addSubRole(ATermUtils.BOTTOM_DATA_PROPERTY, role.getName(), DependencySet.INDEPENDENT); addSubRole(role.getName(), ATermUtils.TOP_DATA_PROPERTY, DependencySet.INDEPENDENT); break; } return role; }
invRole.setInverse(role); addSubRole(ATermUtils.BOTTOM_OBJECT_PROPERTY, role.getName(), DependencySet.INDEPENDENT); addSubRole(role.getName(), ATermUtils.TOP_OBJECT_PROPERTY, DependencySet.INDEPENDENT); addSubRole(ATermUtils.BOTTOM_OBJECT_PROPERTY, role.getName(), DependencySet.INDEPENDENT); addSubRole(role.getName(), ATermUtils.TOP_OBJECT_PROPERTY, DependencySet.INDEPENDENT);
invRole.setInverse(role); addSubRole(ATermUtils.BOTTOM_OBJECT_PROPERTY, role.getName(), DependencySet.INDEPENDENT); addSubRole(role.getName(), ATermUtils.TOP_OBJECT_PROPERTY, DependencySet.INDEPENDENT); addSubRole(ATermUtils.BOTTOM_OBJECT_PROPERTY, role.getName(), DependencySet.INDEPENDENT); addSubRole(role.getName(), ATermUtils.TOP_OBJECT_PROPERTY, DependencySet.INDEPENDENT);