Eclipse RDF4J Size API

openapi: 3.0.3
info:
  title: RDF4J Server REST Contexts Size API
  description: REST API for the Eclipse RDF4J Server. Provides endpoints to list and manage RDF repositories, configure them, query and update their contents using SPARQL, manage namespaces, transactions, contexts and statements, and import/export RDF data in standard serialization formats. The Eclipse RDF4J Server is a Java server application that exposes this protocol over HTTP.
  version: '5.0'
  contact:
    name: Eclipse RDF4J
    url: https://rdf4j.org/
    email: rdf4j-dev@eclipse.org
  license:
    name: Eclipse Distribution License v1.0
    url: https://www.eclipse.org/org/documents/edl-v10.php
servers:
- url: http://localhost:8080/rdf4j-server
  description: Default local RDF4J Server installation
tags:
- name: Size
  description: Get the number of statements in a repository.
paths:
  /repositories/{repositoryID}/size:
    parameters:
    - $ref: '#/components/parameters/RepositoryID'
    get:
      tags:
      - Size
      summary: Get repository size
      description: Returns the number of (explicit) statements in the repository or context.
      operationId: getRepositorySize
      parameters:
      - name: context
        in: query
        schema:
          type: array
          items:
            type: string
      responses:
        '200':
          description: Statement count as plain text.
          content:
            text/plain:
              schema:
                type: integer
                format: int64
components:
  parameters:
    RepositoryID:
      name: repositoryID
      in: path
      required: true
      schema:
        type: string
      description: Identifier of the repository.
externalDocs:
  description: RDF4J Server REST API documentation
  url: https://rdf4j.org/documentation/reference/rest-api/