Quan hệ ngữ nghĩa

Quan hệ ngữ nghĩa — mối quan hệ được hình thức hóa giữa các thực thể trong đồ thị tri thức, được chuẩn hóa về một tập lõi hữu hạn các vị từ: kiểu con (is‑a), thể hiện (instance‑of), phần–toàn thể (part‑of), thành viên tập hợp, định vị/kề cạnh, trước/sau, tham gia/vai trò, thuộc tính/giá trị, nhân quả, đồng nhất/khác biệt, sở hữu, đối lập. Trang này ghi lại các công thức chuẩn và từ đồng nghĩa, các thuộc tính logic và sự tương ứng với các tiêu chuẩn (RDF/RDFS, SKOS, OWL/OWL‑Time, GeoSPARQL, OBO RO/BFO, PROV‑O, Schema.org).

Tập lõi cơ bản của các quan hệ ngữ nghĩa: chuẩn hóa và từ điển đồng nghĩa

Hình thức (đơn giản hóa)	Quan hệ cơ bản (từ chuẩn)	Chuẩn hóa về lõi	Động từ/cụm từ tự nhiên (đồng nghĩa)	Danh mục	Kiểu (tầng ngữ nghĩa / chế độ sử dụng)	Thuộc tính chính
subclass-of / superclass-of	Kiểu con (giống–loài)	là loài / có kiểu con	là (giống–loài) đây là (giống–loài) kiểu con loài kiểu	Phân loại học	Bản thể luận (lõi)	bắc cầu; kế thừa các tiên đề/ràng buộc của lớp (không phải giá trị thuộc tính)
instance-of / has-instance	Thể hiện	là thể hiện của / có thể hiện	là (thể hiện) đây là (thể hiện) thuộc lớp thuộc về lớp đại diện thể hiện	Phân loại học	Bản thể luận (lõi)	cá thể → lớp; không bắc cầu
part-of / has-part	Phần–toàn thể (meronymy)	là một phần của / bao gồm	bao gồm gồm có có trong thành phần chứa như một phần được lắp ráp từ được trang bị các thành phần	Meronymy	Bản thể luận (theo ngữ cảnh; yêu cầu lưu ý về miền)	bắc cầu đối với meronymy thành phần; không nhầm với member-of; không kế thừa giá trị thuộc tính; tính bắc cầu không chuyển sang kiểu «thành viên–tập hợp», «vật liệu–đối tượng», «phần–khối lượng»; không nhầm với subclass-of (giống–loài)
derived-from / gives-rise-to	Nguồn gốc/dẫn xuất	xuất phát từ / sinh ra	được lấy từ được tạo thành từ xuất phát từ được suy ra từ	Nguồn gốc	Bản thể luận (theo ngữ cảnh; yêu cầu lưu ý về miền)	có hướng; không đối xứng; cho phép chuỗi
has-property / property-of	Thuộc tính/đặc trưng	có thuộc tính / thuộc tính của	có thuộc tính có giá trị có đặc điểm được đặc trưng bởi có tham số	Đặc trưng	Bản thể luận (lõi)	có hướng; không đối xứng; không bắc cầu; đối với phẩm chất — mẫu has_quality/characteristic_of
located-in / contains	Định vị (lồng nhau)	nằm trong / chứa (như địa điểm)	nằm trong được đặt trong bên trong trong phạm vi khu vực trên lãnh thổ	Không gian	Bản thể luận (theo ngữ cảnh; yêu cầu lưu ý về miền)	có hướng; bắc cầu chỉ khi lồng các vùng trong cùng một mô hình không gian; trong các cách giải thích khác tính bắc cầu không được giả định
before / after	Trật tự thời gian	đứng trước / đứng sau	sớm hơn trước đi trước muộn hơn sau tiếp theo	Thời gian	Bản thể luận (lõi)	bắc cầu; không đối xứng; không phản xạ (thứ tự bộ phận nghiêm ngặt)
precondition-of / postcondition-of	Điều kiện/kết quả sự kiện/hành động	là tiền điều kiện của / là hậu điều kiện của	điều kiện thực thi tiền điều kiện cần thiết cho được yêu cầu cho kết quả hiệu ứng hậu quả	Sự kiện	Bản thể luận (theo ngữ cảnh; yêu cầu lưu ý về miền)	có hướng; không đối xứng; thường không có chu trình; phụ thuộc ngữ cảnh
participates-in / has-participant	Tham gia vào sự kiện	tham gia vào / có người tham gia	tham gia vào được huy động vào liên quan đến tham dự vào	Sự kiện	Bản thể luận (lõi)	có hướng; không đối xứng; không bắc cầu
has-role / role-of	Vai trò (chủ đề)	thực hiện vai trò / vai trò của	thực hiện vai trò đóng vai trò hành động như phục vụ với tư cách là tác nhân là bệnh nhân là công cụ	Vai trò	Bản thể luận (theo ngữ cảnh; yêu cầu lưu ý về miền)	có hướng; không đối xứng; được thực hiện trong sự kiện/quá trình
member-of / has-member	Thành viên tập hợp	là thành viên của / có các thành viên	thuộc nhóm là thành viên nhóm thành viên tập hợp thuộc về nhóm phần tử tập hợp	Tập hợp/thành viên (không phải meronymy)	Bản thể luận (lõi)	có hướng; không đối xứng; không bắc cầu; không nhầm với part-of (thành phần)
causes / caused-by	Nhân quả	gây ra / được gây ra bởi	dẫn đến gây ra kéo theo quy định dẫn tới là nguyên nhân của	Nhân quả	Bản thể luận (theo ngữ cảnh; yêu cầu lưu ý về miền)	có hướng; không đối xứng; không có chu trình trong phạm vi thời gian miền; đối với tác động yếu hãy dùng prov:wasInfluencedBy
owns / owned-by (belongs-to)	Sở hữu/quy thuộc	sở hữu / thuộc về	sở hữu là chủ sở hữu thuộc quyền sở hữu nằm trong bảng cân đối kế toán thuộc về	Quy thuộc	Bản thể luận (theo ngữ cảnh; yêu cầu lưu ý về miền)	có hướng; không đối xứng; không bắc cầu; phân biệt quyền sở hữu pháp lý và chiếm hữu thực tế (không nhầm với located-in)
same-as / same-as (đối xứng)	Đồng nhất (tương đương)	đồng nhất với / đồng nhất với	giống hệt đồng nhất tương đương cùng là trùng với	Tương đương	Bản thể luận (lõi; dùng thận trọng)	phản xạ; đối xứng; bắc cầu
different-from / different-from (đối xứng)	Khác biệt/không tương thích	khác với / khác với	không đồng nhất khác biệt không tương thích với không trùng	Khác biệt	Bản thể luận (lõi)	đối xứng; không phản xạ
adjacent-to / adjacent-to (đối xứng)	Kề cạnh (topo)	kề với / kề với	tiếp giáp với liền kề với láng giềng với tiếp xúc với	Topo	Bản thể luận (lõi)	đối xứng; không phản xạ; không bắc cầu
opposite-of / opposite-of (đối xứng)	Đối lập (nghịch nghĩa)	đối lập với / đối lập với	đối lập nghịch nghĩa ngược về phẩm chất tương phản đối nghịch	Ngữ nghĩa từ vựng	Từ vựng/từ điển đồng nghĩa (không nên tiên đề hóa)	quan hệ ngữ nghĩa từ vựng; đối xứng; không dùng như tiên đề bản thể luận; nên mô hình hóa thông qua thang chất lượng và tính rời rạc của các lớp

