Simple7up/IOM
IOM (Realidad I.O) IOM es un marco formal para construir y verificar unidades informativas autocontenidas mediante cinco perspectivas, trece tríadas y relaciones de transformación (mirrorOf / creates). La unidad informativa es la mínima estructura autocontenida capaz de conservar una distinción, relacionarla con su opuesto, integrarla en un sistema y transformarse sin perder la trazabilidad de su identidad. La especificación canónica (data/iom_spec.json) se verifica con Lean 4… See the full description on the dataset page: https://huggingface.co/datasets/Simple7up/IOM.
| Author / organization | Simple7up |
|---|---|
| License (as declared) | mit |
| Downloads | 158 (as reported by Hugging Face) |
| Likes | 0 |
| Created | 25 October 2026 |
| Last updated at source | 26 October 2026 |
Popularity, last 2 days
158 now (+158 since 2026-10-25). Counts as reported by the source, snapshotted daily by Silytics.
Recent changes
- 25 Oct 2026 Description: IOM (Realidad I.O) IOM es un marco que conecta conceptos humanísticos con estructuras formales y computacionales. Combina pruebas en Lean 4 con una representación semántica en RDF/OWL, validada mediante SHACL. Contenido Lean 4: formalizació → IOM (Realidad I.O) IOM es un marco formal para construir y verificar unidades informativas autocontenidas mediante cinco perspectivas, trece tríadas y relaciones de transformación (mirrorOf / creates). La unidad informativa es la mínima est
- 25 Oct 2026 Description: Experimentos opcionales (diagnóstico / encuentro) No forman parte del núcleo autónomo ni del CI bloqueante. Script Rol Salida pi_hgat_t.py Diagnóstico circular (recupera reglas embebidas) experiments/results/ baselines.py Baselines sin graf → IOM (Realidad I.O) IOM es un marco que conecta conceptos humanísticos con estructuras formales y computacionales. Combina pruebas en Lean 4 con una representación semántica en RDF/OWL, validada mediante SHACL. Contenido Lean 4: formalizació
- 25 Oct 2026 Topics added lean4, formal-verification, rdf, owl, shacl, ontology, knowledge-graph, philosophy
- 25 Oct 2026 License: none → mit
- 25 Oct 2026 License: mit → none
- 25 Oct 2026 Description: none → Experimentos opcionales (diagnóstico / encuentro) No forman parte del núcleo autónomo ni del CI bloqueante. Script Rol Salida pi_hgat_t.py Diagnóstico circular (recupera reglas embebidas) experiments/results/ baselines.py Baselines sin graf
- 25 Oct 2026 License: none → mit
- 25 Oct 2026 Description: none → Ingesta guiada de dominios externos Esta carpeta permite a investigadores de otras disciplinas alinear conceptos nuevos a la ontología canónica de 78 nodos sin modificar data/iom_spec.json, Lean, RDF/OWL ni SHACL. Estructura datasets/ingest
Changes detected by Silytics between refreshes of the source.
More from Simple7up
Silytics shows public metadata from Hugging Face and links to the original. Information may be incomplete or out of date. Last refreshed 26 October 2026. Licenses and terms of the original apply to the work itself. Not financial, legal or professional advice.