aspects are taken into account; two of them concern main ideas of OntoClean, the third one
is a study of a particular important application. The first section deals with the topic of
identity: formal constraints on identity criteria, compatibility and identity among identity
criteria. The second section deals with rigidity, dependence and existence. The final section
investigates how meta-property criteria can be applied to the notion of artifact.