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