Chapter 6 Understanding Each Other
用概念、关系、公理和版本标识建立共享本体，并检查 RDF/OWL 表达边界。
学习目标
- 能用概念、关系、公理建立共享本体
- 能说明本体版本标识的必要性
- 能识别 RDF/OWL 的表达边界
为什么必须先冻结联合模型
先预测：两个代理都使用“订单”一词，语义就一致吗？带着判断进入本页。
用概念、关系、公理和版本标识建立共享本体，并检查 RDF/OWL 表达边界。 本体把领域词汇的类、属性、关系和约束显式化；RDF 提供图数据模型，OWL 增加可推理语义，但开放世界假设不等于数据库完整性约束。 本页不以单个代理“看起来聪明”为通过条件，而是检查联合状态、偏离动机、失败传播和可重放证据。
直觉、对象与计算合同
贯穿场景是：两个医疗调度代理交换设备能力和占用状态。参与者、可观察信息、行动集、偏好或目标、环境转移、协议版本和终止条件必须在运行前固定，不能在看到结果后修改效用或阈值。
公式用于公开关系与前提，不替代正式证明或实证测量。需要封闭校验时应增加形状或应用约束，不能假装 OWL 自动补齐。 本页重点防范：接收方把未声明事实当作假，把开放世界语义误当闭世界校验。
说即是做：断言、指令、承诺改变社会关系。Searle 的分类是通信协议的理论底座。
正式目录节点：解释与联合验证
下列目录节点逐项映射到解释、页面专属实验和章末答案。每个节点都必须指出它改变哪个联合状态以及什么观测会推翻结论；单纯出现术语不计覆盖。
Chapter 6 Understanding Each Other
“Chapter 6 Understanding Each Other”细化本单元的正式问题，需要映射到参与者、信息、行动、结果和失败边界。 在“本体把领域词汇的类、属性、关系和约束显式化；RDF 提供图数据模型，OWL 增加可推理语义，但开放世界假设不等于数据库完整性约束。”这条联合因果链中，本节点重点检查本体构件；只改变一个条件并保存联合轨迹，若出现“接收方把未声明事实当作假，把开放世界语义误当闭世界校验”，就在首个分叉停止。
6.1 Ontology Fundamentals
“6.1 Ontology Fundamentals”规定代理共享概念或图模型的语义，必须区分可推导事实、未知事实与应用校验。 在“本体把领域词汇的类、属性、关系和约束显式化；RDF 提供图数据模型，OWL 增加可推理语义，但开放世界假设不等于数据库完整性约束。”这条联合因果链中，本节点重点检查OWL；只改变一个条件并保存联合轨迹，若出现“接收方把未声明事实当作假，把开放世界语义误当闭世界校验”，就在首个分叉停止。
6.1.1 Ontology Building Blocks
“6.1.1 Ontology Building Blocks”规定代理共享概念或图模型的语义，必须区分可推导事实、未知事实与应用校验。 在“本体把领域词汇的类、属性、关系和约束显式化；RDF 提供图数据模型，OWL 增加可推理语义，但开放世界假设不等于数据库完整性约束。”这条联合因果链中，本节点重点检查KIF；只改变一个条件并保存联合轨迹，若出现“接收方把未声明事实当作假，把开放世界语义误当闭世界校验”，就在首个分叉停止。
6.1.2 An Ontology of Ontologies
“6.1.2 An Ontology of Ontologies”规定代理共享概念或图模型的语义，必须区分可推导事实、未知事实与应用校验。 在“本体把领域词汇的类、属性、关系和约束显式化；RDF 提供图数据模型，OWL 增加可推理语义，但开放世界假设不等于数据库完整性约束。”这条联合因果链中，本节点重点检查RDF；只改变一个条件并保存联合轨迹，若出现“接收方把未声明事实当作假，把开放世界语义误当闭世界校验”，就在首个分叉停止。
6.2 Ontology Languages
“6.2 Ontology Languages”规定代理共享概念或图模型的语义，必须区分可推导事实、未知事实与应用校验。 在“本体把领域词汇的类、属性、关系和约束显式化；RDF 提供图数据模型，OWL 增加可推理语义，但开放世界假设不等于数据库完整性约束。”这条联合因果链中，本节点重点检查版本对齐；只改变一个条件并保存联合轨迹，若出现“接收方把未声明事实当作假，把开放世界语义误当闭世界校验”，就在首个分叉停止。
6.2.1 XML -- Ad Hoc Ontologies
“6.2.1 XML -- Ad Hoc Ontologies”细化本单元的正式问题，需要映射到参与者、信息、行动、结果和失败边界。 在“本体把领域词汇的类、属性、关系和约束显式化；RDF 提供图数据模型，OWL 增加可推理语义，但开放世界假设不等于数据库完整性约束。”这条联合因果链中，本节点重点检查本体构件；只改变一个条件并保存联合轨迹，若出现“接收方把未声明事实当作假，把开放世界语义误当闭世界校验”，就在首个分叉停止。
6.2.2 OWL -- The Web Ontology Language
“6.2.2 OWL -- The Web Ontology Language”规定代理共享概念或图模型的语义，必须区分可推导事实、未知事实与应用校验。 在“本体把领域词汇的类、属性、关系和约束显式化；RDF 提供图数据模型，OWL 增加可推理语义，但开放世界假设不等于数据库完整性约束。”这条联合因果链中，本节点重点检查OWL；只改变一个条件并保存联合轨迹，若出现“接收方把未声明事实当作假，把开放世界语义误当闭世界校验”，就在首个分叉停止。
6.2.3 KIF -- Ontologies in First-Order Logic
“6.2.3 KIF -- Ontologies in First-Order Logic”规定代理共享概念或图模型的语义，必须区分可推导事实、未知事实与应用校验。 在“本体把领域词汇的类、属性、关系和约束显式化；RDF 提供图数据模型，OWL 增加可推理语义，但开放世界假设不等于数据库完整性约束。”这条联合因果链中，本节点重点检查KIF；只改变一个条件并保存联合轨迹，若出现“接收方把未声明事实当作假，把开放世界语义误当闭世界校验”，就在首个分叉停止。
6.3 RDF
“6.3 RDF”规定代理共享概念或图模型的语义，必须区分可推导事实、未知事实与应用校验。 在“本体把领域词汇的类、属性、关系和约束显式化；RDF 提供图数据模型，OWL 增加可推理语义，但开放世界假设不等于数据库完整性约束。”这条联合因果链中，本节点重点检查RDF；只改变一个条件并保存联合轨迹，若出现“接收方把未声明事实当作假，把开放世界语义误当闭世界校验”，就在首个分叉停止。
6.4 Constructing an Ontology
“6.4 Constructing an Ontology”规定代理共享概念或图模型的语义，必须区分可推导事实、未知事实与应用校验。 在“本体把领域词汇的类、属性、关系和约束显式化；RDF 提供图数据模型，OWL 增加可推理语义，但开放世界假设不等于数据库完整性约束。”这条联合因果链中，本节点重点检查版本对齐；只改变一个条件并保存联合轨迹，若出现“接收方把未声明事实当作假，把开放世界语义误当闭世界校验”，就在首个分叉停止。
6.5 Software Tools for Ontologies
“6.5 Software Tools for Ontologies”细化本单元的正式问题，需要映射到参与者、信息、行动、结果和失败边界。 在“本体把领域词汇的类、属性、关系和约束显式化；RDF 提供图数据模型，OWL 增加可推理语义，但开放世界假设不等于数据库完整性约束。”这条联合因果链中，本节点重点检查本体构件；只改变一个条件并保存联合轨迹，若出现“接收方把未声明事实当作假，把开放世界语义误当闭世界校验”，就在首个分叉停止。
常见误区
术语
小结
- 本体把类、属性、关系和约束显式化
- RDF提供图数据模型，OWL增加可推理语义
- 开放世界假设不等于数据库完整性约束
- 未声明事实不能当作假，需区分可推导与未知
- 构造最小本体并诊断版本冲突
容易踩的坑
误区 1
现象 → 假设双方词汇天然一致 原因 → 同词不同义产生误解 修法 → 建立共享本体并随消息声明版本
误区 2
现象 → 本体一次定义终身不改 原因 → 概念演化导致语义漂移 修法 → 本体版本化并记录变更
误区 3
现象 → 用私有术语通信 原因 → 新成员无法理解 修法 → 术语注册进公共本体
练习与答案
前后导航
练习
练习
问题 1： 本体在代理通信中的作用？
问题 2： 本体为什么需要版本标识？
问题 3： 为“订单”概念建一个迷你本体，含三个概念两条关系。（独立实现）