01 · Structure
Formal while you draw
Types, aspects, and facts are first-class. The canvas keeps olog structure intact as you revise—so the diagram stays a model, not a sketch that drifts.
Web editor for ontology logs
Structure reveals truth.
The visual olog editor that stays category-correct. Build types, aspects, and facts on a researcher-grade canvas—faster than TikZ or generic diagramming, without OWL ceremony.
For category theory and applied-ontology researchers who need real ologs for papers, teaching, and lab work.
- Primitives
- Type · Aspect · Fact
- Posture
- Formal at heart
- Stage
- Research MVP
Vehicle Olog
24 types · 37 aspects · 112 facts
✓Olog is valid
TypesAspectsFacts
TypeAspectFact
Type
a person
Type
a car
Type
a thing
Fact
ownership paths commute under shared identity
- 1Create
- 2Connect
- 3Validate
- 4Share
Not another ontology IDE. Not freeform boxes. An olog canvas for researchers.
Type → Type · Aspect → Fact
Why Olog editor
The olog canvas researchers actually want to use.
Ologs are category-theoretic knowledge models. Most tools either let structure drift into pretty graphs, or bury you in multi-logic platforms and OWL stacks. We optimize the everyday loop: draw, revise, keep it valid, share.
02 · Speed
Faster than TikZ for iteration
Explore and revise on a modern web canvas. Save the high-friction typesetting loop for final figures—not every conceptual draft.
03 · Focus
Olog-first, not multi-logic sprawl
Built for the everyday authoring loop researchers actually need: construct, inspect, and share ologs without platform ceremony.
04 · Research fit
Artifacts for papers and teaching
Designed so a completed olog can move into talks, courses, and lab discussion. Shareable scholarly output is an MVP priority.
Workflow
From blank canvas to a real olog.
Activation goal: complete one olog you would reuse in a paper, talk, or course—types, aspects, and facts intact.
Try the canvas- 01
Create types
Name the ontological boxes your domain needs—people, processes, measurements, claims.
- 02
Connect aspects
Draw functional relationships as aspects. Structure stays explicit as the graph grows.
- 03
State facts
Record path equivalences and constraints so the model carries real knowledge, not only layout.
- 04
Share the olog
Hand a living model to collaborators, students, or your future self—ready for paper, talk, or course.
How we fit
Choose the right tool for the job.
We name neighbors fairly. Olog editor wins when your deliverable is an olog—not when you need OWL reasoners, multi-logic platforms, or pure commutative-diagram figures.
AlternativeWhen it winsOlog editor frame
Alternative
Generic diagramming
When it wins
Any graph, fast stencils, slides and whiteboards
Olog editor frame
Olog editor preserves types, aspects, and facts—not freeform boxes that drift from the model.
Alternative
OWL / Protégé stacks
When it wins
Description-logic ontologies, reasoners, enterprise KR
Olog editor frame
Categorical ologs, not another OWL IDE. Different tradition, lighter authoring loop.
Alternative
Multi-logic platforms
When it wins
Many formalisms in one collaborative environment
Olog editor frame
Olog-first canvas for habitual authoring and teaching—not a multi-logic workbench.
Alternative
TikZ / paper
When it wins
Publication-quality final figures and exploratory sketches
Olog editor frame
Speed for revision while you think; complement the paper toolchain instead of replacing it.
Built for
Researchers who already think in ologs—or want to publish with them.
Primary wedge: academic category theory and applied ontology. Not horizontal “AI ontology for business.” Formal correctness over decorative diagrams.
- Faculty formalizing domain knowledge with ologs
- Postdocs and advanced grad students publishing or teaching categorical KR
- Labs that already think in types, aspects, and facts
- Instructors who need a zero-setup web canvas for real student ologs
Early access
Make ologs a practical everyday medium.
We’re shipping a usable canvas first—personal freemium for individual researchers, with lab and team workflows to follow. Join as a design partner if your lab already works in ologs.
Open Olog editor
No multi-logic sprawl. Just the olog loop.