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