26、语义网语言标准化与超文本版本控制技术探索

语义网语言标准化与超文本版本控制技术探索

1. 语义网语言的逻辑与建模差异

在语义网的构建中，关系的表示存在两种方式：一是将关系 r 作为类 r 的属性；二是将其作为以 c 为定义域的全局属性 r 。从逻辑层面看，这两种方式是等价的，但从建模角度而言，它们存在显著差异。通过引入两种类型的蕴含关系，我们能够清晰地捕捉这种差异，避免出现问题。

利用语法层面的 RDF 推理，我们可以探寻本体的不同语法风格；而借助语义层面的 OWL 推理，我们则能推断出本体的逻辑结果。这种观点使我们能够应对不同的建模范式需求。例如，我们可以在 RDF 中为 OWL 定义一种框架语法，确保其在逻辑层面与非框架版本表现一致，但在语法层面有所不同。在框架版本中，我们可以明确询问某事物是被定义为属性还是属性。简单来说，拥有一个能够对 OWL 本体进行非逻辑但基于语法推理的层次，是一项非常有趣的特性。这个层次使我们能够捕捉、推断和查询建模信息，从而避免将此类信息与逻辑层混淆，因为在逻辑层我们无需关注逻辑等价语句的不同语法形式。

2. OIL 在实际应用中的困境

在 Ontoknowledge 的案例研究以及开发的工具中，OIL 的内部使用情况令人失望。Ontoknowledge 由多个案例研究驱动，例如在超过 1000 页的关于国际会计准则（IAS）的大型文档中查找相关段落、使用手动构建的关于技能、工作职能和教育的本体进行技能管理应用、在虚拟组织中进行知识交换以及为呼叫中心提供知识管理支持等。然而，这些案例研究均未真正采用 OIL，而是都参考了 RDF 模式或其一个子集（