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.
- ai-native
- description-logics
- knowledge-graph
- mcp
- mcp-server
- ontology
- owl
- owl2
- reasoning
- rust
- shacl
- sparql
- isabelle-language
- lean
- lean4
- Stars
- 676
- Forks
- 88
- + today
- +1
- Created
- 7mo
Ranking data as of October 5, 2026 (UTC).
Star History
Today, hour by hour
01
Overview
Plan, apply and roll back changes to a production ontology, with a blast radius report and a proof an auditor can re-check. It ranks #1634 on GitTiger, gaining +1 star on October 5, 2026 (UTC).
The project is written in Rust and has 88 forks. It was created 7mo ago.
Installation
git clone https://github.com/fabio-rovai/open-ontologies.git
cd open-ontologies
# see README for setup