OWLAPy

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

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