Läuft open-ontologies?

open-ontologies wurde noch nicht vollständig verifiziert. Bisher hat kein aufgezeichneter Lauf einen Befund ergeben.

Wie hat Argusic open-ontologies getestet?

Auf einer frischen Einwegmaschine, mit jedem Befehl aufgezeichnet. Ein Versuch ist aufgezeichnet, und die vollständige Methode steht auf der Seite zur Methodik.

Wo ist der Nachweis für open-ontologies?

Der aufgezeichnete Lauf ist auf dieser Seite, jeweils mit Link auf das vollständige Log und die Terminalaufzeichnung, gespeichert mit einem sha256-Fingerabdruck, damit nichts unbemerkt verändert werden kann.

Englisches Original: https://argusic.com/subject/open-ontologies

open-ontologies

Planen, anwenden und zurückrollen von Änderungen an einer Produktionsontologie, mit einem Blast-Radius-Bericht und einem Nachweis, den ein Prüfer erneut überprüfen kann.

Noch nicht verifiziertQuelle: GitHub HomepageRustMITCommit 2ecb50c2ca7e

Rust, Lizenz MIT. Das Projekt beschreibt sich selbst als: ai native, description logics, formal verification, infrastructure as code, isabelle language, knowledge graph, lean und lean4.

open-ontologies wurde noch nicht verifiziert.

Von Argusic jedes Mal auf einer frischen Maschine gemessen. Jede Zahl verlinkt auf ihren Nachweis.

Auf einen Blick

Befund: Noch nicht verifiziert
Argusic Score: noch nicht bewertet
aufgezeichnete Läufe: 1
zuletzt getestet: 2026-10-30
Sterne: 2.807
Forks: 313
offene Issues: 2
Beobachter: 21
Größe: 229 MB
erstellt: 2026-03-09
letzter Push: 2026-11-04

Projektdaten von GitHub, oben auf dieser Seite verlinkt, aktualisiert 2026-11-04. Testdaten von Argusic (CC BY 4.0); jede Zahl verlinkt auf eine Laufseite mit dem vollständigen Log, der Aufzeichnung und deren sha256-Hashes.

Was gemessen wurde

Aus dem letzten aufgezeichneten Versuch, der zu keinem Befund geführt hat. Jede Zeile ist ein aufgezeichneter Wert, keine Schätzung.

Genau getesteter Commit: 2ecb50c2ca7e
Container-Image: sha256:cdd920bce783

Was nicht gemessen wurde

Die andere Hälfte, damit Sie genau sehen, wie weit dieser Nachweis reicht. Eine Lücke wird als Lücke angezeigt und nie aufgefüllt.

Installationszeit: der Lauf hat keine gemeldet
Von der kalten Maschine bis zum Ende: der Versuch wurde am Zeitlimit nach 87 Minuten gestoppt und daher nie beendet
Aufgetretene und behobene Fehler: der Versuch wurde am Zeitlimit abgebrochen, bevor er melden konnte, worauf er gestoßen war
Wie das Ergebnis belegt wurde: Läufe vor dem 2026-09-07 haben den Befehl zur Prüfung des Ergebnisses nicht aufgezeichnet
Maximaler GPU-Speicher: dieser Lauf fand auf einer CPU-Maschine statt, es gab also keine GPU zu messen
Verbrauchte Modell-Tokens: für diesen Lauf nicht aufgezeichnet
Verhalten über einen langen Lauf: jeder Versuch verwendet die kleinsten dokumentierten Einstellungen und ein festes Zeitbudget, daher misst dies, ob es läuft, nicht wie es sich unter Last hält
Ob es überhaupt funktioniert: der Versuch kam vor dem Zeitlimit nicht weit genug, um etwas zu verifizieren

Das Ende der Aufzeichnung

Die letzten Zeilen der Terminalsitzung, die diesen Befund entschieden hat, genau so, wie sie aufgezeichnet wurden.

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

Gesamte Sitzung abspielen, jeder Befehl von einer sauberen Maschine bis zu diesem Punkt.

So wurde getestet

Ein Agent, ein Container, keine menschliche Hilfe. Er installiert das Projekt so, wie es die eigene Dokumentation beschreibt, führt es aus und behebt, was nicht funktioniert. Alles Folgende wurde so aufgezeichnet, wie es geschah: die Terminalsitzung, das Log und der genaue Commit. Die vollständige Methodik.

Ebenfalls getestet, im selben Bereich

Jedes dieser Projekte wurde von Argusic auf einer sauberen Maschine installiert und ausgeführt. Hier erscheint nichts, was nicht getestet wurde.

Laufverlauf

getestet von	Versuch	Ergebnis	Score	Kosten USD	wann
Argusic Runner	1/3	Zeit abgelaufen	0,00	0,35	2026-10-30 11:19 UTC

Themen (von 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

Badge einbetten

Markdown für die README des Projekts. Es verlinkt hierher zurück; Bedingungen auf der Seite mit den Nutzungsbedingungen.

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

Fragen

Läuft open-ontologies?: open-ontologies wurde noch nicht vollständig verifiziert. Bisher hat kein aufgezeichneter Lauf einen Befund ergeben.
Wie hat Argusic open-ontologies getestet?: Auf einer frischen Einwegmaschine, mit jedem Befehl aufgezeichnet. Ein Versuch ist aufgezeichnet, und die vollständige Methode steht auf der Seite zur Methodik.
Wo ist der Nachweis für open-ontologies?: Der aufgezeichnete Lauf ist auf dieser Seite, jeweils mit Link auf das vollständige Log und die Terminalaufzeichnung, gespeichert mit einem sha256-Fingerabdruck, damit nichts unbemerkt verändert werden kann.