Create a new dataset, if needed, otherwise returns the dataset already stored.
See the remark above for the graph value's type constraint: it is o.k. to use Quad_Subject
, because it
should never be a default graph.
Get a proof, or undefined
if it has not been stored yet
Set a proof
Get the proof entries (in no particular order)
Get the proof entries, following the order imposed by the previousProof
statements. First element is the one that has no previous proof defined. If there are no nodes with previous proof, an empty array is returned.
This is equivalent to the way proof chains are passed on as arguments when embedded chains are created.
A shell around a Map, which is indexed by the value of rdf Terms.
(At the moment, the map value is a structure, that also includes the original term; that may become unnecessary on long term.)