RDF4J REST API: download the OpenAPI specification.