OWL类表达式的句法简化

中文摘要 AI 辅助

类表达式学习常产生复杂的OWL类表达式，难以解释和推理，但遵循理论基础的简化原则可降低其复杂度。本文提出Class Expression Simplifier（CES），一种用于描述逻辑（DL）中类表达式句法简化的新型算法，旨在保留形式语义的同时降低表示复杂度。CES系统应用重写规则消除冗余，识别更简单但等价的表达式，从而生成更紧凑、人类可读的表示，且不改变逻辑蕴含关系。我们在从两个中等规模本体中学习到的类表达式上评估CES的有效性，证明其在推理效率上有可测量提升，且表述冗长度降低。本研究为使本体驱动应用更易访问、可维护和可扩展的更广泛目标做出贡献，对知识图谱构建、语义搜索和Web规模推理有直接意义。CES在开源Python框架OWLAPY中实现并公开可用。

英文摘要

Class expression learning often produces complex OWL class expressions that are difficult to interpret and reason over. However, by following theoretically grounded simplification principles, this complexity can be reduced. In this paper, we propose Class Expression Simplifier (CES), a novel algorithm for the syntactic simplification of class expressions in Description Logics (DL). CES aims to preserve formal semantics while reducing representational complexity. It systematically applies rewriting rules to eliminate redundancies and identify simpler yet equivalent expressions, thereby producing more compact and human-readable representations without altering logical entailments. We evaluate the effectiveness of CES on class expressions learned from two medium-sized ontologies, demonstrating measurable improvements in reasoning efficiency and reductions in verbosity. This work contributes to the broader goal of making ontology-driven applications more accessible, maintainable, and scalable, with direct implications for knowledge graph construction, semantic search, and Web-scale reasoning. CES is implemented within the open-source Python framework OWLAPY and is publicly available.

发表机构

• Paderborn University（帕德博恩大学）
• Department of Computer Science（计算机科学系）

机构由 AI 辅助整理，请以论文原文为准。