由于 trendforge.devlive.top 访问受限，请切换到 trendforge.devlive.org 域名

项目介绍快速开始学习路径项目截图 2 贡献者 6 增长趋势 Commit 历史代码统计生态关系项目时间线项目竞品上榜历史

fabio-rovai/open-ontologies

Rust 活跃

667

最后更新2026-10-27

1.8k

+343

225

项目介绍

计划、应用和回滚对生产本体的更改，并提供爆炸半径报告和审核员可以重新检查的证据。

Plan, apply and roll back changes to a production ontology, with a blast radius report and a proof an auditor can re-check.

智能解读

点击生成更详细的项目介绍

正在分析项目...

原始标签

ai-native description-logics formal-verification infrastructure-as-code isabelle-language knowledge-graph lean lean4 mcp mcp-server ontology owl owl2 reasoning rust shacl sparql theorem-proving

智能标签

生成技术栈、用途、特征、受众等多维度标签

使用场景

了解这个项目能帮你解决什么问题

项目健康度

68/100

良好

活跃度 15/23

距上次更新 9 天

人气 22/25

平台 Star TOP 16% · Forks 225

增长 18/25

本周 +644 ⭐ · 本月 0 ⭐

社区 6/17

6 位贡献者 · 0 条平台评论

文档 7/10

缺少 2 项内容

在 GitHub 上查看

项目信息

作者 fabio-rovai

来源 GitHub

周期每日

仓库ID fabio-rovai/open-ontologies

最新提交 2026-10-26 13:46:03

第一收录 2026-10-08 08:00:32

最后更新 2026-10-28 08:00:46

赞赏支持

如果本站对你有帮助，欢迎打赏支持

微信

支付宝

Widget 徽章

预览

Markdown

HTML

登录后发表评论

加载评论中...

相关项目推荐

farion1231/cc-switch

一款跨平台桌面应用程序，用于管理和切换Claude Code与Codex的供应商配置及MCP服务器。

150k Rust

openai/codex

轻量级终端编码助手

132k Rust

rustdesk/rustdesk

一款专为自建远程访问需求设计的开源远程桌面应用程序，可作为TeamViewer的替代方案。

127k Rust

rust-lang/rust

让每个人都能构建可靠高效的软件

120k Rust

tauri-apps/tauri

通过 Web 前端构建更小、更快、更安全的桌面与移动应用程序

112k Rust

denoland/deno

面向 JavaScript 与 TypeScript 的现代化运行时

108k Rust