fabio-rovai/open-ontologies
CLI tool
Can I trust it?
No red flags in our checks.
Stars from real accounts No data
We haven't checked its stars for fakes yet.
Active OK
Last change today.
Licence OK
MIT: you can use it for free, also in a commercial product. Keep the licence notice.
Quick checks from public data. They help, but they are no guarantee.
What it is
A Rust command-line engine that plans changes to an ontology before they are applied, reporting added and removed classes, blast radius, and new consequences derived by reasoning. It can write a derivation certificate that a separate checker re-verifies without the engine, and…
Who it's for
Engineers and ontology maintainers who manage production OWL ontologies and need to review changes and audit reasoning results
How to use it
Ask your AI to set it up
Paste this into Claude, ChatGPT or your coding assistant.
Help me install and set up fabio-rovai/open-ontologies in my project. Follow its README: https://github.com/fabio-rovai/open-ontologies. Explain each step and check it is safe before running anything.
Star curve
Alternatives
Similar projects named in its profile. Each link searches the directory.
Get alerts for repos like this
We'll email you when something in Models & inference starts rising. Free, once a week, only what matches.
22,782 GitHub repos watched and ranked every hour. Figures as of 30 October 2026.
What arrives: one email on Mondays with the repos that match, never more. See last week's. Privacy
For maintainers
Add this badge to your README. It shows the repo's place on the radar, updates every hour and links back to this page.
[](https://repoalerts.com/repo/fabio-rovai/open-ontologies?ref=badge)Similar repos
- NVIDIA/auto-ontology
A Python framework and library that builds a semantic, graph-based context layer over enterprise metadata. It reconciles metric and entity definitions across systems, validates generated queries again
- openmathmodel/open-math-harness
Open-source Rust runtime for Open Math OS, with a capability-based microkernel, agents on open models, parallel proof search and proofs checked by Lean. Agents propose, and mathematicians decide. Some
- tunr-dev/tunr
A Go-based connector and relay that lets AI agents query customers' on-prem databases through read-only, time-limited, customer-approved grants with audit logging. It also offers tunnels, app deployme
- siglake/siglake
Open-source log and trace analytics that collects OpenTelemetry data, stores it as Parquet in Apache Iceberg tables on object storage, and allows querying with SQL. Built in Rust on DataFusion, with s
- Graphicle-AI/graphicle
Rust command-line tool and MCP server that builds a code graph of a repository with tree-sitter, stores project docs, reviewed decisions and past agent sessions in one local SQLite file, and returns c
- Cygnux-Labs/Tracekit
Tamper-evident tracing and policy gating for AI agents. It checks each tool and model call before it runs, signs calls and decisions into a hash chain, and writes one verifiable file per run that can