fabio-rovai/open-ontologies
Plan, apply and roll back changes to a production ontology, with a blast radius report and a proof an auditor can re-check.
Build with Backblaze B2
SDKs, agent skills, IDE extensions, and reference pipelines from Backblaze Labs. All open source.
Loading star history...
Where it stands
Rank, growth pace and release cadence relative to everything GStars tracks.
5 releases in the last 90 days, the latest 6 days ago, with 10 contributors on GitHub.
Use Cases & Benefits
- Plan, apply, and roll back changes to production ontologies while generating verifiable proofs for auditors.
- Provides a formal, trustless certificate that any third party can independently verify without needing the original software or network.
- Use for safely managing ontology updates in production environments with clear impact analysis and rollback capabilities.
- Use for auditing and compliance workflows requiring independently checkable proofs of ontology reasoning and validation.
- Use for integrating ontology reasoning and validation into automated CI/CD pipelines with formal verification guarantees.
Should you depend on it?
License terms, project hygiene and risks, from GitHub metadata and GStars' snapshots.
License
MIT
Permissive: commercial use, modification and redistribution are allowed with attribution.
Community files
- README: present
- Contributing guide: present
Watch-outs
No watch-outs from GStars' checks.
General guidance from repository metadata, not legal advice. How we score
From the README
Plan a change to a production ontology. See every consequence before you apply it.
Then give the reviewer a proof that they can check without trust in you.
Open Ontologies is written in Rust. It ships as one binary.
Put in one spreadsheet. Get one ontology, with the evidence for each line. Then change one cell, and see the shape find the error. The page runs the released binary.
The engine is MIT, and it stays MIT. The platform is the hosted version of the engine.
426 asserted, 259 certified, 1 rejected. The engine derived the green edges. A Lean 4 checker then proved them. One certificate holds all 259, and one run of the checker accepts it. The red edge is a forged line. The same checker refused that line, gave exit 1, and named the rule. The run supplies each count. Nobody writes a count into the caption.
Daily snapshots
Stars gained per day, and how forks and open issues moved, from GStars' daily snapshots
+1,232 stars over 23 days across 7 snapshot days; best day +57 on Oct 8.
Forks
248+135
Open issues
5-15
Compared with peers in Infrastructure
Fastest-growing repositories GStars tracks in this cohort for the week of Nov 1, by 7-day star growth
| Repository | Stars | +7d | Health | Last release |
|---|---|---|---|---|
| aquasecurity/trivy | 39.0K | +204 | 45 | today |
| backstage/backstage | 34.7K | — | 65 | 4 days ago |
| kestra-io/kestra | 30.1K | — | 65 | 3 days ago |
| PrefectHQ/prefect | 24.1K | — | 45 | today |
| aws/aws-cdk | 13.0K | — | 64 | 10 days ago |
| fabio-rovai/open-ontologies | 2.1K | — | 60 | 6 days ago |
| Category median | 30.1K | — | 64 | — |
Discover Repositories
Search across tracked repositories by name or description