هو-

في تمثيل المعرفة ، ومكونات الأنطولوجيا، ^وهندسة الأنطولوجيا ، بما في ذلك البرمجة والتصميم الموجهين للكائنات ، تُعرف علاقة "هو نوع من " ⁽ أو " هو_نوع من") بأنها علاقة شاملة بين التجريدات (مثل الأنواع والفئات ) ، ^حيث تكون الفئة A فئة فرعية من الفئة B ( وبالتالي فإن B فئة أصلية من A ) . بعبارة أخرى، يكون النوع A نوعًا فرعيًا من النوع B عندما يستلزم تحديد مواصفات A تحديد مواصفات B. أي أن أي كائن (أو فئة) يحقق مواصفات A يحقق أيضًا مواصفات B، لأن مواصفات B أضعف. ^{[ 1 ]}

على سبيل المثال، القط حيوان، ولكن ليس العكس. جميع القطط حيوانات، ولكن ليست كل الحيوانات قططًا. يُعرَّف السلوك الذي ينطبق على جميع الحيوانات في فئة الحيوانات، بينما يُعرَّف السلوك الذي ينطبق على القطط فقط في فئة القطط. بتعريف فئة القطط على أنها امتداد لفئة الحيوانات، فإن جميع القطط ترث السلوك المُعرَّف للحيوانات، دون الحاجة إلى برمجة هذا السلوك بشكل صريح للقطط.

يجب التمييز بين علاقة "هو نوع" وعلاقة "يحتوي على " ( has_a أو has a ) بين الأنواع (الفئات)؛ ويُعدّ الخلط بين علاقتي " يحتوي على" و "هو نوع" خطأً شائعًا عند تصميم نموذج (مثل برنامج حاسوبي ) للعلاقة الواقعية بين كائن وتابعه. كما يمكن التمييز بين علاقة " هو نوع" وعلاقة "مثال من " بين الكائنات (الحالات) والأنواع (الفئات): انظر التمييز بين النوع والرمز .

باختصار، العلاقات هي كالتالي:

• العلاقات بين الأنواع (الفئات) التي تحدد التسلسل الهرمي التصنيفي، حيث: (النوع الأعلى/الفئة الأعلى - النوع الفرعي / الفئة الفرعية)
  • بالنسبة لعلاقة التضمين : يكون للاسم الفرعي (النوع الفرعي، الفئة الفرعية) علاقة نوع من ( هو نوع من ) مع الاسم الأعلى (النوع الأعلى، الفئة الأعلى)؛
• العلاقات بين الأنواع (الفئات) التي تحدد التسلسل الهرمي للملكية، من خلال العلاقة بين الكل والكيان والحاوية والجزء والمكون والعضو.
  • بالنسبة لعلاقة التجميع (أي بدون ملكية):
    • للكلمة الكلية (الكل) علاقة "يحتوي على" مع الكلمة الجزئية (الجزء).
  • بالنسبة لعلاقة التأليف (أي مع الملكية):
    • للجزء (المكون) علاقة جزئية مع الجزء (الكيان) الخاص به،
  • لعلاقة احتواء ^{[ 2 ]} :
    • للكلمة الجزئية (العضو) علاقة عضوية مع الكلمة الكلية ( الحاوية )؛
• العلاقات بين المفاهيم والأشياء (الأنواع والرموز) بين الأنواع (الفئات) والأشياء (الحالات)، حيث
  • للرمز (الكائن) علاقة مثيل مع نوعه (الفئة).

• الوراثة (البرمجة الكائنية التوجه)
• مبدأ استبدال ليسكوف (في البرمجة الكائنية التوجه )
• الاستيعاب
• إيزا
  • التضمين (والنمط الفائق )
  • التسمية الفرعية (والنوع الفرعي )
• هاس-أ
  • الشمولية
  • التجزئة

• رونالد ج. براخمان ؛ " ما هو وما ليس هو IS-A. تحليل الروابط التصنيفية في الشبكات الدلالية ". مجلة IEEE Computer، 16 (10)؛ أكتوبر 1983
• جان لوك هينو، جان مارك هيك، فنسنت إنجلبرت، جان هنريارد، ديدييه رولاند: فهم تطبيقات العلاقات IS-A . إيه آر 1996: 42-57