开发工具 / 全球
fabio-rovai/open-ontologies
Open Ontologies 用于评估本体变更的语义后果，除了展示差异，还能输出部分推导的可检查证书，适合知识图谱、规则系统及需要追踪推理依据的工程团队。
+861近 7 天 Star
2,147总 Star
解决什么问题
给知识图谱增加一行规则，可能让大量已有对象获得新的类型，文本差异却看不出这些后果。Open Ontologies 用 Rust 构建单一二进制，在变更应用前分析影响范围与推理变化，让评审者理解改动会改变什么，而不只看到增删了几个三元组。
值得关注的能力
项目提供 OWL、RDFS 推理、自定义规则、SHACL 验证以及面向检索的图切片等能力。部分推导可以生成证书，由不共享引擎实现的检查器再次验证；README 通过修改结论导致校验失败的例子，说明证书与普通截图或工具口头结论之间的差别。
从哪里开始
这不是替代 Protégé 的图形编辑器，更适合放在本体发布前的检查环节。仓库也提供 MCP 接入。需要注意不同能力的保证不同：某些结果经过证明检查，某些仅是测量或推理器意见；应阅读证书范围与限制，不能把局部可验证性扩大成所有判断都已形式化证明。