Hover or tap a kind to light everything it reaches · choose one to stand on it A column is a band, a line is a governed relationship, its weight the share of terms that complete it. A spine is how many roads the kind carries.

What the drawing means

AcrossOne band per column, left to right in the order the model declares.

DownThe kinds of that band, in the order its manifest states.

AboveThe view layer: a view owns nothing of its own; it reads the model below.

A spineHow many roads the kind carries — thicker means more of the model runs through it.

A roadOne governed relationship. Its weight is the share of the source kind's terms that complete it.

A faint roadUnder a third complete, so an unfinished region looks unfinished.

Dashed purpleA view composes from that kind; solid purple means it carries that kind's terms.

Not drawnA terminal relationship, and any typing or grounding — each is how a term is read, not somewhere a road goes, so neither is a route.

HoverLights a kind, every road touching it, and every kind on the far end.

ClickStands on it — the page opens and the map holds that node lit.

Foundations →

Dim to

Research · W3C

OWL 2 Web Ontology Language Primer

ontology language standard

Supports declaring one property as the named inverse of another so the reverse relationship is inferred for reading rather than asserted a second time.

Read OWL 2 Web Ontology Language Primer · retrieved 2026-09-22

What it informs — 3

enforcedThe reverse reading is named, not improvised
enforcedEvery term is about something in the world
enforcedThe model is written in the standards its foundations name

This source is what the model was built from. It does not itself commit the model to anything — a commitment does, and the ones it informs are named above.