One-line ontology edit hides 901 consequences — Open Ontologies surfaces them in 0.04s
thisguyknowsai · x · 2026-10-28
- A developer changed a single ontology rule — "anything with a parent is a Person" — and a normal diff reported zero classes added or removed, low risk. Open Ontologies derived all 901 new logical consequences in 0.04 seconds.
- Open Ontologies (Rust, single binary, MIT licensed) is like Terraform for knowledge graphs:
- Plan changes before production, with blast radius and risk score per edit
- Watch for drift after applying, roll back on breakage
- Loads CSV, JSON, Excel, Parquet, PostgreSQL, DuckDB
- Verifies whether RAG retrieval still supports an answer
- Runs inside Claude Code, Claude Desktop, and Cursor
- Its proof-carrying inference demo shows 1,683 triples: 426 asserted, 259 certified by provers (Lean 4, Isabelle/HOL, Vampire), 1 rejected.
More from coding & agent
- Ferryman cross-posts from one platform to 15+ others, priced $30-$100/month — KevinNaughtonJr · 2026-10-28
- Tested 23 browser agents' fingerprints: only Manus signs requests, ChatGPT no longer does — Latter-Mix2317 · 2026-10-28
- Reproducible perf benchmarks made easy with the hf CLI skill and HF Jobs — victormustar · 2026-10-28
- Vibe coding from a phone: PWA remote control proves good enough before native iOS app — jiayuan_jy · 2026-10-28
- Keeping CLAUDE.md rules in sync across a 10+ dev team: Reddit devs grapple with prompt drift — MangoTree-1233 · 2026-10-28
- LangChain lays out the 5 components of a "company harness" for internal agents — hwchase17 · 2026-10-28