fabio-rovai/open-ontologies · AI Repo StatsFAfabio-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.
MCP server & công cụRust MIT 326tạo 2026-03-09 #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