fabio-rovai / open-ontologies

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

活跃维护 MIT Rust Tracked
1.4k 189 4 小时前
CIDocker
ai-native description-logics knowledge-graph mcp mcp-server ontology owl owl2 reasoning rust shacl sparql isabelle-language lean lean4 formal-verification theorem-proving infrastructure-as-code
GitHub 项目主页 对比

星标趋势

数据积累中，暂无足够数据生成趋势图

AI 分析

项目摘要

fabio-rovai/open-ontologies: Plan, apply and roll back changes to a production ontology, with a blast radius report and a proof an auditor can re-check.

为什么值得关注

Growing community with 1,162 stars, frequent releases.

优势

  • Continuous integration configured
  • Test suite present
  • Open source (MIT)

局限性

  • Limited documentation
分析模型：fallback | 分析时间：5 天前