Module `Rdf.Sparql`Source

Sparql queries.

Error handling

Sourcetype error =

| Parse_error of Loc.loc * string
| Value_error of Dt.error
| Eval_error of Sparql_eval.error
| Algebra_error of Sparql_algebra.error
| Not_select
| Not_ask
| Not_construct
| Not_describe
| Not_get
| Not_update
| Not_implemented of string

Sourceexception Error of error

Sourceval string_of_error : error -> string

Parsing and printing Sparql queries

Sourcetype query = Sparql_types.query

Sourceval query_from_string : string -> query

Sourceval query_from_file : string -> query

Sourceval string_of_query : query -> string

Executing queries

Solutions

Sourcetype solution

Sourceval get_term : solution -> string -> Term.term

get_term solution varname returns the Term.term bound to varname in the solution.

raises Not_found
if the variable is not bound.

Sourceval is_bound : solution -> string -> bool

is_bound solution varname returns whether the given variable name is bound in the solution.

Sourceval solution_fold : (string -> Term.term -> 'a -> 'a) -> solution -> 'a -> 'a

solution_fold f sol acc is f var1 term1 (f var2 term2 (...) acc), folding over the bindings of the solution.

Sourceval solution_iter : (string -> Term.term -> unit) -> solution -> unit

solution_iter f solution calls f on each pair (varname, term) of the solution.

Convenient functions to access solution bindings.

All these functions can raise Dt.Error exceptions in case the term bounded to the variable name is not compatible with the asked type.

The functions are just calls to Dt functions. For example, get_int retrieve the bounded term with get_term, then calls Dt.of_term to get a Dt.value, than calls Dt.int to retrieve an Int n value, then return n.

Sourceval get_string : solution -> string -> string

Sourceval get_iri : solution -> Iri.t -> string -> Iri.t

See comment of Dt.iri.

Sourceval get_int : solution -> string -> int

Sourceval get_float : solution -> string -> float

Sourceval get_bool : solution -> string -> bool

Sourceval get_datetime : solution -> string -> Term.datetime

Sourceval get_ltrl : solution -> string -> string * string option

Same as get_string but the associated language tag is kep, if any.

Querying

Sourcetype query_result =

| Bool of bool
| Solutions of solution list
| Graph of Graph.graph

Source

val execute : 
  ?graph:Graph.graph ->
  base:Iri.t ->
  Ds.dataset ->
  query ->
  query_result

execute ~base dataset q executes the sparql query q on dataset, using base as base iri. The form of the result depends on the kind of query:

Select queries return a Solution solutions
Ask queries return a Bool bool
Construct queries return Graph g.
Describe queries return a description graph.

For Construct and Describe queries, if a graph is provided, it is filled and the same graph is returned; else a new graph (in memory) is created, filled and returned. If the graph is created, it iri is the base iri provided.

Warning: Describe queries are not implemented yet.

raises Error
in case of error.

Sourceval execute_update : graph:Graph.graph -> query -> query_result

Convenient functions for querying

Sourceval select : base:Iri.t -> Ds.dataset -> query -> solution list

Execute the given SELECT query.

raises Not_select
is the query is not a SELECT.

Source

val construct : 
  ?graph:Graph.graph ->
  base:Iri.t ->
  Ds.dataset ->
  query ->
  Graph.graph

Execute the given CONSTRUCT query.

raises Not_construct
is the query is not a CONSTRUCT.

Sourceval ask : base:Iri.t -> Ds.dataset -> query -> bool

Execute the given ASK query.

raises Not_ask
is the query is not a ASK.

Source

val describe : 
  ?graph:Graph.graph ->
  base:Iri.t ->
  Ds.dataset ->
  query ->
  Graph.graph

Execute the given DESCRIBE query.

raises Not_describe
is the query is not a DESCRIBE.

Predefined functions

These are the functions named by an IRI, see details here.

Sourcetype iri_fun = Dt.value list -> Dt.value

A function takes a list of values and returns a value.

Sourceval iri_funs : unit -> iri_fun Iri.Map.t

Sourceval add_iri_fun : Iri.t -> iri_fun -> unit

Install

Dune Dependency

Authors

Maintainers

Sources

doc/rdf/Rdf/Sparql/index.html

Module `Rdf.Sparql`Source

Error handling

Parsing and printing Sparql queries

Executing queries

Solutions

Convenient functions to access solution bindings.

Querying

Convenient functions for querying

Predefined functions

package rdf

Install

Dune Dependency

Authors

Maintainers

Sources

doc/rdf/Rdf/Sparql/index.html

Module Rdf.SparqlSource

Error handling

Parsing and printing Sparql queries

Executing queries

Solutions

Convenient functions to access solution bindings.

Querying

Convenient functions for querying

Predefined functions

Module `Rdf.Sparql`Source