Chú giải kiểu:

• Bản thể luận (lõi) — cho phép tiên đề hóa trong OWL mà không cần lưu ý đặc biệt;
• Bản thể luận (theo ngữ cảnh; yêu cầu lưu ý về miền) — cách giải thích và suy luận phụ thuộc vào miền/mô hình;
• Từ vựng/từ điển đồng nghĩa (không nên tiên đề hóa) — chỉ dùng cho từ vựng/KOS, không dùng cho suy luận logic.

Sự tương ứng giữa các quan hệ ngữ nghĩa cơ bản và các tiêu chuẩn bản thể luận

Quan hệ cơ bản (lõi)	Quan hệ cơ bản (từ chuẩn)	RDF/RDFS/Dublin Core	SKOS	OWL / OWL‑Time / GeoSPARQL	OBO RO / BFO (nếu có)	Schema.org / khác	Ghi chú
subclass-of	Kiểu con (giống–loài)	rdfs:subClassOf	skos:broader / skos:narrower	— (trong OWL dùng rdfs:subClassOf)	—	—	Phân cấp lớp; bắc cầu; kế thừa tiên đề/ràng buộc (không phải giá trị). Trong SKOS — phân cấp từ điển đồng nghĩa (mặc định không bắc cầu; có skos:broaderTransitive / skos:narrowerTransitive). Tương đương lớp được xác định riêng: owl:equivalentClass.
instance-of	Thể hiện	rdf:type	—	owl:Class / owl:NamedIndividual	—	schema:additionalType	Định kiểu «cá thể → lớp» (không bắc cầu). Cho phép định kiểu nhiều lần. Không nhầm với subclass-of (lớp → lớp).
part-of / has-part	Phần–toàn thể (meronymy)	dcterms:isPartOf / dcterms:hasPart	—	owl:ObjectProperty tùy chỉnh (thường khai báo là owl:TransitiveProperty)	bfo:part_of / bfo:has_part ; ro:part_of / ro:has_part	schema:isPartOf / schema:hasPart	Meronymy cấu trúc/thành phần; bắc cầu đối với part_of thành phần. Không nhầm với thành viên (member-of).
member-of / has-member	Thành viên tập hợp	rdfs:member	skos:member / skos:memberList	—	ro:member_of / ro:has_member	schema:member / schema:memberOf ; org:memberOf / org:hasMember	rdfs:member theo lịch sử dùng cho các container RDF; thuộc tính cha của các thuộc tính container được đánh số rdf:_1, rdf:_2, …; đối với nhóm/tổ chức nên dùng schema.org hoặc W3C ORG. Không bắc cầu. Khác với component‑whole.
located-in / contains	Định vị (lồng nhau)	dcterms:spatial	—	geosparql:sfWithin / geosparql:sfContains	ro:located_in	schema:containedInPlace / schema:containsPlace ; schema:location	Đối với hình học nghiêm ngặt — GeoSPARQL (DE‑9IM; lồng các vùng). Trong GeoSPARQL tính bắc cầu không được chú thích là owl:TransitiveProperty; có thể chấp nhận như giả định mô hình cho các phân cấp vùng. dcterms:spatial — ràng buộc tham chiếu «mềm». Trong RO ro:located_in được khai báo bắc cầu; ở cấp ứng dụng hãy xác định rõ phạm vi/kiểu định vị (hành chính, giải phẫu, v.v.) để tính bắc cầu hợp lệ trong mô hình của bạn.
adjacent-to / overlaps	Kề cạnh / giao nhau (topo)	—	(khi cần) skos:related	geosparql:sfTouches / geosparql:sfOverlaps	—	—	Các quan hệ khác nhau (touches ≠ overlaps); cả hai đều đối xứng; không bắc cầu. Theo DE‑9IM: touches — tiếp xúc tại biên; overlaps — giao nhau với phần nội thất giao nhau không rỗng.
before / after	Trình tự thời gian (trước/sau)	—	—	time:before / time:after ; cũng như time:intervalBefore / time:intervalAfter	bfo:precedes / bfo:preceded_by	—	Được mô hình hóa như thứ tự bộ phận nghiêm ngặt. Trong OWL‑Time tính bắc cầu được xác định tường minh; tính không đối xứng/không phản xạ khi cần được xác định bằng các tiên đề của bản thể luận dự án.
participates-in / has-participant	Tham gia vào sự kiện	—	—	—	ro:participates_in / ro:has_participant	sem:hasActor / lode:involvedAgent ; prov:wasAssociatedWith ; prov:qualifiedAssociation ; schema:participant / schema:attendee / schema:performer	Tham gia ≠ vai trò; đối với vai trò — xem has‑role.
has-role / role-of	Vai trò (vai trò chủ đề)	—	—	owl:ObjectProperty tùy chỉnh	ro:has_role / ro:role_of ; bfo:Role	prov:hadRole (trong prov:qualifiedAssociation) ; schema:Role (lớp), schema:roleName	Vai trò được thực hiện trong các sự kiện/quá trình; không nhầm với định kiểu (instance-of).
has-property / has-value	Thuộc tính / giá trị	rdf:value (ràng buộc giá trị chung)	—	owl:DatatypeProperty / owl:ObjectProperty (các kiểu thuộc tính)	ro:has_quality / ro:characteristic_of	schema:additionalProperty ; schema:value ; schema:PropertyValue / schema:QuantitativeValue	Đối với phẩm chất, mẫu RO (quality/characteristic of) rất tiện dụng. owl:hasValue — cấu tạo trong các ràng buộc (không phải thuộc tính thông thường).
causes	Nhân quả	—	—	—	ro:causally_related_to ; ro:causally_upstream_of / ro:causally_downstream_of	prov:wasInfluencedBy	Quan hệ nhân quả có hướng; thường không có chu trình. Hãy xác định rõ ngữ cảnh thời gian và phạm vi xác định.
same-as	Đồng nhất (tương đương)	—	skos:exactMatch / skos:closeMatch	owl:sameAs ; đối với lớp/thuộc tính: owl:equivalentClass / owl:equivalentProperty	—	schema:sameAs	Dùng thận trọng. skos:exactMatch/closeMatch — chỉ dành cho các khái niệm SKOS, chủ yếu từ các sơ đồ khác nhau (thuộc tính ánh xạ); trong số các thuộc tính ánh xạ chỉ skos:exactMatch là bắc cầu (cả hai đều đối xứng); không nhầm với owl:sameAs (đồng nhất tài nguyên).
different-from	Khác biệt / không tương thích	—	—	owl:differentFrom ; owl:AllDifferent ; đối với lớp: owl:disjointWith ; cũng như owl:AllDisjointClasses / owl:AllDisjointProperties	—	—	Phân biệt tường minh các cá thể và tính rời rạc của các lớp/thuộc tính (trên tập hợp — AllDisjoint).
owns / owned-by (belongs-to)	Sở hữu / quy thuộc	—	—	owl:ObjectProperty tùy chỉnh	—	schema:owns ; schema:OwnershipInfo	Khuyến nghị xác định miền/phạm vi và số lượng; phân biệt quyền sở hữu pháp lý và chiếm hữu thực tế (không nhầm với located‑in).
opposite-of	Đối lập (nghịch nghĩa)	—	—	—	—	(từ vựng) lexinfo:antonym ; WordNet antonym	Quan hệ từ vựng; không dùng như tiên đề bản thể luận. Trong KOS khi không có thuộc tính nghiêm ngặt, có thể dùng skos:related.
derived-from / gives-rise-to	Nguồn gốc / dẫn xuất	—	—	—	(khi cần trong bản thể luận sinh học) ro:develops_from	PROV‑O: prov:wasDerivedFrom	Dẫn xuất có hướng; cho phép chuỗi. Cần phân biệt với meronymy (part‑of) và đồng nhất (same‑as).
precondition-of / postcondition-of	Tiền-/hậu điều kiện của sự kiện/hành động	—	—	—	—	OWL‑S (W3C Member Submission): process:hasPrecondition ; process:hasResult (lịch sử: process:hasEffect)	Dùng cho các bản thể luận quá trình. Trong các mô hình thay thế — thông qua nhân quả/thời gian (bfo:precedes, time:before) hoặc các mẫu PROV (prov:used, prov:wasGeneratedBy) — tùy ngữ cảnh.
related-to	Quan hệ kết hợp (KOS)	—	skos:related	—	—	—	Đối xứng; không bắc cầu. Chỉ dùng trong từ điển đồng nghĩa/KOS; ngữ nghĩa yếu — không dùng cho suy luận logic.

