In der Kenntnisse-Darstellung, objektorientierter Programmierung und Design, ist - a oder is_a oder ist (Klassifizierung) ist eine Beziehung, wo eine Klasse D eine Unterklasse einer anderen Klasse B ist (und so ist B eine Superklasse von D).

Mit anderen Worten, "D ist ein B" (B ordnet D unter, oder D "wird durch" B untergeordnet) gewöhnlich bedeutet, dass Konzept D eine Spezialisierung des Konzepts B ist, und Konzept B eine Generalisation des Konzepts D ist. Zum Beispiel ist eine "Frucht" eine Generalisation "des Apfels", "orange", "Mango" und viele andere. Man kann sagen, dass ein Apfel eine Frucht ist.

In der objektorientierten Programmierung zu sein - entsteht eine Beziehung im Zusammenhang des Erbe-Konzepts. Man kann sagen, dass "Apfel" alle Eigenschaften erben kann, die für alle Früchte, solcher als seiend ein fleischiger Behälter für den Samen eines Werks üblich sind.

Zu sein - wird einer Beziehung mit dem Haben - eine Beziehung gegenübergestellt, die die holonym-meronym Hierarchie einsetzt. Ihm kann auch mit dem Beispiel - der Beziehung gegenübergestellt werden: Sieh mit dem Typ nominelle Unterscheidung.

er ein Modell (z.B, ein Computerprogramm) der wirklichen Beziehung zwischen einem Gegenstand und seinem Untergebenen entwirft, ist ein allgemeiner Fehler verwirrend die Beziehungen haben - a und sind - a.

Siehe auch

• Hat - ein
• Klassifizierung
• Erbe (Informatik)
• Subtyp
• Ersatz-Grundsatz von Liskov (in der objektorientierten Programmierung)
• Hyponym
• Ronald J. Brachman; was - A IST, ist und ist nicht. Eine Analyse von Taxonomischen Verbindungen zu Semantischen Netzen. IEEE Computer, 16 (10); Oktober 1983
• Jean-Luc Hainaut, Jean-Marc Hick, Vincent Englebert, Jean Henrard, Didier Roland: Das Verstehen von Durchführungen dessen IST - Beziehungen. ER 1996: 42-57