Module ontology 

The vt: runtime ontology module and its SHACL shapes.

The module itself is vertep-rdf/ontology/vt-runtime.ttl (next to the chart module); the shapes ship with this crate. validate checks any runtime record (a journal entry as read back from a store, a snapshot, a timer, a dead letter, a mailbox row, a current-state graph) against them. The runtime’s own queries use only vt: terms; rdfs_closure exists for tests and tools that want to see the PROV-O view an RDFS-aware store would answer.

Constants

RUNTIME_ONTOLOGY_TTL

The runtime module of the vt: ontology, in Turtle. The runtime module of the vt: ontology: actors, journal entries, snapshots, timers, mailboxes and migrations.

RUNTIME_SHAPES_TTL

The SHACL shapes of the runtime module, in Turtle.

Functions

rdfs_closure

data closed under the RDFS subclass and subproperty rules (rdfs5, rdfs7, rdfs9, rdfs11) of ontology: what an RDFS-aware store infers. The runtime never needs this.

runtime_ontology

The runtime ontology module as a graph: classes for actors (virtual, invoked, stateless worker), addresses, mailboxes, activations, journal entries, macrosteps, snapshots, timers, migrations and dead letters, aligned with PROV-O by subclass and subproperty statements.

runtime_shapes

The compiled runtime shapes.

validate

Validates runtime records against the runtime shapes.

validate_entry

Validates one journal entry, as read back from a journal store.