order-theoretic ontology
build ontologies as posets and see where they leak
Ontology Graph
6 entities, 5 relations, 1 meta-relations
mode: soft poset | layout: layered
envelops
grounds
depends on
causes
contrasts
is about
visible edges: 5closure overlays: 0reduction removed: 0
Tip: closure overlay edges are dashed and reduction keeps only essential envelop arrows.
Selection
No active selection.
Rule Checks
No envelop self-loopsok
Acyclic envelop graphok
Antisymmetryok
Single-parent nestingok
Poset Diagnostics
Envelop relations: 3
Multi-parent nodes: 0
Cycle detected: no
Antisymmetry violations: 0
Repair Panel
No repair needed.
Snapshot Diff
Current → Current
Nodes +0 / -0 / ~0
Relations +0 / -0 / ~0
Meta +0 / -0 / ~0
Env delta: +0
Multi-parent delta: +0
Antisym delta: +0
Cycle changed: no
Envelope Tightness
Meta-relations
Order-Theoretic Ontology
The playground treats the relation as an "envelops" claim and checks whether your ontology still behaves like a partial order. Structural leaks appear as cycles, multi-parent chains, and antisymmetry violations.
We compute transitive closure over "envelops" edges and inspect it for contradictory pairs where two distinct entities reach each other.
Leak Metrics
For each envelope , a local tightness score compares internal relations to boundary crossings.
Low tightness means the proposed envelope leaks heavily into the outside graph. Meta-relations then let you represent second-order claims like "this relation contradicts that relation".
Workflow Upgrades
- Use strict/soft/free ontology modes depending on whether edits should be blocked.
- Toggle closure and reduction to inspect implied versus essential envelop structure.
- Apply repair suggestions to remove minimal contradictions.
- Save named snapshots and compare structural diffs across revisions.
- Switch layout mode between layered and force-directed graph views.