Modelling Specialization as BLOOM semilattices

The capabilities of a data model to represent any conceptualization (expressiveness) are very important for faithful modelling. Focusing on the generalization/specialization dimension, unique features of the BLOOM model are presented: specialization criteria, four kinds of specialization, usage of specialization metaclasses, transitive specializations, combinations of specializations that automatically generate specialization semilattices. These features are exemplified through a complete example.