Um mecanismo em Rust para planejar, aplicar e certificar alterações em ontologias OWL/RDF, com relatórios de raio de impacto e provas verificáveis de conclusões derivadas em Lean 4.
1,2 mil161RustMITAtualizado há 3 dias
1 alternativa
Procurando uma alternativa gratuita e open source ao Protégé? Estes 1 projetos podem substituí-lo. Cada um passou pelo nosso filtro de qualidade e é explicado em palavras simples, para comparar estrelas, licença e manutenção de relance.
| Projeto | Estrelas | Licença | Último commit |
|---|---|---|---|
| fabio-rovai/open-ontologies | ★ 1,2 mil | MIT | há 3 dias |
Um mecanismo em Rust para planejar, aplicar e certificar alterações em ontologias OWL/RDF, com relatórios de raio de impacto e provas verificáveis de conclusões derivadas em Lean 4.