eyereasoner/eye

An explainable inference software supporting annotated, real valued, graph based and temporal logic

The Incredible Proof Machine

Browser-based RDF/ontology knowledge graph editor — load RDF from files, URLs or SPARQL endpoints; author nodes and edges on the canvas; run OWL-RL reasoning; apply multi-algorithm layout and clustering. AI-native via MCP tool surface and relay bridge. Fully client-side, no backend required.

Tree Proof Generator

Browser-based ontology workbench for OWL ontologies and SKOS vocabularies. Streamlit + rdflib, no Java, no Protégé. OWL-RL reasoning, 22 SKOS validation checks, read-only SPARQL console, bulk operations, gist upper-ontology starters, merge-aware imports, interactive vis-network graph.

Free, open-source web app for learning about ontologies and Microsoft Fabric IQ. Explore a catalogue of pre-built ontologies, design your own visually, export as RDF/XML, and share interactive diagrams. Zero backend, fully static.

Graph+Semantics: Import/Export RDF from Neo4j. SHACL Validation, Model mapping and more.... If you like it, please ★ ⇧

Sparnatural : visual knowledge graph explorer with SPARQL, in the browser, configurable with SHACL