Module Rdf_ds

module Rdf_ds: sig .. end

Datasets.

A dataset is composed of:

a default graph,
a set of named graphs,
a function to get a graph by its IRI.

exception Could_not_retrieve_graph of Rdf_uri.uri * string

This exception indicates that a graph could not be retrieved. It can be raised by functions retrieving graphs, in a Rdf_ds.dataset structure. The URI of the graph and an error message must be provided.

val could_not_retrieve_graph : Rdf_uri.uri -> string -> 'a

This function raises the Rdf_ds.Could_not_retrieve_graph exception.

type dataset = {

`default : Rdf_graph.graph;`	`(*`	The default graph.	`*)`
`named : Rdf_uri.Uriset.t;`	`(*`	The set of named graphs.	`*)`
`get_named : Rdf_uri.uri -> Rdf_graph.graph;`	`(*`	The function to get a graph by its name (URI). The function must raise `Rdf_ds.Could_not_retrieve_graph` in case of error.	`*)`

}

A dataset.

val simple_dataset : ?named:(Rdf_uri.uri * Rdf_graph.graph) list ->
       Rdf_graph.graph -> dataset

simple_dataset graph returns a dataset with graph as default graph.

val dataset : ?get_named:(Rdf_uri.uri -> Rdf_graph.graph) ->
       ?named:Rdf_uri.Uriset.t -> Rdf_graph.graph -> dataset

dataset graph returns a dataset with graph as default graph.