Các bản thể luận và từ vựng chính

• RDF và RDFS (W3C) — RDF: mô hình đồ thị tri thức trừu tượng trên các bộ ba chủ thể–vị từ–đối tượng; RDFS: từ vựng tối thiểu để xác định các lớp/thuộc tính và phân cấp (subClassOf, subPropertyOf, domain/range).
• OWL / OWL 2 (W3C) — ngôn ngữ biểu diễn tri thức để xác định hình thức các bản thể luận (lớp, tiên đề, kiểu và đảo ngược của thuộc tính, tương đương/rời rạc), được thiết kế cho suy luận tự động trong logic DL.
• SKOS (W3C) — mô hình biểu diễn từ điển đồng nghĩa, phân loại và từ vựng có kiểm soát trên RDF/RDFS (broader/narrower/related, tập hợp, ánh xạ giữa các từ điển đồng nghĩa); không xác định kế thừa lớp.
• OWL‑Time (W3C) — bản thể luận thời gian trong OWL 2 DL: các khoảnh khắc, khoảng thời gian, quan hệ topo (before/after), thời lượng và vị trí thời gian-lịch.
• GeoSPARQL (OGC) — tiêu chuẩn OGC cho địa ngữ nghĩa: bản thể luận OWL nhỏ về «các thực thể không gian/hình học», từ vựng quan hệ topo (within/contains, touches/overlaps, v.v.) và các phần mở rộng SPARQL cho truy vấn địa lý.
• BFO và RO (OBO) — BFO: bản thể luận thượng tầng (continuant/occurrent, v.v.) để hài hòa hóa các bản thể luận miền; RO (Relations Ontology): tập liên miền các vị từ quan hệ (part_of/has_part, participates_in, nhân quả, v.v.).
• PROV‑O (W3C) — bản thể luận OWL về nguồn gốc dữ liệu, thực hiện mô hình PROV‑DM: các thực thể, hoạt động, tác nhân và các quan hệ của chúng để trao đổi và phân tích thông tin provenance.
• Schema.org — từ vựng web ứng dụng để đánh dấu dữ liệu có cấu trúc trên các trang (JSON‑LD/RDFa/Microdata); sáng kiến của các công cụ tìm kiếm (2011) nhằm thống nhất các kiểu và thuộc tính trên web mở.

