[论文解读] Modeling Computations in a Semantic Network

Marko A. Rodriguez, Johan Bollen|arXiv (Cornell University)|May 31, 2007

Semantic Web and Ontologies参考文献 11被引用 7

一句话总结

本文提出了一套形式化框架，用于在语义网络（特别是语义网）中建模计算，将RDF图视为数据和过程信息的通用基础。该框架对现有计算模型进行了分类，定义了语义计算空间，并识别出关键的技术需求——如高效的三元组存储索引、标准化的写入协议和溯源机制——以使语义网能够作为分布式、通用的计算平台运行。

ABSTRACT

Semantic network research has seen a resurgence from its early history in the cognitive sciences with the inception of the Semantic Web initiative. The Semantic Web effort has brought forth an array of technologies that support the encoding, storage, and querying of the semantic network data structure at the world stage. Currently, the popular conception of the Semantic Web is that of a data modeling medium where real and conceptual entities are related in semantically meaningful ways. However, new models have emerged that explicitly encode procedural information within the semantic network substrate. With these new technologies, the Semantic Web has evolved from a data modeling medium to a computational medium. This article provides a classification of existing computational modeling efforts and the requirements of supporting technologies that will aid in the further growth of this burgeoning domain.

研究动机与目标

• 将语义网从一种描述性数据建模媒介重新构想为能够编码算法和虚拟机的计算媒介。
• 对语义网络中的现有计算模型进行分类，区分本体论（抽象机器模型）和实例化（可执行程序）的过程表示。
• 识别实现语义网作为可扩展、分布式计算平台所必需的关键技术要求——如快速三元组存储索引、标准化写入协议和信任机制。
• 建立一个正式的语义计算空间，将数据、算法和机器架构统一集成于基于RDF的基础之上。
• 解决性能、可扩展性和安全性方面的开放挑战，以实现基于语义网的通用、分布式计算平台愿景。

提出的方法

• 将语义网络形式化为有向带标签图 $ G = (V, E \times \rho, \rho: E \to \Sigma) $，重点关注RDF三元组 $ \langle s, p, o \rangle $ 作为基础单元。
• 扩展RDF模型以支持命名图 $ \langle s, p, o, g \rangle $，以实现对分布式计算中溯源、信任和访问控制的支持。
• 定义一种计算模型，其中抽象机器（本体论模型）及其可执行程序（实例化模型）均以语义网络结构的形式编码。
• 提出整个语义网可被视为一台单一的分布式计算机，拥有巨大的地址空间 $ U \cup L $，计算通过外部机器读写图结构而演化。
• 整合SPARQL/Update和链接数据标准，以提升分布式三元组存储之间的可扩展性和互操作性。
• 分析性能瓶颈，如读写速度缓慢和三元组存储容量有限，并倡导采用优化的索引算法以增强计算的可行性。

实验结果

研究问题

• RQ1 如何在语义网络基础（如语义网）中正式编码过程信息（如算法和虚拟机架构）？
• RQ2 在语义网络中，本体论过程模型（抽象机器）与实例化过程模型（可执行程序）之间的关键区别是什么？
• RQ3 为使语义网能够作为可扩展的分布式计算平台运行，需要哪些关键技术要求？
• RQ4 在用于计算的去中心化、全球共享的语义网络中，如何强制实施信任、溯源和访问控制？
• RQ5 当前哪些性能和架构限制阻碍了将语义网作为通用计算基础的可行性？

主要发现

• 只要使用RDF、RDFS和OWL显式编码计算模型，语义网即可作为数据和过程计算的通用基础。
• 当前的三元组存储系统过于缓慢且规模有限，其读写速度比本地内存慢几个数量级。
• 三元组存储提供者之间缺乏标准化的写入协议（如SPARQL/Update）阻碍了语义网中程序执行的广泛采用。
• 命名图扩展了三元组模型，支持溯源和访问控制，从而为在共享基础之上的安全计算提供了必要的信任机制。
• 可扩展性受到单个三元组存储容量有限的制约，尽管采用链接数据标准可能缓解此问题。
• 由于性能、标准化和安全性方面的挑战尚未解决，基于语义网构建通用、分布式计算机的愿景仍属理想化。