package rdf

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

type options = (string * string) list

val get_option : ?def:string -> string -> options -> string

module type Storage = sig ... end

exception Storage_error of string * string * exn

module type Graph = sig ... end

module Make (S : Storage) : sig ... end

val add_storage : (module Storage) -> unit

type graph = {

name : unit -> Rdf_uri.uri;
add_triple : sub:Rdf_node.node -> pred:Rdf_node.node -> obj:Rdf_node.node -> unit;
rem_triple : sub:Rdf_node.node -> pred:Rdf_node.node -> obj:Rdf_node.node -> unit;
add_triple_t : (Rdf_node.node * Rdf_node.node * Rdf_node.node) -> unit;
rem_triple_t : (Rdf_node.node * Rdf_node.node * Rdf_node.node) -> unit;
subjects_of : pred:Rdf_node.node -> obj:Rdf_node.node -> Rdf_node.node list;
predicates_of : sub:Rdf_node.node -> obj:Rdf_node.node -> Rdf_node.node list;
objects_of : sub:Rdf_node.node -> pred:Rdf_node.node -> Rdf_node.node list;
find : ?sub:Rdf_node.node -> ?pred:Rdf_node.node -> ?obj:Rdf_node.node -> unit -> Rdf_node.triple list;
exists : ?sub:Rdf_node.node -> ?pred:Rdf_node.node -> ?obj:Rdf_node.node -> unit -> bool;
exists_t : Rdf_node.triple -> bool;
subjects : unit -> Rdf_node.node list;
predicates : unit -> Rdf_node.node list;
objects : unit -> Rdf_node.node list;
transaction_start : unit -> unit;
transaction_commit : unit -> unit;
transaction_rollback : unit -> unit;
new_blank_id : unit -> Rdf_node.blank_id;
namespaces : unit -> (Rdf_uri.uri * string) list;

}

val open_graph : ?options:(string * string) list -> Rdf_uri.uri -> graph

val merge : graph -> graph -> unit