คือ-เอ

ในการแสดงความรู้ส่วนประกอบออนโทโลยีและวิศวกรรมออนโทโลยีรวมถึงสำหรับ การ เขียน โปรแกรม และการออกแบบเชิงวัตถุis-a (หรือเขียนว่าis_a หรือ is a ) เป็น ความสัมพันธ์ แบบ subsumptive ^{[ a ]}ระหว่างนามธรรม (เช่นประเภทคลาส) โดยที่คลาสAเป็นคลาสย่อยของคลาสB (และดังนั้นBเป็นคลาสหลักของA ) กล่าวอีกนัยหนึ่ง ประเภท A เป็นประเภทย่อย ของประเภท B เมื่อ ข้อกำหนดของ A บ่งบอกถึงข้อกำหนดของ B นั่นคือ วัตถุ (หรือคลาส) ใดๆ ที่ตรงตามข้อกำหนดของ A ก็จะตรงตามข้อกำหนดของ B ด้วย เพราะข้อกำหนดของ B อ่อนกว่า^{[ 1 ]}

ตัวอย่างเช่น แมว 'เป็น' สัตว์ แต่สัตว์ไม่ใช่แมว แมวทุกตัวเป็นสัตว์ แต่สัตว์ทุกตัวไม่ใช่แมว พฤติกรรมที่เกี่ยวข้องกับสัตว์ทุกชนิดถูกกำหนดไว้ในคลาสสัตว์ ในขณะที่พฤติกรรมที่เกี่ยวข้องเฉพาะกับแมวเท่านั้นถูกกำหนดไว้ในคลาสแมว การกำหนดให้คลาสแมว 'สืบทอด' มาจากคลาสสัตว์ ทำให้แมวทุกตัว 'สืบทอด' พฤติกรรมที่กำหนดไว้สำหรับสัตว์ โดยไม่จำเป็นต้องเขียนโค้ดพฤติกรรมนั้นสำหรับแมวโดยตรง

ความสัมพันธ์ แบบis-a นั้นแตกต่างจากความสัมพันธ์แบบhas-a ( has_aหรือhas a ) ระหว่างประเภท (คลาส) การสับสนระหว่างความสัมพันธ์has-aและis-aเป็นข้อผิดพลาดที่พบบ่อยเมื่อออกแบบแบบจำลอง (เช่นโปรแกรมคอมพิวเตอร์ ) ของความสัมพันธ์ในโลกแห่งความเป็นจริงระหว่างวัตถุและส่วนย่อยของมัน ความสัมพันธ์ แบบ is-aอาจแตกต่างจาก ความสัมพันธ์ แบบ instance-ofระหว่างวัตถุ (อินสแตนซ์) และประเภท (คลาส) ด้วยเช่นกัน ดูความแตกต่างระหว่างประเภทและโทเค็น

โดยสรุปความสัมพันธ์มีดังนี้:

• ไฮเปอร์นิม – ไฮพนิม (ซูเปอร์ไทป์/ซูเปอร์คลาส – ซับไทป์/ซับคลาส) ความสัมพันธ์ระหว่างประเภท (คลาส) ที่กำหนดลำดับชั้นทางอนุกรมวิธาน โดยที่
  • สำหรับ ความสัมพันธ์ แบบการครอบคลุม : ชื่อย่อย (ประเภทย่อย, ชั้นย่อย) มี ความสัมพันธ์ แบบประเภทของ ( เป็น ) กับชื่อที่สูงกว่า (ประเภทหลัก, ชั้นหลัก)
• ความสัมพันธ์แบบ โฮโลนิม - เมโรนิม (ทั้งหมด/เอนทิตี/ภาชนะ – ส่วน/องค์ประกอบ/สมาชิก) ระหว่างประเภท (คลาส) ที่กำหนดลำดับชั้นของการครอบครอง โดยที่
  • สำหรับ ความสัมพันธ์ แบบรวมกลุ่ม (เช่น ความสัมพันธ์ที่ไม่มีกรรมสิทธิ์):
    • โฮโลนี (ส่วนทั้งหมด) มี ความสัมพันธ์ แบบ "มี"กับเมโรนี (ส่วนย่อย)
  • สำหรับ ความสัมพันธ์ แบบองค์ประกอบ (เช่น ความสัมพันธ์ที่มีกรรมสิทธิ์):
    • ส่วนประกอบย่อย (meronym) มี ความสัมพันธ์ แบบเป็นส่วนหนึ่งของส่วนประกอบหลัก (holonym)
  • สำหรับ ความสัมพันธ์ การบรรจุ^{[ 2 ]} :
    • ส่วนประกอบย่อย (meronym) มี ความสัมพันธ์ แบบ "เป็นสมาชิกของ"กับส่วนประกอบหลัก (holonym ) หรือภาชนะ ( container )
• ความสัมพันธ์ระหว่างแนวคิดและวัตถุ (ประเภท-โทเค็น) ระหว่างประเภท (คลาส) และวัตถุ (อินสแตนซ์) โดยที่
  • โทเค็น (วัตถุ) มี ความสัมพันธ์ แบบอินสแตนซ์กับประเภท (คลาส) ของมัน

• การสืบทอด (การเขียนโปรแกรมเชิงวัตถุ)
• หลักการแทนที่ของลิสคอฟ (ในการเขียนโปรแกรมเชิงวัตถุ )
• การผนวก
• คือ-เอ
  • ความสัมพันธ์แบบไฮเปอร์นิมี (และซูเปอร์ไทป์ )
  • ชื่อย่อย (และประเภทย่อย )
• มี-อะ
  • โฮโลนีมี
  • ความสัมพันธ์แบบเมโรนีมี