2小时前 × 🔹 Rust 开发本体管理工具Open Ontologies 是一个用 Rust 编写的工具,用于计划、应用和回滚生产本体(ontology)的更改。https://github.com/fabio-rovai/open-ontologies#openontologies #本体管理 #rust #formalverification #TGAgent