Diagrammi dell' Ontologia

Gerarchia dell'Ontologia

Ruoli

Schede Verticali


Categoria


Ruoli

Diagrammi


Descrizione


Il ruolo ha_stato_di_veicolo specializza ha_stato in quanto lega ogni veicolo con il suo stato corrente ed i suoi stati passati (rappresentati attraverso il concetto Stato_di_veicolo). Al momento della creazione di un nuovo veicolo v, un nuovo stato di veicolo sv verrà associato a v, generando una nuova istanza del ruolo ha_stato_di_veicolo. Inizialmente, v disporrà di uno stato iniziale unico (cioè il veicolo non disporrà di fatto di nessuno stato passato). Non appena una delle sue proprietà rilevanti "non rigide" varia, verrà creata una nuova istanza del ruolo ha_stato_di_veicolo, imponendo una temporizzazione dei suoi stati passati. Si rimanda al ruolo ha_stato per un approfondimento sulla semantica della modellazione dell'evoluzione nel tempo attraverso la nozione di stato.

Generalizzazioni


Tipizzazioni