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
#shacl
Projetos open source sobre “shacl”
Repositórios do GitHub selecionados relacionados a shacl, com resumos de IA e métricas principais.
Ordenar:Adicionados recentemente
1 repositório