selykielen suunnittelu ja toteutus Samu Viita

9koordinaattipisteeseen. Tämä ei ole kuitenkaankäsitteellisenmallintamisen kannalta oikeaoppista, sillä neliö ei ole kolmion yleiskäsite.Voidaan yleisesti sanoa, että is-a –suhde on tarkoitettu mallintamaan yleistys/erikoistamissuhteita,joissa attribuutit ja metodit periytyvät yleisestä erikoiseen.Erikoistetut käsitteet ovat merkitykseltään samankaltaisia kuin yleisemmätkäsitteet, mutta niillä on omia uusia ominaisuuksia tai toimintoja.Is-a ja part-of -mallinnussuhteiden lisäksi on olemassa muun muassa attribuuttisuhde,omistussuhde ja liitossuhde [Winston et al., 1987]. Nämä saattavat joskusvaikuttaa part-of suhteelta, mutta eivät kuitenkaan ole sitä. Attribuuttisuhteellakuvataan objektin ominaisuutta, eikä attribuutilla tulisi kuvata osaa objektissa[Wand et al., 1999; Artale et al., 1996]. Omistussuhde puolestaan kuvaa objektienvälillä olevaa omistussuhdetta. Toinen objekti on tällöin omistaja ja toinenomistettava. Suhde voi kuvata esimerkiksi auto-omistaja tai isä-poika suhdetta.Omistussuhteeksi voidaan virheellisesti ajatella myös polkupyörän jarenkaan välistä suhdetta. Jos kuitenkin tarkoitetaan, että polkupyörällä on rengaskomponenttina, niin polkupyörä ei tällöin omista rengasta, vaan kyse onpart-of –suhteesta. Liitossuhteella kuvataan jonkin asian liittymistä johonkin toiseenasiaan. Tällöin suhde voi olla part-of –suhde, mutta ei usein ole sitä. Esimerkiksilaukun ja ihmisen, tai korvarenkaan ja korvan suhdetta voidaan kuvataliitossuhteella, vaikka laukku ei ole ihmisen, eikä korvarengas korvan osa.Liitossuhde voi kuitenkin olla tietyissä tilanteissa samaan aikaan myös part-of –suhde. Näin on esimerkiksi polkupyörän ja renkaan part-of –suhteen kohdalla.Is-a- ja part-of -suhteet eroavat toisistaan monella tapaa, vaikka joskus nesekoitetaankin toisiinsa. Osa-kokonaisuussuhteessa esiintyvillä komponenteillaon toisistaan poikkeava semanttinen luonteensa, jota ei voida is-a –suhteellamallintaa. Osat tai kokonaisuudet eivät ole yleensä toistensa erikoistapauksia,joten attribuutit eivät usein periydy kokonaisuudelta osille. Tosin aikaisemminesitetyllä osa-kokonaisuussuhdetyypillä, lohko/kokonaisuus, voi lohkolla ollausein samoja attribuutteja kuin kokonaisuudellansakin. Tutkielmassa tarkoitanosa-kokonaisuussuhteessa periytymisellä myös ekstensionaalisten arvojen johtamistajoistakin muista part-of suhteessa olevista attribuuteista. Is-a –suhteessaperiytyminen tapahtuu ainoastaan intensionaalisella tasolla. Part-of -suhteessayleisempää sen sijaan on, että myös attribuuttien arvot periytyvät. Periytyminentapahtuu tällöin ekstensionaalisella tasolla. Tämä ei silti välttämättä tarkoita,että perivällä objektilla olisi yhtään samaa attribuuttia. Osakokonaisuussuhteessaperiytyminen voi lisäksi tapahtua kahteen suuntaan.Tällöin osat voivat periä joitakin ominaisuuksia kokonaisuudeltaan tai kokonaisuuspuolestaan voi periä ominaisuuksia yhdeltä tai useammalta osaltaan[Halper et al., 1998]. Part-of -suhteen ekstensionaalisella tasolla periytyminen