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 4 days ago
#sparql
Open-source projects tagged “sparql”
Curated GitHub repositories related to sparql, with AI summaries and key stats.