es-un

En la representación del conocimiento , los componentes de ontología y la ingeniería de ontologías , incluyendo la programación y el diseño orientados a objetos , is-a (también escrito como is_a o is a ) es una relación subsuntiva ^{[ a ]} entre abstracciones (por ejemplo, tipos , clases ), donde una clase A es una subclase de otra clase B (y por lo tanto B es una superclase de A ). En otras palabras, el tipo A es un subtipo del tipo B cuando la especificación de A implica la especificación de B. Es decir, cualquier objeto (o clase) que satisfaga la especificación de A también satisface la especificación de B, porque la especificación de B es más débil. ^{[ 1 ]}

Por ejemplo, un gato es un animal, pero no al revés. Todos los gatos son animales, pero no todos los animales son gatos. El comportamiento relevante para todos los animales se define en una clase de animales, mientras que el comportamiento relevante solo para los gatos se define en una clase de gatos. Al definir la clase de gatos como una extensión de la clase de animales, todos los gatos heredan el comportamiento definido para los animales, sin necesidad de codificarlo explícitamente para los gatos.

La relación "es un" debe contrastarse con la relación " tiene un" ( has_a o has a ) entre tipos (clases); confundir las relaciones " tiene un" e "es un" es un error común al diseñar un modelo (por ejemplo, un programa informático ) de la relación del mundo real entre un objeto y su subordinado. La relación "es un" también puede contrastarse con la relación "instancia de" entre objetos (instancias) y tipos (clases): véase Distinción entre tokens de tipo .

Para resumir las relaciones, existen las siguientes:

• hiperónimo – hipónimo (supertipo/superclase–subtipo/subclase) relaciones entre tipos (clases) que definen una jerarquía taxonómica, donde
  • para una relación de subsunción : un hipónimo (subtipo, subclase) tiene una relación de tipo ( es un ) con su hiperónimo (supertipo, superclase);
• holónimo – merónimo (todo/entidad/contenedor–parte/constituyente/miembro) relaciones entre tipos (clases) que definen una jerarquía posesiva, donde
  • Para una relación de agregación (es decir, sin propiedad):
    • un holónimo (todo) tiene una relación de "tiene un" con su merónimo (parte),
  • para una relación de composición (es decir, con propiedad):
    • un merónimo (constituyente) tiene una relación de parte de con su holónimo (entidad),
  • para una relación de contención ^{[ 2 ]} :
    • un merónimo (miembro) tiene una relación de pertenencia con su holónimo ( contenedor );
• relaciones concepto-objeto (tipo-token) entre tipos (clases) y objetos (instancias), donde
  • Un token (objeto) tiene una relación de instancia de con su tipo (clase).

• Herencia (programación orientada a objetos)
• Principio de sustitución de Liskov (en programación orientada a objetos )
• Subsunción
• Es-un
  • Hiperonimia (y supertipo )
  • Hiponimia (y subtipo )
• Tiene-un
  • Holonimia
  • Meronimia

• Ronald J. Brachman ; " Qué es y qué no es IS-A. Un análisis de los vínculos taxonómicos en redes semánticas ". IEEE Computer, 16 (10); octubre de 1983.
• Jean-Luc Hainaut, Jean-Marc Hick, Vincent Englebert, Jean Henrard, Didier Roland: Comprensión de las implementaciones de las relaciones IS-A . ER 1996: 42-57