Motor en Rust para planificar, aplicar y certificar cambios en ontologías OWL/RDF, con informes del alcance del impacto y pruebas verificables en Lean 4 sobre las conclusiones derivadas.
1,2 mil161RustMITActualizado hace 4 días
#shacl
Proyectos open source sobre «shacl»
Repositorios de GitHub seleccionados relacionados con shacl, con resúmenes de IA y métricas clave.
Ordenar:Añadidos recientemente
1 repositorio