英文原文: https://argusic.com/subject/open-ontologies

open-ontologies

规划、应用和回滚对生产本体（ontology）的变更，附带影响范围报告以及审计员可重新验证的证据。

尚未验证来源：GitHub项目主页RustMITcommit 2ecb50c2ca7e

Rust，MIT 许可证. 项目的自我描述：ai native、description logics、formal verification、infrastructure as code、isabelle language、knowledge graph、lean 和 lean4.

open-ontologies 尚未经过验证。

每一次都由 Argusic 在全新机器上实测。每个数字都链接到对应的证据。

概览

结论
尚未验证
Argusic 评分
尚未评分
已记录的运行次数
1
最近测试
星标
2,806
fork 数
313
未关闭的 issue
2
关注者
21
大小
229 MB
创建于
最近推送

项目数据来自 GitHub，链接见本页顶部，更新于 。测试数据由 Argusic 提供 (CC BY 4.0)；每个数字都链接到一个运行页面，附完整的 log、录屏及其 sha256 哈希。

测量了什么

来自最近一次有记录的尝试，该尝试未得出结论。 每一行都是记录下来的数值，而非估算。

测试的确切 commit
2ecb50c2ca7e
容器镜像
sha256:cdd920bce783

没有测量什么

另一半内容，让你清楚看到这些证据能说明到什么程度。缺失的数据就标为缺失，从不填补。

安装时间
该运行没有报告安装时间
从冷启动机器到完成
该尝试在用掉 87 分钟后因达到时间限制而被停止，因此始终没有完成
遇到并修复的错误
该尝试在报告所遇问题之前就因达到时间限制而被中断
结果是如何证明的
2026-09-07 之前的运行没有记录用于检查结果的命令
GPU 显存峰值
本次运行在 CPU 机器上进行，没有可采样的 GPU
使用的模型 token
本次运行未记录
长时间运行的表现
每次尝试都使用文档中最小的设置和固定的时间预算，因此这里测量的是它能否运行，而不是它在负载下的表现
它到底能否工作
该尝试在达到时间限制之前没有进展到可以验证任何东西的程度

录屏的结尾

决定该结论的终端会话的最后几行，与录制时完全一致。

✔ [152/172] Built OOCert.Mixed:c.o (1.3s)
LAKE_EXIT=124
oo-dlmodel    oo-dlrefute.trace  oo-lrat.rsp       oo-resolution.hash
oo-dlmodel.hash   oo-folmodel       oo-lrat.trace     oo-resolution.rsp
oo-dlmodel.rsp    oo-folmodel.hash   oo-matcert        oo-resolution.trace
oo-dlmodel.trace  oo-folmodel.rsp    oo-matcert.hash   oo-shacl
oo-dlrefute    oo-folmodel.trace  oo-matcert.rsp    oo-shacl.hash
oo-dlrefute.hash  oo-lrat       oo-matcert.trace  oo-shacl.rsp
oo-dlrefute.rsp   oo-lrat.hash       oo-resolution     oo-shacl.trace
Leak lake build was cut at the 300s timeout (exit 124) but made progress. Continuing it.
exec
/bin/sh -lc '. "$HOME/.elan/env" && cd /work/repo/lean && timeout 400 lake build > /tmp/lake2.log 2…

回放完整会话，从干净的机器到此刻的每一条命令。

测试方式

一个 agent，一个容器，没有人工协助。它按照项目自身文档所写的方式安装项目，运行它，并修复出错的地方。下面的一切都按实际发生的过程记录：终端会话、log 和确切的 commit。 完整方法论.

同一领域中也测试过的项目

这里的每个项目都由 Argusic 在干净的机器上安装并运行过。未经测试的项目不会出现在这里。

运行历史

测试者尝试结果评分成本 USD时间
Argusic Runner1/3超时0.000.35

主题 (来自 GitHub)

ai-nativedescription-logicsformal-verificationinfrastructure-as-codeisabelle-languageknowledge-graphleanlean4mcpmcp-serverontologyowlowl2reasoningrustshaclsparqltheorem-proving

嵌入徽章

用于项目 README 的 Markdown。徽章链接回本页；使用条款见 条款页面.

[![Tested by Argusic](https://argusic.com/badge/open-ontologies.svg)](https://argusic.com/subject/open-ontologies)

常见问题

open-ontologies 能运行吗？
open-ontologies 尚未完全验证. 尚无任何已记录的运行得出结论。
Argusic 是如何测试 open-ontologies 的？
在一台全新的一次性机器上进行，每条命令都被记录。共记录了 1 次尝试，完整方法见方法论页面。
open-ontologies 的证据在哪里？
这次已记录的运行都在本页上，每次都链接到完整的 log 和终端录屏，并连同 sha256 指纹一起保存，因此无法被悄悄篡改。

Discussion