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