The general structure for a Proof using n3.Store specifically; it also has a perviousProof key. This subclass is used when key chains or sets are extracted from an embedded proof.

interface ProofStore {
    proofQuads: Store<Quad, Quad, Quad, Quad>;
    previousProof?: Quad_Subject;
    proofGraph: Quad_Graph;
    proofId?: Quad_Subject;
}

Hierarchy (view full)

Properties

proofQuads: Store<Quad, Quad, Quad, Quad>

The proof statements themselves, a set of triples (not quads)

previousProof?: Quad_Subject
proofGraph: Quad_Graph

A collection of statements for a proof is to be in its own graph, generally with a blank node.

Note that the type restriction for this term is Quad_Subject, which stands for a term or a blank node, which is more restrictive than a Quad_Graph, which may also have the value of a default graph. But proofs are always real graphs.

proofId?: Quad_Subject

The proof ID, which, in this implementation, is never a blank node, usually a UUID