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 3 días
#sparql
Proyectos open source sobre «sparql»
Repositorios de GitHub seleccionados relacionados con sparql, con resúmenes de IA y métricas clave.
Ordenar:Añadidos recientemente
1 repositorio