开放本体：经稳定匹配对齐的工具增强本体工程

我们提出了 Open Ontologies，这是一个用 Rust 实现的开源本体工程系统，它通过模型上下文协议将 LLM 驱动的构建与正式的 OWL 推理和本体对齐集成在一起。我们的主要发现是，稳定的一对一匹配是本体对齐质量的主导因素：在 OAEI Anatomy 赛道上，它实现了 F1 = 0.832（P = 0.963，R = 0.733），与最先进的系统竞争，并且在精度方面超越了所有系统。五个权重配置的消融表明，当应用稳定匹配时，信号权重是不相关的（F1 变化小于 0.004），而删除稳定匹配时，F1 会下降到 0.728。在会议轨道上，同样的方法得到 F1 = 0.438。在工具增强的本体交互方面，我们发现了一个令人惊讶的结果：读取原始 OWL 文件 (F1 = 0.323) 的 LLM 的性能比根本没有文件的相同 LLM (F1 = 0.431) 的性能要差，而结构化 MCP 工具访问则达到 F1 = 0.717。这表明工具结构提供了一种本质上不同的访问模式，LLM 无法通过读取原始语法来复制这种模式。该系统在 MIT 许可下作为单个二进制文件发布。