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