Syntactic Simplification of OWL Class Expressions
本文介绍了 CES，这是一种在 OWLAPY 框架中实现的创新算法，它通过应用重写规则来简化复杂的 OWL 类表达式，从而在保持形式语义的同时，减少冗余度并提高推理效率。
原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。 阅读完整免责声明
在广阔且互联的数字知识网络中，计算机依赖于被称为“本体”（ontologies）的结构化地图来理解世界。这些地图并非用墨水和纸张绘制，而是由定义事物及其相互关系的逻辑语句构建而成。想象一位图书管理员，不仅要根据书名，还要根据描述其内容、作者和历史的一套复杂规则来对数百万本书进行分类。为了实现这一点，他使用一种精确的语言，其中每个概念都是通过逻辑连接词将想法组合在一起定义的，就像是用单词组成句子一样。然而，当这些定义变得过于冗长或纠缠不清时，管理员会难以阅读，计算机处理这些指令也会花费过长时间。这是研究人员在使用网络本体语言（Web Ontology Language，一种用于组织互联网信息的标准工具）时面临的核心挑战。虽然这种语言功能强大，足以描述生物学、工程学和历史学的复杂细节，但正是这种复杂性往往导致定义变得不必要的冗长，且难以被人类理解。
德国帕德博恩大学的一个计算机科学家团队开发了一种新方法，可以在不改变原意的情况下理顺这些复杂的定义。他们创建了一个名为“类表达式简化器”（Class Expression Simplifier，简称 CES）的工具，它就像是这些逻辑语句的高级编辑。研究人员最初观察到，当计算机从数据中学习新概念时，生成的定义往往充斥着冗余的部分。这些定义可能会重复表达相同的意思，或者包含一些虽然不改变最终含义但会让语句变得更长的非必要条件。该团队的目标是剥离这些多余的杂质。他们设计了一种算法，能够系统地扫描这些逻辑定义，寻找可以被移除或合并的部分。例如，如果一个定义包含了一个已被语句中其他部分涵盖的条件，该工具就会移除这个重复项。如果一个定义包含了一个导致没有任何事物能符合要求的矛盾，该工具会识别出这一点，并将其简化为“无”（nothing）这一基本概念。
这一过程通过应用一套严格的规则来运作，确保简化后的版本在所描述的内容方面与原始版本完全一致，尽管在页面上的呈现形式有所不同。研究人员在两个特定数据集上测试了他们的工具，一个与物质致癌的研究相关，另一个侧重于化学物质如何影响 DNA。他们使用一种以产生极长且复杂结果而闻名的学习系统生成了两百个复杂的定义。当他们通过这个新的简化器运行这些定义时，结果令人瞩目。在许多情况下，该工具将定义的长度缩减了多达百分之八十六。这不仅仅是外观上的变化；更短的定义让计算机能够显著更快地找到匹配的信息。在某些测试中，计算机检索相关数据所需的时间下降了百分之九十。该工具本身也非常高效，处理即使是最复杂的定义平均也只需不到一秒钟，其中最长的一个也仅需约一点三秒即可完成清理。
研究人员强调，他们的方法纯粹是关于语言的结构，而非底层含义。为了验证新定义的正确性，他们通过使用推理机（reasoner）对比原始表达式和简化表达式所检索到的实例集来进行经验性的正确性评估，从而确认了它们的等价性。这意味着该工具可以安全地应用于任何创建此类逻辑定义的情境中，作为在将输出呈现给人类或用于更大系统之前的最后一步润色工作。虽然该工具对于其测试的这类定义非常有效，但作者指出，它最适用于某些学习系统所产生的冗长定义。他们承认，规则应用的顺序有时会改变最终结果，并建议未来的版本可以探索不同的规则优先级排序方式，以获得更好的效果。目前，这项工作表明，通过仔细移除逻辑语言中不必要的词汇，我们可以让驱动数字知识的系统对人类而言更具可读性，对机器而言更具效率。
您所在领域的论文太多了？
获取与您研究关键词匹配的最新论文每日摘要——附技术摘要，使用您的语言。