E2 · 出版卷 24
受控词汇与概念
代码、同义词、兼容 SKOS 的概念与治理
学习目标
- 解释为什么代码、同义词、兼容 SKOS 的概念与治理需要显式语义建模。
- 设计在交换过程中保留“受控词汇与概念”含义的身份、关系与约束。
- 区分硬性发布质量门、诊断指标与解释选择。
- 使用合成证据产出一个带受治理历史映射的版本化双语概念方案。
只有当学习者能够为模型和发布决定同时辩护时,本章才算完成。没有证据、测试或声明限制的整洁模式仍是未经验证的设计。考核成果必须让假设可见,并区分来源主张与派生结论。
决定情境
当值需要一致比较、验证或交换时,应使用受控概念。不要仅为存储方便而把自由描述随意编码。概念方案必须定义范围、首选标签、定义、状态、关系和变更政策。
从决定记录开始:写明预期用途、所需证据、错误后果、可接受不确定性以及有权接受残余风险的角色。随后检查拟议模型能否在不依赖文件名惯例、行顺序、无文档默认值或个人记忆的情况下回答决定问题。这样可避免技术选择掩盖缺失的语义要求。
同一记录可能适合一种用途而不适合另一种用途。快速探索视图可以容忍正式交换发布不能接受的条件。因此,适用性应针对用途、契约版本与质量门声明,而不能永久贴在数据上。
核心概念
代码是局部符号,概念是该符号所指的含义。把二者分离后,多种标签、语言和历史代码可引用同一持久概念。上位、下位和相关链接使概念方案可导航,同时避免把所有关系误称为完全等同。
本章工作范围是代码、同义词、兼容 SKOS 的概念与治理。对范围内每个项目,都要区分对象本身、来源使用的标签、关于它的主张以及承载主张的记录。身份不等于显示名称,数值不等于单位,观测不等于模型,“当前”也不等于“有效”。这些区分为更正、不确定性与竞争解释提供明确位置。
良好的语义设计应先能用句子解释,再进行编码。每个句子都识别主语、属性或关系、宾语或结果,以及主张成立的上下文。物理表和文件是这些句子的投影,而不是含义来源。
语义模型
每个概念获得独立于首选标签的持久标识符。附加每种语言一个首选标签、任意数量备选标签、定义、注释、状态和概念方案标识符。概念间使用有类型的语义关系;与另一方案映射时记录精确、相近、较宽、较窄或相关对应及映射责任。
用七个问题检验每种拟议记录:什么具有身份?它是什么类型?主张了哪个属性或关系?适用哪些时空上下文?哪个状态或限定符修饰主张?哪些证据支持它?哪个版本和活动产生了当前存储表示?缺失答案都应成为显式契约缺口。
规范化用于分离独立事实,而不是追求最多表数。只要身份、约束与来源保持显式,紧凑嵌套对象也可以语义健全;相反,如果关系和单位只存在于文档或应用代码中,即使高度规范化的数据库仍可能含糊。
约束与不变量
| 不变量 | 可执行或审查测试 | | --- | --- | | 概念标识符保持持久 | 更改首选标签不会创建新概念。 | | 标签带语言标记 | 每个概念在每种语言中只允许一个首选标签。 | | 映射具有关系类型 | 不得把相近、较宽或较窄映射压成等同。 | | 停用概念仍可解析 | 提供状态、替代指引和生效日期。 |
不变量是在存储、导出、更正与再处理过程中必须始终成立的条件。应尽可能在权威边界实施,并在交换边界重复检查。记录规则标识符、版本、严重级别、评价范围、观测值与结果,使失败可复现。
硬性质量门保护身份、语义有效性、必需来源与授权使用;诊断检查揭示异常值或模式,但需要解释。没有经审查规则和保留的源证据,不得把诊断阈值直接转化为删除或更正。
定量推理
可计算使用覆盖率 C_v = n_m / n_t,其中 n_m 为映射到有效概念的值数,n_t 为受控值总数。同时报告含糊映射、停用概念使用与缺少定义的概念。若大量值被强制做不精确映射,即使覆盖率高也不代表语义质量。
每个比率都应声明分子、分母、排除项与评价时间。当汇总可能隐藏局部失败时,按来源、实体类型、契约版本或处理运行分层报告。百分比应同时附计数,避免很小分母造成的表面巨大变化被忽略。
精度属于含义的一部分。不能只因存储类型允许就增加小数位,也不能在没有声明容差和测试时舍入身份、区间或坐标字段。定量摘要支持发布决定,但不能替代语义审查。
证据与不确定性
每个映射都是由定义、示例与领域审查支持的主张。应保留映射来源与置信度。词形相似可用于提出候选,却不能判定概念等同;同形异义和范围差异使仅按标签匹配并不安全。
证据包应包含保留的来源引用、采集或主张上下文、适用方法、验证结果、审查决定及派生物链接。当分类会改变处理方式时,把不确定性区分为观测、语义、结构、参数或政策相关。“未知”在证据不足以支持更强主张时是有效状态。
矛盾证据应保持可用。模型可以选择一条当前主张,但要保留理由、竞争主张与生效时间。这样才能支持后续重解释,而不假装早期证据从未存在。
接口与存储
数据记录应交换概念标识符,并把概念方案作为独立版本资源分发。可携带标签用于显示,但不得要求使用者按标签连接。契约应声明接受的方案与版本范围,以及未知或停用概念的处理方式。
接口设计应从逻辑契约向外展开。在选择序列化前,先指定标识符、类型、基数、单位、值状态、坐标与时间参考、版本协商、验证行为和结构化错误;物理表示随后声明它如何映射这些逻辑元素。
存储优化可以分区、压缩、索引或缓存数据,但不能改变身份或悄然移除上下文。派生表示应指向不可变输入与处理清单。缓存携带新鲜度和契约版本信息,绝不被当作唯一证据副本。
治理与访问
变更提案应说明问题、受影响概念、兼容性影响和迁移指引。审查要区分编辑性标签修改与语义变化。发布版本保持不可变、机器可读并附差异说明,使生产者和使用者能够独立安排采用。
治理通过角色名称、审查状态与版本化决定表达,而不依赖任何特定组织。应定义谁可以提议、验证、批准、替代和撤回每类受治理资源。审计记录保存角色和事件,同时避免不必要的个人数据。
对源证据与派生物应用最小必要访问。访问控制不能删除理解获授权发布所需的标识符、血缘或质量元数据。政策未解决时,应以明确理由和升级路径隔离输出。
集成检查点
图中概括本章控制流。应从源证据开始,经过语义结构与验证,读到可供决定使用的成果。每个箭头都应对应声明关系或转换,每个边界都应有契约,每个发布节点都应具有身份、版本与来源指针。
把一个带受治理历史映射的版本化双语概念方案加入持续演进的合成数据包。验证早期成果仍可解析,并确认新模型没有覆盖前几章引入的观测、标识符、数值或版本。记录每项变化的假设。
合成算例
一个合成岩性列表包含“镁铁质火山岩”“基性火山岩”和一个局部代码。定义表明前两个标签在某方案中为同义词,而第三个术语范围更宽。学习者建立一个精确别名映射和一个较宽映射,对证据不足的候选保持未解析,而不是强制等同。
按四轮完成算例:
- 保留接收记录并写出预期决定,不先进行任何更正。
- 识别实体、主张、上下文、不确定性与政策约束,标记每个未解决项。
- 应用版本化规则,创建派生物,并记录准确转换与验证证据。
- 给出接受、拒绝或隔离决定,并说明独立审查者如何复现。
由于示例全部为合成内容,其数值只用于演示方法。重要结果是从接收证据到有依据决定的链条。若缺少必需事实,解答应记录缺口,而不是制造一个看似合理的值。
练习任务
为十二个合成术语创建双语概念方案。为每个概念提供稳定标识符、定义、带语言标记的标签、层级和状态。用有类型关系映射五个历史代码,再验证首选标签唯一性、关系目标与停用替代。
采用以下验收标准:
- 所有必需标识符与引用都解析到声明类型。
- 每次转换都保留接收证据并记录派生关系。
- 无效、未知与不适用状态保持区分且可机器测试。
- 输出标识所用契约、词汇与处理版本。
- 第二位读者无需私下知识即可复现验证结果。
提交源快照、编写的契约或模型、验证输出、派生物、清单和简短决定记录。截图本身不足以证明准确输入、版本或规则执行。
常见失效模式
- 把代码与人类可读标签视为同一事物。
- 所有跨方案映射都声明为精确等同。
- 标签更名导致新建概念身份。
- 停用概念消失,造成历史数据不可读。
这些失败具有共同模式:便利的表示被误认为已经验证的含义。诊断时应找到假设最早变为隐式的边界。修复时恢复源证据,把假设转为版本化字段或规则,重新运行依赖转换,并通过替代而非覆盖发布受影响成果。
不要用无文档默认值修复失败。带明确缺失依赖的阻止结果,比一个无法重建含义却看起来完整的结果更安全、更可复用。
复习问题
- 概念与代码有何区别?
- 为什么语言标记属于标签语义?
- 何时较宽映射比精确映射更安全?
- 概念停用必须附带什么?
对每个答案,都要指出适用不变量、评价所需证据以及不变量失败时的发布行为。高质量答案会区分科学不确定性与语义缺失,也会区分可恢复警告与硬性契约违规。
来源与延伸阅读
- W3C SKOS 参考规范, 关于概念、标签、上下位关系与映射的模型.
- OGC GeoSciML 4.1, 用于地质要素、观测与词汇交换的模型.
- DCMI 元数据术语, 通用资源描述属性与受控值域.
- W3C PROV-O, 用于表达实体、活动、责任角色与派生关系的正式词汇.