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.

Rust996 stars133 forksMIT

ai-native description-logics formal-verification infrastructure-as-code isabelle-language knowledge-graph lean lean4 mcp mcp-server ontology owl owl2 reasoning rust shacl sparql theorem-proving

Momentum

fabio-rovai/open-ontologies has 996 GitHub stars.

It currently ranks #40063 daily, #40169 weekly, #41015 monthly by momentum on Trending Repos; its best-ever rank is #39779.

Trending Repos first recorded it on Jul 10, 2026.

Rankings

PeriodRankScore

Daily

#400630.0

Weekly

#401690.0

Monthly

#410150.0

How scoring works

Engagement

Total stars

Daily new stars

Embeds

Best rank #39779

Format

Markdown

[![fabio-rovai/open-ontologies badge](https://trending-repos.com/badge/fabio-rovai/open-ontologies.svg?v=3)](https://trending-repos.com/repositories/fabio-rovai/open-ontologies?utm_source=github&utm_medium=badge)

fabio-rovai/open-ontologies

Momentum

Rankings

Engagement

Similar trending repositories

Embeds

fabio-rovai/open-ontologies

Momentum

Rankings

Engagement

Similar trending repositories

Embeds