The aim of this paper is to refine, integrate and apply the methodology of OntoClean. Three 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.
Identity and Modality in OntoClean
CARRARA, MASSIMILIANO;GIARETTA, PIERDANIELE;MORATO, VITTORIO;SOAVI, MARZIA;SPOLAORE, GIUSEPPE MARIO
2004
Abstract
The aim of this paper is to refine, integrate and apply the methodology of OntoClean. Three 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.File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.