open-ontologies

An engineering and verification platform for trustworthy enterprise ontologies and knowledge graphs.

★ 53372 forksRustMITfabio-rovai

Rust single-binary MCP server and CLI for building, changing, querying and reasoning over RDF/OWL knowledge graphs. It adds a native SHIQ reasoner, SHACL and SPARQL, plus proof-carrying inference checked by a separate Lean 4 verifier.

Use Cases

Build and validate enterprise ontologiesReason over OWL/RDFS with verifiable derivation certificatesSHACL validation against the W3C suiteSPARQL querying of knowledge graphsRetrieve entailment-preserving slices for RAGManage ontology lifecycle with plan/apply/rollbackLoad CSV/JSON/XML/XLSX/Parquet/DB data into RDFExport to TPTP/CLIF/SMT-LIB/SMT proversDrive ontology work from Claude or Cursor via MCPAssure clinical and DCAT-conformant graph data

Built With

Language: Rust
Frameworks: rmcp · axum · tokio · oxigraph · rusqlite · reqwest · serde · clap · rayon · parquet · Lean 4 · Isabelle/HOL · DuckDB · PostgreSQL · Docker

open-ontologies

Use Cases

Built With

Tags