package rdf_lwt

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Bindings

package rdf_lwt

rdf_lwt
- Rdf_4s_lwt
- Rdf_sparql_http_lwt

Legend:
Library
Module
Module type
Parameter
Class
Class type

Rdf 4Store - This Module implement the http binding of 4Store

Bindings

The following get and post are using Rdf_sparql_http_lwt get en post. graph_uri is the uri of the graph where the query is going to be executed. graph_uri if is equal to uri it is executed on the default graph

val get : 
  ?graph:Rdf.Graph.graph ->
  base:Iri.t ->
  ?accept:string ->
  Uri.t ->
  Rdf.Sparql_protocol.in_message ->
  Rdf_sparql_http_lwt.result

get url msg url including "/sparql/" This method allows: select/ask/describe queries.

val post_update : 
  ?graph:Rdf.Graph.graph ->
  base:Iri.t ->
  ?accept:string ->
  Uri.t ->
  Rdf.Sparql_protocol.in_message ->
  Rdf_sparql_http_lwt.result

post_update url msg url including "/update/" This method allows: update/insert/delete queries.

val delete : Uri.t -> Uri.t -> Rdf_sparql_http_lwt.result

delete url graph_uri url including "/data/" This method removes the entire graph_uri.

val put : Uri.t -> string -> string -> Uri.t -> Rdf_sparql_http_lwt.result

put url content content_type graph_uri url including "/data/" This method allows to replace initial data from graph_uri by content. Refer to the 4Store documentation to know authorized content_type.

val post_append : 
  Uri.t ->
  string ->
  string ->
  Uri.t ->
  Rdf_sparql_http_lwt.result

post_append url content content_type graph_uri url including "/data/" This method allow to append content into graph_uri. Refer to the 4Store documentation to know authorized content_type.