Build And Validate Enterprise Ontologies

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.

MCP | Rust · ontology · knowledge-graph