open-ontologies は動作しますか?

open-ontologies はまだ完全には検証されていません. 判定に至った記録済みの実行はまだありません。

Argusic は open-ontologies をどのようにテストしましたか?

新しい使い捨てのマシンで、すべてのコマンドを記録しながらテストしました。記録された試行は 1 回で、手順の全体は評価方法のページに掲載しています。

open-ontologies の証拠はどこにありますか?

記録された実行をこのページに掲載しており、それぞれが完全なログとターミナル録画にリンクしています。録画は sha256 フィンガープリントとともに保存されているため、こっそり改変することはできません。

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

open-ontologies

本番オントロジーへの変更の計画、適用、ロールバック、影響範囲レポートと監査人が再確認できる証拠。

未検証ソース: GitHub ホームページRustMITコミット 2ecb50c2ca7e

Rust、MIT ライセンス. プロジェクト自身の表記: ai native、description logics、formal verification、infrastructure as code、isabelle language、knowledge graph、lean、lean4.

open-ontologies はまだ検証されていません。

Argusic が毎回新しいマシンで計測しています。 すべての数値はその証拠にリンクしています。

概要

判定: 未検証
Argusic スコア: 未採点
記録された実行: 1
最終テスト: 2026-10-30
スター: 2,806
フォーク: 313
未解決の Issue: 2
ウォッチャー: 21
サイズ: 229 MB
作成日: 2026-03-09
最終プッシュ: 2026-11-04

プロジェクトのデータは GitHub から取得 (このページの冒頭にリンクあり)、更新日 2026-11-04。テストデータは Argusic によるもので (CC BY 4.0)、すべての数値は、完全なログ、録画、それらの sha256 ハッシュを含む実行ページにリンクしています。

計測した内容

記録された最新の試行から取得しています。この試行は判定に至っていません。各行は記録された値であり、推定値ではありません。

テストした正確なコミット: 2ecb50c2ca7e
コンテナイメージ: sha256:cdd920bce783

計測していない内容

残りの半分です。この証拠がどこまでを示すのかを正確に確認できます。欠けている部分は欠けているものとして表示し、埋めることはありません。

インストール時間: 実行がこの値を報告しませんでした
クリーンなマシンから完了まで: 試行は 87 分時点で制限時間により停止されたため、完了していません
遭遇したエラーと修正したエラー: 試行は、遭遇した内容を報告する前に制限時間で打ち切られました
結果の証明方法: 2026-09-07 より前の実行では、結果の確認に使ったコマンドが記録されていません
GPU メモリのピーク: CPU マシンで実行したため、サンプリングする GPU がありませんでした
使用したモデルのトークン: この実行では記録されていません
長時間の実行での振る舞い: 各試行はドキュメントにある最小の設定と決まった時間予算を使うため、計測しているのは動作するかどうかであり、負荷のもとでどう持ちこたえるかではありません
そもそも動作するかどうか: 試行は、制限時間までに何かを検証できるところまで進みませんでした

録画の最後

この判定を決めたターミナルセッションの最後の行を、記録されたとおりに表示しています。

✔ [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…

セッション全体を再生 (クリーンなマシンからこの時点までのすべてのコマンド)。

テスト方法

1 つのエージェント、1 つのコンテナで、人の手は借りません。エージェントはプロジェクト自身のドキュメントに書かれた方法でインストールし、実行し、壊れた部分を修正します。以下はすべて、実際に起きたとおりに記録されています: ターミナルセッション、ログ、そして正確なコミットです。評価方法の全文.

同じ分野でテストしたプロジェクト

ここに挙げたものはすべて、Argusic がクリーンなマシンにインストールして実行しました。テストしていないものは表示されません。

実行履歴

テスト担当	試行	結果	スコア	コスト (USD)	日時
Argusic Runner	1/3	時間切れ	0.00	0.35	2026-10-30 11:19 UTC

トピック (出典: GitHub)

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

バッジを埋め込む

プロジェクトの 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 の証拠はどこにありますか?: 記録された実行をこのページに掲載しており、それぞれが完全なログとターミナル録画にリンクしています。録画は sha256 フィンガープリントとともに保存されているため、こっそり改変することはできません。