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
1 alternative
Looking for a free, open-source alternative to Protégé? These 1 projects can replace it. Each one passed our quality screening and is explained in plain words, so you can compare stars, license and maintenance at a glance.
| Project | Stars | License | Last commit |
|---|---|---|---|
| fabio-rovai/open-ontologies | ★ 1.2K | MIT | 4 days ago |
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.