arXiv:2608.18899cs.AI2026-08

让复杂知识表达更简洁易读,提升推理效率。

Syntactic Simplification of OWL Class Expressions

  • 基于逻辑重写规则自动简化本体类表达式
  • 在两个中等规模本体上验证,推理速度提升显著
  • 适合知识图谱构建与语义搜索场景使用

类表达式学习常产生难以理解与推理的复杂OWL类表达式。本文提出一种名为CES的新型算法,用于描述逻辑中类表达式的语法简化。该方法在保持语义不变的前提下,系统应用重写规则消除冗余,生成更紧凑、更易读的等价表达式,从而降低表示复杂度而不改变逻辑蕴含关系。我们在两个中等规模本体上评估了CES的有效性,结果表明其显著提升了推理效率并减少了表达冗余。本工作有助于推动基于本体的应用更易访问、可维护和可扩展,对知识图谱构建、语义搜索及网络规模推理具有直接意义。CES已集成于开源Python框架OWLAPY,可公开获取。

原文摘要 · Abstract (English)

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.

本体简化知识图谱逻辑推理

Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。