package rdf

  1. Overview
  2. Docs

RDF Sparql protocol.

http://www.w3.org/TR/rdf-sparql-protocol/

type in_dataset = {
  1. inds_default : Iri.t option;
  2. inds_named : Iri.t list;
}
val empty_dataset : in_dataset
type in_message = {
  1. in_query : string;
  2. in_dataset : in_dataset;
}
type error =
  1. | Malformed_query of string
  2. | Query_request_refused of string
  3. | Error_other of string
type out_message =
  1. | Ok
    (*

    This is for queries not returning results; by now the Sparql protocol does not specify such queries, but it can be useful for example for 4store, which allows to post updates.

    *)
  2. | Result of Sparql.query_result
  3. | Error of error
val string_of_error : error -> string