DLog（数据日志） swMATH ID: 9839 软件作者： 格格利·卢卡西（Gergely Lukácsy）；佩特尔·塞雷迪 描述： Prolog:DLog系统中高效的描述逻辑推理。传统的描述逻辑（DL）实例检索算法对于大量底层数据效率低下。随着DL在语义Web和信息集成等领域越来越流行，拥有能够对大型数据集进行有效推理的系统非常重要。本文提出了一种转换DL公理的方法，它在𝒮ℋℐ𝒬 DL语言，变成Prolog程序下的唯一名称假设。这种转换是在不了解特定个体的情况下执行的：在生成的程序的正常Prolog执行过程中动态访问这些个体。这种技术，再加上自顶向下的Prolog执行，意味着只访问那些对回答查询确实重要的数据。这使得将个体存储在数据库中而不是内存中成为可能，从而实现更好的可伸缩性，并有助于在现有信息源之上直接使用DL本体。转换过程包括两个步骤：（1）将DL公理转换为限制形式的一阶子句，（2）从这些子句生成Prolog程序。步骤（2）是本文件的重点，它实际上适用于比通过将步骤（1）应用于𝒮ℋℐ𝒬 知识库。我们首先提出一个基本转换，其输出可以使用简单的解释器执行，也可以进一步扩展到可执行的Prolog代码。然后，我们讨论了几种适用于基本变换输出的优化技术。其中一些技术是特定于我们的方法的，而其他技术则是通用的，足以让不使用Prolog的DL推理器实现者感兴趣。我们概述了DLog，它是Prolog中的一个DL推理器，是上述技术的实现。我们评估了DLog的性能，并将其与一些广泛使用的DL推理器（如RacerPro、Pellet和KAON2）进行了比较。 主页： http://journals。cambridge.org/action/didisplayAbstract？fromPage=online&aid=5900236&fileId=S1471068409003792 关键词： 描述逻辑；DLog（数据日志）；描述逻辑推理机 相关软件： 精益TAP；弹丸；接通DLV；前-OWL；马拉雷亚；谜；github；MPTP 0.2；SWI序言；FEMaLeCoP公司；HOList公司；MleanCoP公司；E定理证明器；伊朗CoP；精益CoP；VAMPIRE公司；XGBoost公司；MaLeCoP公司；PicoSAT卫星；康clude 引用于： 8文件 全部的 前5名16位作者引用 2 埃琳娜·贝洛迪 2 朱塞佩·科塔 2 伊芙琳娜·拉姆 2 格格利·卢卡西 2 法布里齐奥·里古齐 2 佩特尔·塞雷迪 2 里卡多·泽斯 1 乍得·布朗·爱德华 1 卡拉，巴勒斯 1 约瑟夫·P·奈尔（Joseph P.Near）。 1 杰夫·Z·潘。 1 任、袁 1 约瑟夫·乌尔班 1 赵玉婷 1 佐姆博里（Zsolt Zombori） 1 兹索尔特·桑博里 4篇连载文章中引用 2 逻辑程序设计理论与实践 1 人工智能 1 控制论学报 1 数学与人工智能年鉴 在1个字段中引用 8 计算机科学（68至XX） 按年份列出的引文