12、PR-OWL 2.0：弥合与 OWL 语义的差距

PR-OWL 2.0：弥合与 OWL 语义的差距

1. 语义网中的不确定性推理需求

在语义网（SW）领域，近年来研究日益成熟，新的标准不断涌现，更复杂的用例也被提出和探索。随着 SW 应用的复杂度增加，对表示和处理不确定性信息的需求也愈发迫切。2007 年，万维网联盟（W3C）成立了不确定性推理孵化器小组（URW3 - XG），旨在确定在万维网中表示和推理不确定信息的需求，该小组认为需要标准化的表示方法来表达基于 Web 的信息中的不确定性。

概率 OWL（PR - OWL）是一种用于表示不确定性的候选方案，它是基于多实体贝叶斯网络（MEBN）的 OWL 上层本体。不过，PR - OWL 1.0 存在一些与 OWL 不完全兼容的问题：
- 没有提供与 OWL 属性的映射。
- 虽然有元实体的概念可定义复杂类型，但与 OWL 中已有的类型缺乏兼容性。
- 未在元级别上对 MEBN 形式主义和 OWL 逻辑基础进行适当整合，PR - OWL 语句与 OWL 语句之间的连接未被形式化，导致包含这两种形式主义语句的本体难以集成。

2. PR - OWL 概述

PR - OWL 是 OWL 语言的扩展，用于定义用 MEBN 表达的概率本体。MEBN 是一种一阶概率语言，它将知识表示为 MEBN 片段（MFrags）的集合，这些片段组织成 MEBN 理论（MTheories）。

以公共采购领域的 OWL 本体为例，该本体定义了采购、采购获胜者、负责采购的委员会成员等概念。其中，“前台人员”被定义为为某个组织充当前台的人。在实际情况中，往往不确定一个人是否符合“前台人员”的定义。例如，当一个企业赢得数百万美元的采购合同，