- space_load_url(+URL) is det
- Retrieve RDF over HTTP from a URL, load it in the rdf_db and
index all URI-Shape pairs that can be found in it into the
default index.
- space_load_url(+URL, +Options) is det
- Load using space_load_url/1, given extra options.
- index(+IndexName)
- Index the URI-Shape pairs into index named IndexName.
- graph(+Graph)
- Store the URI-Shape pairs in the named graph Graph.
The pairs are recorded as
uri_shape(URI,Shape,Graph)
.
- space_unload_url(+URL) is det
- Unload the RDF that was fetched from URL and remove all
URI-Shape pairs that are contained in it from the default index.
- space_unload_url(+URL, +Options) is det
- Unload the RDF that was fetched from URL and remove all
URI-Shape pairs that are contained in it. Accepts extra options:
- index(+IndexName)
- Remove from the index named IndexName.
- graph(+Graph)
- Remove the URI-Shape pairs from the named graph Graph.
- space_crawl_url(+URL) is det
- Retrieve RDF over HTTP from a URL, load it in the rdf_db and
index all URI-Shape pairs that can be found in it into the
default index.
Also attempt to resolve all URIs that appear as object in a
link_property statement downloaded from the URL. Retrieve
these URIs and process them in the same way. Iterate this
process until there are no new links that have not already
been crawled.
- space_crawl_url(+URL, +Options) is det
- Crawl using space_crawl_url/1, with additional options.
- index(+IndexName)
- Index the URI-Shape pairs into index named IndexName.
- graph(+Graph)
- Store the URI-Shape pairs in the named graph Graph.
The pairs are recorded as
uri_shape(URI,Shape,Graph)
.
- space_uncrawl_url(+URL) is det
- Unload the RDF that was fetched from URL and remove all
URI-Shape pairs that are contained in it from the default index.
Also unload all data that were crawled by iteratively resolving
the URIs linked to with a link_property.
- space_uncrawl_url(+URL, +IndexName) is det
- Unload using space_uncrawl_url/1, but remove the URI-Shape pairs
from the index named IndexName.
- index(+IndexName)
- Remove the URI-Shape pairs from index named IndexName.
- graph(+Graph)
- Remove the URI-Shape pairs from the named graph Graph.