การกำหนด Transitive Property ในภาษา OWL

สวัสดีครับ
วันนี้มาทำความรู้จักกับ Transitive Property กันครับ
ซึ่งหากแปลกันตรงๆ Transitive Property คือคุณสมบัติในการส่งผ่านครับ
(ปล. หากใครได้ศึกษาเกี่ยวกับเทคโนโลยี Semantic Web น่าจะทราบอยู่แล้ว)

มาดูนิยามกันก่อน

P(x,y) และ P(y,z) -> P(x,z)

อธิบายได้ว่า ถ้า instance x และ instance y มีความสัมพันธ์ predicate P ซึ่งกำหนดคุณสมบัติแบบ Transitive 

และ instance y และ instance z มีความสัมพันธ์ predicate P 

แล้วสามารถอนุมานได้ว่า instance x และ instance z มีความสำพันธ์กันด้วย predicate P
ก็จะสรุปได้ว่า Transitive Property เป็นการอนุมานความสัมพันธ์ที่มีความเกี่ยวเนื่องกัน

เช่นเรากำหนดให้
x = หมู่บ้านสบสม
y = อ.เชียงของ
z = จ.เชียงราย
P = ตั้งอยู่ใน

เราก็แทนไป จะได้เป็น ... หมู่บ้านสบสม(x) ตั้งอยู่ใน อ.เชียงของ(y) และ อ.เชียงของ(y) ตั้งอยู่ใน จ.เชียงราย(z) ดังนั้นอนุมานได้ว่า หมู่บ้านสบสม(x) ตั้งอยู่ใน จ.เชียงราย(z) 

จบแล้วครับ
Q&A 🙋