:- use_module(library(semweb/rdf11)). [det]rdf_assert(+S, 
+P, +O)
[det]rdf_assert(+S, 
+P, +O)
If a type is provided using Value^^Type 
syntax, additional conversions are performed. All types accept either an 
atom or Prolog string holding a valid RDF lexical value for the type and 
xsd:float and xsd:double accept a Prolog integer.
:- use_module(library(semweb/rdf_db)). [det]rdf_assert(+Subject, 
+Predicate, +Object, +Graph)
[det]rdf_assert(+Subject, 
+Predicate, +Object, +Graph)| Graph | is either the name of a graph (an atom) or a term Graph:Line, where Line is an integer that denotes a line number. |