“sparql” 相关开源项目

用 Rust 编写的本体引擎，用于规划、应用和回滚 OWL/RDF 本体变更，并为推理结论生成可由 Lean 4 独立校验的证书。