Documentation for Stardog, the RDF Database