A Rust engine for planning, applying and certifying changes to OWL/RDF ontologies, with blast-radius reports and checkable Lean 4 proofs of derived conclusions.
1.2K161RustMITUpdated 3 days ago
#shacl
Open-source projects tagged “shacl”
Curated GitHub repositories related to shacl, with AI summaries and key stats.