I would like to put up for discussion a change of the definition of IBE that allows for object aggregates to be IBEs.
An ICE currently needs to generically depend on at least one IBE. An ICE can be concretized as a role.
An object aggregate (e. g. an organization) (and also a fiat object part) can bear a role that concretizes an ICE and so can carry that ICE, but it can't be an IBE. That means that currently for every object aggregate that carries some ICE, there needs to exist an additional IBE object that carries that ICE.
The case I have in mind is that there could be an organization that is a legal person and bears some subtype of a legal role that concretizes some directive ICE.
I guess a possible counterargument to this proposal is that object aggregates do not add anything physical to their object parts so that it's not clear what is supposed to carry the information. Roles seem to not raise the same problem since they are externally grounded.
I would like to put up for discussion a change of the definition of IBE that allows for object aggregates to be IBEs.
An ICE currently needs to generically depend on at least one IBE. An ICE can be concretized as a role.
An object aggregate (e. g. an organization) (and also a fiat object part) can bear a role that concretizes an ICE and so can carry that ICE, but it can't be an IBE. That means that currently for every object aggregate that carries some ICE, there needs to exist an additional IBE object that carries that ICE.
The case I have in mind is that there could be an organization that is a legal person and bears some subtype of a legal role that concretizes some directive ICE.
I guess a possible counterargument to this proposal is that object aggregates do not add anything physical to their object parts so that it's not clear what is supposed to carry the information. Roles seem to not raise the same problem since they are externally grounded.