新算法简化复杂的 OWL 类表达式，以改进推理

研究人员开发了一种名为类表达式简化器 (CES) 的新算法，以降低知识表示中使用的 OWL 类表达式的复杂性。CES 应用理论上可靠的简化原则，使这些表达式更易于人类阅读和推理，同时不改变其形式语义。CES 在开源 Python 框架 OWLAPy 中实现，在对中等规模本体进行测试时，已证明在推理效率和冗余度降低方面有所改进，有助于构建更易于访问和可扩展的本体驱动应用程序。 AI

影响 提高了知识图谱构建和语义搜索应用程序的效率和可访问性。

排序理由 学术论文，详细介绍了一种新算法及其实现。[lever_c_demoted from research: ic=1 ai=1.0]

在 arXiv cs.AI 阅读 →

• alphaXiv
• arXiv
• CatalyzeX Code Finder for Papers
• Class Expression Simplifier
• Connected Papers
• CORE Recommender
• DagsHub
• description logic
• Gotit.pub
• Hugging Face
• Litmaps
• OWLAPy
• Python
• ScienceCast
• scite Smart Citations

• 论文
• 其他

AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →