Module Rdf_ds

module Rdf_ds: sig .. end
Datasets.

A dataset is composed of:



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.