Các bản thể luận và từ vựng chính: liên kết chính thức

Tên	Cơ quan / trạng thái	Tài liệu chính thức
RDF 1.2 Concepts and Abstract Data Model	W3C Working Draft (2025)	Trang thông số kỹ thuật
RDF 1.2 Schema (RDFS)	W3C Working Draft (2025; phiên bản năm 2014 không có thay đổi kỹ thuật)	Trang thông số kỹ thuật
DCMI Metadata Terms (Dublin Core Terms)	DCMI Specification (2020)	Trang thông số kỹ thuật
OWL 2 Web Ontology Language	W3C Recommendation (2012, 2nd Ed.)	Tổng quan/lộ trình các thông số kỹ thuật OWL 2
SKOS Reference	W3C Recommendation (2009)	Trang thông số kỹ thuật
Time Ontology in OWL (OWL‑Time)	W3C Candidate Recommendation Draft (2022)	Trang thông số kỹ thuật
GeoSPARQL 1.1	OGC Implementation Standard	Trang tiêu chuẩn OGC · Tài liệu tiêu chuẩn (OGC 22‑047r1)
Basic Formal Ontology (BFO)	OBO Foundry (upper ontology)	Thông tin/tài liệu chính thức
OBO Relations Ontology (RO)	OBO Foundry (relations)	Thông tin/tài liệu chính thức
PROV‑O: The PROV Ontology	W3C Recommendation (2013)	Trang thông số kỹ thuật
The Organization Ontology (ORG)	W3C Recommendation (2014)	Trang thông số kỹ thuật
Schema.org (documentation)	Tài liệu chính thức của dự án	Sơ đồ và tài liệu
LexInfo (bản thể luận ngữ nghĩa từ vựng)	Trang web/bản thể luận chính thức	Trang web chính thức · OWL 3.0