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