互连本体的点对点推理

Scidown文献预览系统！

作者：scidown 发布时间：2022-03-09 21:09:40 文章标题：

互连本体的点对点推理( Peer-to-Peer Reasoning for Interlinked Ontologies )

文章作者：

A Schlicht H Stuckenschmidt Distributed reasoning ontologies

文章简述：

语义Web通常被认为是由部分互连的机器可读数据组成的Web。这些数据本质上是分布的，就不同的各方在不同的物理位置提供的资源而言，它们类似于网络的结构。已经开发了许多用于存储和查询分布式语义web数据的基础设施，这些基础设施主要是用RDF编码的。虽然有一些尝试将RDF模式推理集成到分布式查询处理中，但几乎所有的描述逻辑推理作为Web本体语言OWL实现推理的基础的工作仍然假设一个集中的方法，在这个方法中，完整的术语必须出现在一个系统上，所有的推理步骤都在这个系统上进行。设计并实现了一种分布式推理方法，该方法在原有的OWL import语义下，保持了推理的可靠性和完备性，并在并行计算和通信工作量和附加推导所带来的开销方面具有良好的性能。该方法基于描述逻辑$Mathcal{ALC}$的健全和完整的解析方法，我们将其修改为在分布式设置中工作。

文章下载地址（开放版）：