Distributed First Order Logic
Distributed First Order Logic
复制标题
DOI：
10.1016/j.artint.2017.08.008
复制
发表时间：
2015-07
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
分布式一阶逻辑（DFOL）已经在十多年前被引入，目的是形式化分布式基于知识的系统，其中关于异构域的知识分散到一组互连的模块中。DFOL通过一阶理论形式化每个模块中包含的知识，并通过称为桥规则的特殊推理规则形式化模块之间的互连。尽管在最初的DFOL制定的限制形式，桥规则影响了几个工程领域的异构知识集成，模块化知识表示，模式/本体匹配。这反过来又促进了对原始DFOL的扩展和修改，这些扩展和修改从未被系统地描述和出版。本文解决了缺乏一个全面的描述DFOL提供了一个系统的帐户完全修订和扩展版本的逻辑，连同一个健全的和完整的公理化的一般形式的桥梁规则的基础上自然演绎。由此产生的DFOL框架，然后提出了一个明确的形式化工具的分布式知识和桥规则的表示和推理。
Distributed First Order Logic (DFOL) has been introduced more than ten years ago with the purpose of formalising distributed knowledge-based systems, where knowledge about heterogeneous domains is scattered into a set of interconnected modules. DFOL formalises the knowledge contained in each module by means of first-order theories, and the interconnections between modules by means of special inference rules calledbridge rules. Despite their restricted form in the original DFOL formulation, bridge rules have influenced several works in the areas of heterogeneous knowledge integration, modular knowledge representation, and schema/ontology matching. This, in turn, has fostered extensions and modifications of the original DFOL that have never been systematically described and published. This paper tackles the lack of a comprehensive description of DFOL by providing a systematic account of a completely revised and extended version of the logic, together with a sound and complete axiomatisation of a general form of bridge rules based on Natural Deduction. The resulting DFOL framework is then proposed as a clear formal tool for the representation of and reasoning about distributed knowledge and bridge rules.