Is-a

A tudásreprezentációban, objektumorientált programozásban és tervezésben (lásd objektumorientált program architektúra ), az-egy (is_a vagy az-egy) egy absztrakciók közötti alárendelt kapcsolat (pl típusok, osztályok ), ahol az egyik osztály, A, egy másik osztály, B, alosztálya (és így B superclass-a az A-nak). Más szavakkal, az A típus a B típus altípusa, amikor A specifikációja magában foglalja B specifikációját. Vagyis bármely olyan objektum (vagy osztály), amely megfelel az A specifikációjának, szintén megfelel a B specifikációnak, mert B specifikációja gyengébb.^[1]

Az az-egy kapcsolat ellentétben áll a van-egy ( has_a vagy a ) kapcsolattal a típusok (osztályok) között; összekeverni a van-egy és az-egy kapcsolatokat gyakori hiba, amikor modellt szerkesztünk (pl számítógépes program ) az objektum és az alárendelt valós kapcsolatáról. Az az-egy viszony ellentétben állhat az objektumok (példányok) és a típusok (osztályok) közötti instance-of kapcsolattal is: lásd " típus-token megkülönböztetés " és " típus-token kapcsolatok ".^[2]

Összegezve a kapcsolatokat, van

• hiperonim - hyponym ( szupertípus – altípus) kapcsolatok a típusok (osztályok) között, meghatározva egy taxonómiai hierarchiát, ahol
  • szubupupciós viszony esetén: a hiponím (altípus, alosztály) type-of ( az-egy ) összefüggésben van hiperonimájával (szupertípus, szuperosztály);
• holonym - meronym (teljes / entitás / konténer-rész / alkotóelem / tag) típusok (osztályok) közötti kapcsolatok, amelyek egy birtokló hierarchiát határoznak meg, ahol
  • összesítő (vagyis tulajdonjog nélküli) kapcsolat esetén:
    • egy (teljes) holonymnak van-egy kapcsolata van a meronimával (részleges),
  • összetétel (azaz tulajdonosi) kapcsolat esetén:
    • egy meronima (alkotóelem) part-of kapcsolata vana a holonimjával (entitásával),
  • az elszigetelés ^[3] kapcsolatához:
    • egy meronym (tag) van egy member-of kapcsolata van a holonimjával ( konténer );
• concept-object (típus-token) kapcsolat van a típusok (osztályok) és az objektumok (példányok) között, ha
  • egy tokennek (objektumnak) egy instance-of kapcsolata van a típusával (osztályával).

1. ↑ Subtypes and Subclasses. MIT OCW. (Hozzáférés: 2012. október 2.)
2. ↑ Type–token relations
3. ↑ See also Containment (computer programming).