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