は

知識表現、オントロジーコンポーネント^、およびオブジェクト指向プログラミングや設計^を含むオントロジーエンジニアリングにおいて、is-a （ is_aまたはis aとも表記される）は、抽象化（型、クラスなど）間の推定関係であり^、あるクラスAが別のクラスBのサブクラスである（したがってBはAのスーパークラスである）。言い換えれば、 Aの仕様がBの仕様を暗示する場合、型Aは型Bのサブタイプである。つまり、Aの仕様を満たすオブジェクト（またはクラス）は、Bの仕様も満たす。なぜなら、Bの仕様はAよりも弱いからである。^{[ 1 ]}

例えば、猫は動物「である」が、その逆は成り立たない。すべての猫は動物だが、すべての動物が猫であるとは限らない。すべての動物に共通する行動は動物クラスで定義され、猫にのみ共通する行動は猫クラスで定義される。猫クラスを動物クラスを「拡張」するものとして定義することで、すべての猫は動物用に定義された行動を「継承」し、猫用にその行動を明示的にコーディングする必要がなくなる。

is -a関係は、型 (クラス) 間のhas-a ( has_aまたはhas a ) 関係とは対照的です。has -a関係とis-a関係を混同することは、オブジェクトとその従属関係の現実世界の関係のモデル (コンピュータ プログラムなど) を設計する際によくある間違いです。is -a関係は、オブジェクト (インスタンス) と型 (クラス) 間のinstance-of関係とも対照的です。型とトークンの区別を参照してください。

関係性をまとめると次のようになります。

• 上位語-下位語(上位クラス - 下位クラス) 分類階層を定義するタイプ (クラス) 間の関係、
  • 包含関係の場合：下位概念（サブタイプ、サブクラス）は、上位概念（スーパータイプ、スーパークラス）と型関係（is-a ）を持つ。
• 全体的意味と部分的意味（全体／実体／容器－部分／構成要素／メンバー）の関係は、所有階層を定義する型（クラス）間で、
  • 集約（つまり所有権のない）関係 の場合：
    • 全体（全体）は部分（部分）とhas-a関係を持ち、
  • 構成（つまり所有権を持つ）関係 の場合：
    • 部分語（構成要素）は全体語（実体）と部分関係を持ち、
  • 包含関係^{[ 2 ]}の場合：
    • 部分語（構成要素）は、全体語（容器）との間に「構成要素」関係を持つ。
• 型（クラス）とオブジェクト（インスタンス）間の概念-オブジェクト（型-トークン）関係、
  • トークン（オブジェクト）は、その型（クラス）とインスタンス関係を持つ。

• 継承（オブジェクト指向プログラミング）
• リスコフの置換原理（オブジェクト指向プログラミングにおいて）
• 包摂
• イズア
  • 上位概念（および上位概念）
  • 下位分類（および下位分類）
• 持っている
  • 全体論
  • メロニミー

• ロナルド・J・ブラフマン著「IS-Aとは何か、何ではないのか。意味ネットワークにおける分類学的リンクの分析」IEEE Computer、16（10）、1983年10月
• Jean-Luc Hainaut、Jean-Marc Hick、Vincent Englebert、Jean Henrard、Didier Roland: IS-A 関係の実装を理解する。 ER 1996: 42-57