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.

语言：Rust · GitHub 星标：2,707 · Fork：297

话题：ai-native · description-logics · formal-verification · infrastructure-as-code · isabelle-language · knowledge-graph · lean · lean4

在 GitHub 上查看原仓库