Rust-движок для планирования, применения и сертификации изменений OWL/RDF-онтологий с отчётами о радиусе воздействия и проверяемыми доказательствами выводов в Lean 4.
1,2 тыс.161RustMITОбновлён 4 дня назад
#shacl
Open source проекты по теме «shacl»
Отобранные репозитории GitHub по теме shacl с описаниями от ИИ и ключевыми метриками.
Сортировка:Недавно добавленные
1 репозиторий