Semantic relations — 语义关系
Jump to navigation
Jump to search
语义关系 — 知识图谱中实体之间的形式化关系，可规范化为一组有限的核心谓词：子类型 (is‑a)、实例 (instance‑of)、部分–整体 (part‑of)、集合成员、定位/邻接、之前/之后、参与/角色、属性/值、因果关系、同一/差异、所有权、反义关系。本页面记录了这些关系的规范表述、同义词、逻辑属性以及与各项标准（RDF/RDFS、SKOS、OWL/OWL‑Time、GeoSPARQL、OBO RO/BFO、PROV‑O、Schema.org）的对应关系。
语义关系的核心：规范化与同义词词典
| 形式化表达（简化） | 基本关系（规范词） | 核心关系规范化（中文） | 自然语言动词、短语（同义词） | 类别 | 类型（语义层/使用模式） | 关键属性 |
|---|---|---|---|---|---|---|
| subclass-of / superclass-of | 子类型（属–种） | 是……的一种 / 有子类 |
|
分类学 | 本体论（核心） | 传递性；继承类的公理/约束（而非属性值） |
| 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 | 时间顺序 | 在……之前 / 在……之后 |
|
时间 | 本体论（核心） | 传递性；非对称性；非自反性（严格偏序） |
| 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 (симм.) | 同一性（等价） | 等同于 / 等同于 |
|
等价性 | 本体论（核心；谨慎使用） | 自反性；对称性；传递性 |
| different-from / different-from (симм.) | 差异/不相容 | 不同于 / 不同于 |
|
差异 | 本体论（核心） | 对称性；非自反性 |
| adjacent-to / adjacent-to (симм.) | 邻接（拓扑） | 与……邻接 / 与……邻接 |
|
拓扑 | 本体论（核心） | 对称性；非自反性；无传递性 |
| opposite-of / opposite-of (симм.) | 反义关系（反义词） | 与……相反 / 与……相反 |
|
词汇语义学 | 词汇/叙词表（非公理化） | 词汇语义关系；对称性；不用作本体论公理；最好通过质量标度和类的析取来建模 |
类型说明：
- 本体论（核心）— 允许在 OWL 中进行公理化，无需特殊说明；
- 本体论（上下文相关；需领域限定）— 解释和推理取决于领域/模型；
- 词汇/叙词表（非公理化）— 仅用于词汇/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) | — | — | 类层次结构；传递性；继承公理/约束（而非值）。在 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 容器；是编号容器属性 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 中，传递性不通过 owl:TransitiveProperty 注解；可作为区域层次模型的假设。dcterms:spatial 是一种“软”引用链接。在 RO 中，ro:located_in 被声明为传递性；在应用层面，需明确本地化的领域/类型（行政、解剖等），以保证模型中的传递性有效。
|
| 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 中明确定义了传递性；非对称性/非自反性必要时通过项目本体的公理来设定。 |
| 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 是约束中的构造器（而非普通属性）。
|
| 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 概念，主要用于不同方案之间的映射（mapping 属性）；在 mapping 属性中，只有 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 | 建议设定定义域/值域和基数；区分法定所有权和实际占有（不与 located‑in 混淆）。 |
| opposite-of | 反义关系（反义词） | — | — | — | — | (词汇) lexinfo:antonym ; WordNet antonym | 词汇关系；不用作本体论公理。在 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 模式（prov:used, prov:wasGeneratedBy）来表达。
|
| related-to | 关联关系 (KOS) | — | skos:related | — | — | — | 对称性；非传递性。仅在叙词表/KOS 中使用；语义较弱，不用于逻辑推理。 |
主要本体论与词汇表
- RDF 与 RDFS (W3C) — RDF：基于主语–谓词–宾语三元组的知识图谱抽象模型；RDFS：用于定义类/属性及层次结构（subClassOf、subPropertyOf、domain/range）的最小词汇表。
- OWL / OWL 2 (W3C) — 一种知识表示语言，用于形式化定义本体（类、公理、属性类型与逆属性、等价性/不相交性），旨在通过描述逻辑（DL）进行自动推理。
- SKOS (W3C) — 一种用于在 RDF/RDFS 之上表示叙词表、分类法和受控词汇表的模型（broader/narrower/related、集合、叙词表间映射）；不定义类继承关系。
- OWL‑Time (W3C) — OWL 2 DL 中的时间本体：时刻、时间段、拓扑关系（before/after）、持续时间以及日历时间位置。
- GeoSPARQL (OGC) — OGC 的地理语义标准：一个关于“空间实体/几何”的小型 OWL 本体，一个拓扑关系词汇表（within/contains、touches/overlaps 等）以及用于地理查询的 SPARQL 扩展。
- BFO 与 RO (OBO) — BFO：一个顶层本体（continuant/occurrent 等），用于协调领域本体；RO（Relations Ontology）：一个跨领域的谓词关系集（part_of/has_part、participates_in、因果关系等）。
- PROV‑O (W3C) — 一个用于表示数据来源的 OWL 本体，实现了 PROV‑DM 模型：实体、活动、代理及其关系，用于交换和分析 provenance 信息。
- Schema.org — 用于在网页上标记结构化数据（JSON‑LD/RDFa/Microdata）的应用型网络词汇表；由搜索引擎于2011年发起，旨在统一开放网络中的类型和属性。
主要本体论与词汇表：官方链接
| 名称 | 机构 / 状态 | 官方文档 |
|---|---|---|
| RDF 1.2 Concepts and Abstract Data Model | W3C 工作草案 (2025) | 规范页面 |
| RDF 1.2 Schema (RDFS) | W3C 工作草案 (2025; 2014年版本修订，无技术变更) | 规范页面 |
| DCMI Metadata Terms (Dublin Core Terms) | DCMI 规范 (2020) | 规范页面 |
| OWL 2 Web Ontology Language | W3C 推荐标准 (2012, 第2版) | OWL 2 规范概览/路线图 |
| SKOS Reference | W3C 推荐标准 (2009) | 规范页面 |
| Time Ontology in OWL (OWL‑Time) | W3C 候选推荐标准草案 (2022) | 规范页面 |
| GeoSPARQL 1.1 | OGC 实施标准 | OGC 标准页面 · 标准文档 (OGC 22‑047r1) |
| Basic Formal Ontology (BFO) | OBO Foundry (顶层本体) | 官方卡片/文档 |
| OBO Relations Ontology (RO) | OBO Foundry (关系) | 官方卡片/文档 |
| PROV‑O: The PROV Ontology | W3C 推荐标准 (2013) | 规范页面 |
| The Organization Ontology (ORG) | W3C 推荐标准 (2014) | 规范页面 |
| Schema.org (documentation) | 项目官方文档 | 模式与文档 |
| LexInfo (词汇语义本体) | 官方网站/本体 | 官方网站 · OWL 3.0 |
Category:Knowledge management