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
1 alternativa
¿Buscas una alternativa gratuita y open source a Protégé? Estos 1 proyectos pueden reemplazarlo. Cada uno pasó nuestro filtro de calidad y está explicado con palabras sencillas, para comparar estrellas, licencia y mantenimiento de un vistazo.
| Proyecto | Estrellas | Licencia | Último commit |
|---|---|---|---|
| fabio-rovai/open-ontologies | ★ 1,2 mil | MIT | hace 4 días |
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.