- rdf_db.pl -- Core RDF database
- rdf_cache.pl -- Cache RDF triples
- rdf_prefixes.pl -- RDF prefixes management
- rdfs.pl -- RDFS handling
- rdf11.pl -- RDF 1.1 API
- rdf_persistency.pl -- RDF persistency plugin
- rdf_litindex.pl -- Search literals
- rdf_ntriples.pl -- Process files in the RDF N-Triples format
- sparql_client.pl -- SPARQL client library
- turtle.pl -- Turtle: Terse RDF Triple Language
- rdf_turtle_write.pl -- Turtle - Terse RDF Triple Language writer
- rdf_http_plugin.pl -- RDF HTTP Plugin
- rdf_library.pl -- RDF Library Manager
- rdf_sandbox.pl -- Declare RDF API sandbox-safe
- rdf_zlib_plugin.pl -- RDF compressed-data plugin
- This directive defines the argument types of the named
predicates, which will force compile time namespace expansion
for these predicates. Heads is a coma-separated list of callable
terms. Defined argument properties are:
- Argument is a goal. The goal is processed using expand_goal/2, recursively applying goal transformation on the argument.
- The argument is instantiated at entry. Nothing is changed.
- The argument is not instantiated at entry. Nothing is changed.
- The argument is unbound or instantiated at entry. Nothing is changed.
- The argument is not changed.
- The argument must be a resource. If it is a term prefix:local it is translated.
- The argument is an object or resource. See rdf_global_object/2.
- The argument is a term that must be translated. Expansion will translate all occurences of prefix:local appearing anywhere in the term. See rdf_global_term/2.
As it is subject to term_expansion/2, the rdf_meta/1 declaration can only be used as a directive. The directive must be processed before the definition of the predicates as well as before compiling code that uses the rdf meta-predicates. The atom
rdf_metais declared as an operator exported from
library(semweb/rdf_db). Files using rdf_meta/1 must explicitely load this library.
Beginning with SWI-Prolog 7.3.17, the low-level RDF interface (rdf/3, rdf_assert/3, etc.) perform runtime expansion of
Prefix:Localterms. This eliminates the need for rdf_meta/1 for simple cases. However, runtime expansion comes at a significant overhead and having two representations for IRIs (a plain atom and a term
Prefix:Local) implies that simple operations such as comparison of IRIs no longer map to native Prolog operations such as
IRI1 == IRI2.