Semantic relations — ความสัมพันธ์เชิงความหมาย
Jump to navigation
Jump to search
ความสัมพันธ์เชิงความหมาย — ความสัมพันธ์เชิงรูปนัยระหว่างเอนทิตีในกราฟความรู้ ซึ่งสามารถนอร์มอลไลซ์ให้เหลือชุดแกนกลางของ predicate ที่มีจำนวนจำกัด ได้แก่ ประเภทย่อย (is‑a), อินสแตนซ์ (instance‑of), ส่วน–ทั้งหมด (part‑of), สมาชิกของคอลเล็กชัน, การระบุตำแหน่ง/การประชิด, ก่อน/หลัง, การมีส่วนร่วม/บทบาท, คุณสมบัติ/ค่า, ความเป็นเหตุเป็นผล, ความเหมือน/ความต่าง, การครอบครอง, และความตรงข้าม หน้านี้รวบรวมสูตรคำแบบบัญญัติและคำพ้องความหมาย คุณสมบัติเชิงตรรกะ และความสอดคล้องกับมาตรฐาน (RDF/RDFS, SKOS, OWL/OWL‑Time, GeoSPARQL, OBO RO/BFO, PROV‑O, Schema.org)
ชุดแกนกลางของความสัมพันธ์เชิงความหมาย: การนอร์มอลไลซ์และพจนานุกรมคำพ้องความหมาย
| รูปนัย (แบบย่อ) | ความสัมพันธ์พื้นฐาน (คำบัญญัติ) | การนอร์มอลไลซ์สู่แกนกลาง | กริยาและวลีในภาษาธรรมชาติ (คำพ้องความหมาย) | หมวดหมู่ | ประเภท (ชั้นเชิงความหมาย / รูปแบบการใช้งาน) | คุณสมบัติสำคัญ |
|---|---|---|---|---|---|---|
| subclass-of / superclass-of | ประเภทย่อย (สกุล–ชนิด) | เป็นชนิดของ / มีประเภทย่อย |
|
อนุกรมวิธาน | เชิงออนโทโลยี (แกนกลาง) | มีสมบัติถ่ายทอด; สืบทอด axiom/ข้อจำกัดของคลาส (ไม่ใช่ค่าของคุณสมบัติ) |
| instance-of / has-instance | อินสแตนซ์ | เป็นอินสแตนซ์ของ / มีอินสแตนซ์ |
|
อนุกรมวิธาน | เชิงออนโทโลยี (แกนกลาง) | ปัจเจก → คลาส; ไม่มีสมบัติถ่ายทอด |
| part-of / has-part | ส่วน–ทั้งหมด (เมอโรนีมี) | เป็นส่วนหนึ่งของ / ประกอบด้วย |
|
เมอโรนีมี | เชิงออนโทโลยี (เชิงบริบท; ต้องระบุเงื่อนไขโดเมน) | มีสมบัติถ่ายทอดสำหรับเมอโรนีมีเชิงองค์ประกอบ; ไม่ควรสับสนกับ member-of; ไม่สืบทอดค่าคุณสมบัติ; สมบัติถ่ายทอดไม่ใช้กับประเภท «สมาชิก–คอลเล็กชัน», «วัสดุ–วัตถุ», «ส่วน–มวล»; ไม่ควรสับสนกับ subclass-of (สกุล–ชนิด)
|
| derived-from / gives-rise-to | ที่มา/อนุพันธ์ | มาจาก / ก่อให้เกิด |
|
ที่มา | เชิงออนโทโลยี (เชิงบริบท; ต้องระบุเงื่อนไขโดเมน) | มีทิศทาง; ไม่สมมาตร; อนุญาตให้มีลูกโซ่ได้ |
| has-property / property-of | คุณสมบัติ/แอตทริบิวต์ | มีคุณสมบัติ / เป็นคุณสมบัติของ |
|
แอตทริบิวต์ | เชิงออนโทโลยี (แกนกลาง) | มีทิศทาง; ไม่สมมาตร; ไม่มีสมบัติถ่ายทอด; สำหรับคุณภาพ — ใช้รูปแบบ has_quality/characteristic_of
|
| located-in / contains | การระบุตำแหน่ง (การซ้อนทับ) | ตั้งอยู่ใน / บรรจุ (ในฐานะสถานที่) |
|
อวกาศ | เชิงออนโทโลยี (เชิงบริบท; ต้องระบุเงื่อนไขโดเมน) | มีทิศทาง; มีสมบัติถ่ายทอดเฉพาะเมื่อซ้อนทับพื้นที่ในแบบจำลองเชิงพื้นที่เดียวกัน; ในการตีความอื่นไม่ถือว่ามีสมบัติถ่ายทอด |
| before / after | ลำดับเวลา | มาก่อน / ตามหลัง |
|
เวลา | เชิงออนโทโลยี (แกนกลาง) | มีสมบัติถ่ายทอด; อสมมาตร; irreflexive (ลำดับบางส่วนแบบเข้มงวด) |
| precondition-of / postcondition-of | เงื่อนไข/ผลลัพธ์ของเหตุการณ์/การกระทำ | เป็นเงื่อนไขเบื้องต้น / เป็นผลลัพธ์ |
|
เหตุการณ์ | เชิงออนโทโลยี (เชิงบริบท; ต้องระบุเงื่อนไขโดเมน) | มีทิศทาง; ไม่สมมาตร; โดยทั่วไปไม่เป็นวัฏจักร; ขึ้นกับบริบท |
| participates-in / has-participant | การมีส่วนร่วมในเหตุการณ์ | มีส่วนร่วมใน / มีผู้เข้าร่วม |
|
เหตุการณ์ | เชิงออนโทโลยี (แกนกลาง) | มีทิศทาง; ไม่สมมาตร; ไม่มีสมบัติถ่ายทอด |
| has-role / role-of | บทบาท (เชิงหัวข้อ) | ทำหน้าที่เป็น / บทบาทของ |
|
บทบาท | เชิงออนโทโลยี (เชิงบริบท; ต้องระบุเงื่อนไขโดเมน) | มีทิศทาง; ไม่สมมาตร; ถูกบรรลุในเหตุการณ์/กระบวนการ |
| member-of / has-member | สมาชิกของคอลเล็กชัน | เป็นสมาชิกของ / มีสมาชิก |
|
คอลเล็กชัน/สมาชิกภาพ (ไม่ใช่เมอโรนีมี) | เชิงออนโทโลยี (แกนกลาง) | มีทิศทาง; ไม่สมมาตร; ไม่มีสมบัติถ่ายทอด; ไม่ควรสับสนกับ part-of (ส่วนประกอบ)
|
| causes / caused-by | ความเป็นเหตุเป็นผล | ทำให้เกิด / เกิดจาก |
|
ความเป็นเหตุเป็นผล | เชิงออนโทโลยี (เชิงบริบท; ต้องระบุเงื่อนไขโดเมน) | มีทิศทาง; อสมมาตร; ไม่เป็นวัฏจักรภายในกรอบเวลาของโดเมน; สำหรับอิทธิพลอ่อนให้ใช้ prov:wasInfluencedBy
|
| owns / owned-by (belongs-to) | การครอบครอง/การเป็นเจ้าของ | เป็นเจ้าของ / เป็นของ |
|
การเป็นเจ้าของ | เชิงออนโทโลยี (เชิงบริบท; ต้องระบุเงื่อนไขโดเมน) | มีทิศทาง; ไม่สมมาตร; ไม่มีสมบัติถ่ายทอด; แยกความแตกต่างระหว่างการครอบครองทางกฎหมายและการถือครองที่แท้จริง (ไม่ควรสับสนกับ located-in)
|
| same-as / same-as (สมมาตร) | ความเหมือน (สมมูล) | เหมือนกันกับ / เหมือนกันกับ |
|
สมมูล | เชิงออนโทโลยี (แกนกลาง; ใช้ด้วยความระมัดระวัง) | reflexive; สมมาตร; มีสมบัติถ่ายทอด |
| different-from / different-from (สมมาตร) | ความต่าง/ความขัดแย้ง | แตกต่างจาก / แตกต่างจาก |
|
ความต่าง | เชิงออนโทโลยี (แกนกลาง) | สมมาตร; irreflexive |
| adjacent-to / adjacent-to (สมมาตร) | การประชิด (ทอพอโลยี) | ประชิดกับ / ประชิดกับ |
|
ทอพอโลยี | เชิงออนโทโลยี (แกนกลาง) | สมมาตร; irreflexive; ไม่มีสมบัติถ่ายทอด |
| opposite-of / opposite-of (สมมาตร) | ความตรงข้าม (antonymy) | ตรงข้ามกับ / ตรงข้ามกับ |
|
ความหมายเชิงคำศัพท์ | เชิงคำศัพท์/อรรถาภิธาน (ไม่ควร axiomatize) | ความสัมพันธ์เชิงคำศัพท์–ความหมาย; สมมาตร; ไม่ควรใช้เป็น axiom เชิงออนโทโลยี; ควรสร้างแบบจำลองผ่านมาตราส่วนเชิงคุณภาพและความไม่ตัดกันของคลาส |
คำอธิบายประเภท:
- เชิงออนโทโลยี (แกนกลาง) — สามารถ axiomatize ใน OWL ได้โดยไม่ต้องมีเงื่อนไขพิเศษ;
- เชิงออนโทโลยี (เชิงบริบท; ต้องระบุเงื่อนไขโดเมน) — การตีความและการอนุมานขึ้นอยู่กับโดเมน/แบบจำลอง;
- เชิงคำศัพท์/อรรถาภิธาน (ไม่ควร axiomatize) — ใช้สำหรับคำศัพท์/KOS เท่านั้น ไม่ควรใช้เพื่อการอนุมานเชิงตรรกะ
ความสอดคล้องของความสัมพันธ์เชิงความหมายพื้นฐานกับมาตรฐานออนโทโลยี
| ความสัมพันธ์พื้นฐาน (แกนกลาง) | ความสัมพันธ์พื้นฐาน (คำบัญญัติ) | RDF/RDFS/Dublin Core | SKOS | OWL / OWL‑Time / GeoSPARQL | OBO RO / BFO (ถ้ามี) | Schema.org / อื่นๆ | หมายเหตุ |
|---|---|---|---|---|---|---|---|
| subclass-of | ประเภทย่อย (สกุล–ชนิด) | rdfs:subClassOf | skos:broader / skos:narrower | — (ใน OWL ใช้ rdfs:subClassOf) | — | — | ลำดับชั้นของคลาส; มีสมบัติถ่ายทอด; สืบทอด axiom/ข้อจำกัด (ไม่ใช่ค่า) ใน SKOS — ลำดับชั้นอรรถาภิธาน (โดยค่าเริ่มต้นไม่มีสมบัติถ่ายทอด; มี skos:broaderTransitive / skos:narrowerTransitive) ความเท่าเทียมของคลาสกำหนดแยกต่างหาก: owl:equivalentClass |
| instance-of | อินสแตนซ์ | rdf:type | — | owl:Class / owl:NamedIndividual | — | schema:additionalType | การกำหนดประเภท «ปัจเจก → คลาส» (ไม่มีสมบัติถ่ายทอด) อนุญาตให้มีหลายประเภทได้ ไม่ควรสับสนกับ subclass-of (คลาส → คลาส) |
| part-of / has-part | ส่วน–ทั้งหมด (เมอโรนีมี) | dcterms:isPartOf / dcterms:hasPart | — | owl:ObjectProperty แบบกำหนดเอง (มักประกาศเป็น owl:TransitiveProperty) | bfo:part_of / bfo:has_part ; ro:part_of / ro:has_part | schema:isPartOf / schema:hasPart | เมอโรนีมีเชิงโครงสร้าง/องค์ประกอบ; มีสมบัติถ่ายทอดสำหรับ part_of เชิงองค์ประกอบ ไม่ควรสับสนกับสมาชิกภาพ (member-of) |
| member-of / has-member | สมาชิกของคอลเล็กชัน | rdfs:member | skos:member / skos:memberList | — | ro:member_of / ro:has_member | schema:member / schema:memberOf ; org:memberOf / org:hasMember | rdfs:member ใช้สำหรับ RDF container ตามประวัติศาสตร์; เป็น super-property ของคุณสมบัติ container ที่ถูกนับ rdf:_1, rdf:_2, …; สำหรับกลุ่ม/องค์กรควรใช้ schema.org หรือ W3C ORG ไม่มีสมบัติถ่ายทอด แตกต่างจาก component‑whole
|
| located-in / contains | การระบุตำแหน่ง (การซ้อนทับ) | dcterms:spatial | — | geosparql:sfWithin / geosparql:sfContains | ro:located_in | schema:containedInPlace / schema:containsPlace ; schema:location | สำหรับเรขาคณิตที่เข้มงวด — GeoSPARQL (DE‑9IM; การซ้อนทับพื้นที่) ใน GeoSPARQL สมบัติถ่ายทอดไม่ได้ถูกระบุใน annotation เป็น owl:TransitiveProperty; สามารถถือเป็นสมมติฐานของแบบจำลองสำหรับลำดับชั้นพื้นที่ dcterms:spatial — การอ้างอิงเชิงพื้นที่แบบ «อ่อน» ใน RO ro:located_in ถูกประกาศเป็น transitive; ในระดับประยุกต์ให้ระบุขอบเขต/ประเภทของการระบุตำแหน่ง (เชิงบริหาร, เชิงกายวิภาค ฯลฯ) เพื่อให้สมบัติถ่ายทอดมีความถูกต้องในแบบจำลองของคุณ
|
| adjacent-to / overlaps | การประชิด / การทับซ้อน (ทอพอโลยี) | — | (ถ้าจำเป็น) skos:related | geosparql:sfTouches / geosparql:sfOverlaps | — | — | ความสัมพันธ์ที่ต่างกัน (touches ≠ overlaps); ทั้งคู่สมมาตร; ไม่มีสมบัติถ่ายทอด ในแง่ DE‑9IM: touches — ขอบสัมผัสกัน; overlaps — การตัดกันที่มีส่วนภายในตัดกันไม่เป็นว่าง |
| before / after | ลำดับเวลา (ก่อน/หลัง) | — | — | time:before / time:after ; รวมถึง time:intervalBefore / time:intervalAfter | bfo:precedes / bfo:preceded_by | — | สร้างแบบจำลองเป็นลำดับบางส่วนแบบเข้มงวด ใน OWL‑Time สมบัติถ่ายทอดถูกกำหนดอย่างชัดเจน; ความอสมมาตร/irreflexivity กำหนดโดย axiom ของออนโทโลยีโครงการตามความจำเป็น |
| participates-in / has-participant | การมีส่วนร่วมในเหตุการณ์ | — | — | — | ro:participates_in / ro:has_participant | sem:hasActor / lode:involvedAgent ; prov:wasAssociatedWith ; prov:qualifiedAssociation ; schema:participant / schema:attendee / schema:performer | การมีส่วนร่วม ≠ บทบาท; สำหรับบทบาท — ดู has‑role |
| has-role / role-of | บทบาท (บทบาทเชิงหัวข้อ) | — | — | owl:ObjectProperty แบบกำหนดเอง | ro:has_role / ro:role_of ; bfo:Role | prov:hadRole (ภายใน prov:qualifiedAssociation) ; schema:Role (คลาส), schema:roleName | บทบาทถูกบรรลุในเหตุการณ์/กระบวนการ; ไม่ควรสับสนกับการกำหนดประเภท (instance-of) |
| has-property / has-value | คุณสมบัติ / ค่า | rdf:value (การผูกค่าทั่วไป) | — | owl:DatatypeProperty / owl:ObjectProperty (ประเภทของคุณสมบัติ) | ro:has_quality / ro:characteristic_of | schema:additionalProperty ; schema:value ; schema:PropertyValue / schema:QuantitativeValue | สำหรับคุณภาพ รูปแบบ RO (quality/characteristic of) มีประโยชน์ owl:hasValue — constructor ในข้อจำกัด (ไม่ใช่คุณสมบัติทั่วไป)
|
| causes | ความเป็นเหตุเป็นผล | — | — | — | ro:causally_related_to ; ro:causally_upstream_of / ro:causally_downstream_of | prov:wasInfluencedBy | ความสัมพันธ์เชิงสาเหตุที่มีทิศทาง; โดยทั่วไปไม่เป็นวัฏจักร ระบุบริบทเวลาและขอบเขตคำนิยาม |
| same-as | ความเหมือน (สมมูล) | — | skos:exactMatch / skos:closeMatch | owl:sameAs ; สำหรับคลาส/คุณสมบัติ: owl:equivalentClass / owl:equivalentProperty | — | schema:sameAs | ใช้ด้วยความระมัดระวัง skos:exactMatch/closeMatch — ใช้สำหรับ SKOS concept เท่านั้น โดยเฉพาะจากสกีมาที่แตกต่างกัน (mapping properties); จาก mapping properties มีเพียง skos:exactMatch เท่านั้นที่มีสมบัติถ่ายทอด (ทั้งคู่สมมาตร); ไม่ควรสับสนกับ owl:sameAs (ความเหมือนของทรัพยากร)
|
| different-from | ความต่าง / ความขัดแย้ง | — | — | owl:differentFrom ; owl:AllDifferent ; สำหรับคลาส: owl:disjointWith ; รวมถึง owl:AllDisjointClasses / owl:AllDisjointProperties | — | — | การแยกแยะปัจเจกอย่างชัดเจนและความไม่ตัดกันของคลาส/คุณสมบัติ (สำหรับชุด — AllDisjoint) |
| owns / owned-by (belongs-to) | การครอบครอง / การเป็นเจ้าของ | — | — | owl:ObjectProperty แบบกำหนดเอง | — | schema:owns ; schema:OwnershipInfo | แนะนำให้กำหนด domain/range และ cardinality; แยกความแตกต่างระหว่างการครอบครองทางกฎหมายและการถือครองที่แท้จริง (ไม่ควรสับสนกับ located‑in) |
| opposite-of | ความตรงข้าม (antonymy) | — | — | — | — | (คำศัพท์) lexinfo:antonym ; WordNet antonym | ความสัมพันธ์เชิงคำศัพท์; ไม่ควรใช้เป็น axiom เชิงออนโทโลยี ใน KOS หากไม่มีคุณสมบัติที่เข้มงวดอาจใช้ skos:related ได้ |
| derived-from / gives-rise-to | ที่มา / อนุพันธ์ | — | — | — | (ถ้าจำเป็นในออนโทโลยีชีววิทยา) ro:develops_from | PROV‑O: prov:wasDerivedFrom | อนุพันธ์ที่มีทิศทาง; อนุญาตให้มีลูกโซ่ได้ แยกออกจากเมอโรนีมี (part‑of) และจากความเหมือน (same‑as) |
| precondition-of / postcondition-of | เงื่อนไขก่อน/หลังของเหตุการณ์/การกระทำ | — | — | — | — | OWL‑S (W3C Member Submission): process:hasPrecondition ; process:hasResult (ประวัติศาสตร์: process:hasEffect) | ใช้สำหรับออนโทโลยีกระบวนการ ในแบบจำลองทางเลือก — ผ่านความเป็นเหตุเป็นผล/เวลา (bfo:precedes, time:before) หรือ PROV patterns (prov:used, prov:wasGeneratedBy) — ตามบริบท
|
| related-to | ความสัมพันธ์เชิงความร่วม (KOS) | — | skos:related | — | — | — | สมมาตร; ไม่มีสมบัติถ่ายทอด ใช้ในอรรถาภิธาน/KOS เท่านั้น; ความหมายอ่อน — ไม่ใช้สำหรับการอนุมานเชิงตรรกะ |
ออนโทโลยีและพจนานุกรมหลัก
- RDF และ RDFS (W3C) — RDF: แบบจำลองกราฟความรู้นามธรรมบน triple ประธาน–คำทำนาย–กรรม; RDFS: พจนานุกรมขั้นต่ำสำหรับกำหนดคลาส/คุณสมบัติและลำดับชั้น (subClassOf, subPropertyOf, domain/range)
- OWL / OWL 2 (W3C) — ภาษาการแสดงความรู้สำหรับกำหนดออนโทโลยีอย่างเป็นทางการ (คลาส, axiom, ประเภทและ inverse ของคุณสมบัติ, ความเท่าเทียม/ความไม่ตัดกัน) ออกแบบมาสำหรับการอนุมานอัตโนมัติในตรรกะ DL
- SKOS (W3C) — แบบจำลองสำหรับแสดงอรรถาภิธาน การจำแนกประเภท และพจนานุกรมที่ควบคุมไว้บน RDF/RDFS (broader/narrower/related, คอลเล็กชัน, การจับคู่ระหว่างอรรถาภิธาน); ไม่กำหนดการสืบทอดคลาส
- OWL‑Time (W3C) — ออนโทโลยีเวลาใน OWL 2 DL: ช่วงเวลา, อินเทอร์วัล, ความสัมพันธ์เชิงทอพอโลยี (before/after), ระยะเวลาและตำแหน่งปฏิทิน–เวลา
- GeoSPARQL (OGC) — มาตรฐาน OGC สำหรับ geosemantics: ออนโทโลยี OWL ขนาดเล็กของ «เอนทิตีเชิงพื้นที่/เรขาคณิต», พจนานุกรมความสัมพันธ์เชิงทอพอโลยี (within/contains, touches/overlaps ฯลฯ) และส่วนขยาย SPARQL สำหรับการสืบค้นเชิงภูมิศาสตร์
- BFO และ RO (OBO) — BFO: ออนโทโลยีระดับบน (continuant/occurrent ฯลฯ) สำหรับการประสานออนโทโลยีโดเมน; RO (Relations Ontology): ชุด predicate ความสัมพันธ์ข้ามโดเมน (part_of/has_part, participates_in, เชิงสาเหตุ ฯลฯ)
- PROV‑O (W3C) — ออนโทโลยี OWL สำหรับ provenance ของข้อมูล ที่ implement แบบจำลอง PROV‑DM: เอนทิตี, กิจกรรม, agent และความสัมพันธ์สำหรับการแลกเปลี่ยนและวิเคราะห์ข้อมูล provenance
- Schema.org — พจนานุกรมเว็บเชิงประยุกต์สำหรับการมาร์กอัปข้อมูลที่มีโครงสร้างบนหน้าเว็บ (JSON‑LD/RDFa/Microdata); ริเริ่มโดยเสิร์ชเอนจิน (2011) เพื่อรวมประเภทและคุณสมบัติในเว็บเปิด
ออนโทโลยีและพจนานุกรมหลัก: ลิงก์อ้างอิงทางการ
| ชื่อ | หน่วยงาน / สถานะ | เอกสารอ้างอิงทางการ |
|---|---|---|
| RDF 1.2 Concepts and Abstract Data Model | W3C Working Draft (2025) | หน้าข้อกำหนด |
| RDF 1.2 Schema (RDFS) | W3C Working Draft (2025; การแก้ไขเวอร์ชัน 2014 โดยไม่มีการเปลี่ยนแปลงทางเทคนิค) | หน้าข้อกำหนด |
| DCMI Metadata Terms (Dublin Core Terms) | DCMI Specification (2020) | หน้าข้อกำหนด |
| OWL 2 Web Ontology Language | W3C Recommendation (2012, 2nd Ed.) | ภาพรวม/โรดแมปของข้อกำหนด OWL 2 |
| SKOS Reference | W3C Recommendation (2009) | หน้าข้อกำหนด |
| Time Ontology in OWL (OWL‑Time) | W3C Candidate Recommendation Draft (2022) | หน้าข้อกำหนด |
| GeoSPARQL 1.1 | OGC Implementation Standard | หน้ามาตรฐาน OGC · เอกสารมาตรฐาน (OGC 22‑047r1) |
| Basic Formal Ontology (BFO) | OBO Foundry (upper ontology) | เอกสาร/การ์ดอย่างเป็นทางการ |
| OBO Relations Ontology (RO) | OBO Foundry (relations) | เอกสาร/การ์ดอย่างเป็นทางการ |
| PROV‑O: The PROV Ontology | W3C Recommendation (2013) | หน้าข้อกำหนด |
| The Organization Ontology (ORG) | W3C Recommendation (2014) | หน้าข้อกำหนด |
| Schema.org (documentation) | เอกสารอย่างเป็นทางการของโครงการ | สกีมาและเอกสาร |
| LexInfo (ออนโทโลยีเชิงคำศัพท์–ความหมาย) | เว็บไซต์/ออนโทโลยีอย่างเป็นทางการ | เว็บไซต์อย่างเป็นทางการ · OWL 3.0 |