module Rdf_ds:sig
..end
A dataset is composed of:
exception Could_not_retrieve_graph of Rdf_uri.uri * string
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
Rdf_ds.Could_not_retrieve_graph
exception.type
dataset = {
|
default : |
(* |
The default graph.
| *) |
|
named : |
(* |
The set of named graphs.
| *) |
|
get_named : |
(* |
The function to get a graph by its name (URI).
The function must raise
Rdf_ds.Could_not_retrieve_graph in case of error. | *) |
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.