用 Rust 编写的本体引擎，用于规划、应用和回滚 OWL/RDF 本体变更，并为推理结论生成可由 Lean 4 独立校验的证书。
1159161RustMIT更新于 4天前
1 个替代品
Protégé 的最佳开源替代品（2026）
想找 Protégé 的免费开源替代？下面这 1 个项目都能替代它。每个都通过了质量筛选，并用大白话讲清楚，Star、许可证、维护状态一眼对比。
快速对比
| 项目 | Star | 许可证 | 最近提交 |
|---|---|---|---|
| fabio-rovai/open-ontologies | ★ 1159 | MIT | 4天前 |
常见问题
- Protégé 有免费的开源替代品吗？
- 有。Repolode 收录的最受欢迎的 Protégé 开源替代品有：open-ontologies。
- Protégé 的替代品该选哪个？
- open-ontologies 的 GitHub Star 最多，采用 MIT 许可证。选择前建议在上面的表格里对比各项目的许可证和最近提交时间。