json-schemata/ontology/prover_output.yml

9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa---
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksahttp_interactions:
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa- request:
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa    method: get
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa    uri: https://raw.githubusercontent.com/ontohub/ontohub-api-json/develop/prover_output.json
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa    body:
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa      encoding: US-ASCII
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa      string: ''
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa    headers:
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa      Accept-Encoding:
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa      - gzip;q=1.0,deflate;q=0.6,identity;q=0.3
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa      Accept:
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa      - "*/*"
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa      User-Agent:
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa      - Ruby
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa  response:
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa    status:
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa      code: 200
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa      message: OK
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa    headers:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      Content-Security-Policy:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      - default-src 'none'
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      X-Xss-Protection:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      - 1; mode=block
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      X-Frame-Options:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      - deny
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      X-Content-Type-Options:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      - nosniff
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa      Strict-Transport-Security:
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa      - max-age=31536000
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      Etag:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      - '"ac064a261ccafb6c0e83455a8b09c2a85e606942"'
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      Content-Type:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      - text/plain; charset=utf-8
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      Cache-Control:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      - max-age=300
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      X-Github-Request-Id:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      - B91F1221:377A:2FD826:56964E91
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      Content-Length:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      - '369'
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa      Accept-Ranges:
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa      - bytes
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      Date:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      - Wed, 13 Jan 2016 13:18:09 GMT
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      Via:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      - 1.1 varnish
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      Connection:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      - keep-alive
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      X-Served-By:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      - cache-lcy1134-LCY
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      X-Cache:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      - MISS
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      X-Cache-Hits:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      - '0'
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      Vary:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      - Authorization,Accept-Encoding
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      Access-Control-Allow-Origin:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      - "*"
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      X-Fastly-Request-Id:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      - 9f10bdc1bd75866fdca9da71cd8f31a38848df37
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      Expires:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      - Wed, 13 Jan 2016 13:23:09 GMT
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      Source-Age:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      - '0'
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa    body:
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa      encoding: UTF-8
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa      string: |
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa        {
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa          "id": "https://raw.githubusercontent.com/ontohub/ontohub-api-json/develop/prover_output.json#",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa          "$schema": "http://json-schema.org/draft-04/schema#",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa          "title": "Prover Output",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa          "description": "The prover output for a specific proof attempt",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa          "type": "object",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa          "oneOf": [
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa            {
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa              "properties": {
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                "iri": { "$ref": "generic/definitions.json#/definitions/iri" },
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                "prover": {
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                  "description": "The name of the prover",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                  "type": "string"
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                },
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                "content": {
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                  "description": "The actual prover output",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                  "type": "string"
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                },
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                "proof_attempt": { "$ref": "references.json#/definitions/proof_attempt" }
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa              },
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa              "required": [
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                "iri",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                "prover",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                "content",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                "proof_attempt"
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa              ]
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa            },
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa            {
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa              "properties": {
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                "iri": { "$ref": "generic/definitions.json#/definitions/iri" },
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                "prover": {
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                  "description": "The name of the prover",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                  "type": "string"
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                },
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                "content": {
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                  "description": "The actual prover output",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                  "type": "string"
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                },
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                "_links": { "$ref": "generic/definitions.json#/definitions/_links" }
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa              },
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa              "required": [
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                "iri",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                "prover",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                "content",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                "_links"
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa              ]
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa            }
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa          ]
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa        }
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa    http_version:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa  recorded_at: Wed, 13 Jan 2016 13:18:09 GMT
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa- request:
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa    method: get
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa    uri: https://raw.githubusercontent.com/ontohub/ontohub-api-json/develop/generic/definitions.json
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa    body:
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa      encoding: US-ASCII
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa      string: ''
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa    headers:
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa      Accept-Encoding:
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa      - gzip;q=1.0,deflate;q=0.6,identity;q=0.3
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa      Accept:
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa      - "*/*"
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa      User-Agent:
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa      - Ruby
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa  response:
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa    status:
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa      code: 200
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa      message: OK
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa    headers:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      Content-Security-Policy:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      - default-src 'none'
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      X-Xss-Protection:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      - 1; mode=block
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      X-Frame-Options:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      - deny
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      X-Content-Type-Options:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      - nosniff
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      Strict-Transport-Security:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      - max-age=31536000
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      Etag:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      - '"05f33ad940ee1376f5482f623d6f455d035ce811"'
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa      Content-Type:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      - text/plain; charset=utf-8
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      Cache-Control:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      - max-age=300
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      X-Github-Request-Id:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      - B91F121B:3780:3BE0D8:56964E7E
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa      Content-Length:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      - '947'
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      Accept-Ranges:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      - bytes
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      Date:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      - Wed, 13 Jan 2016 13:18:09 GMT
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      Via:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      - 1.1 varnish
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa      Connection:
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa      - keep-alive
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      X-Served-By:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      - cache-lcy1130-LCY
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      X-Cache:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      - HIT
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      X-Cache-Hits:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      - '2'
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      Vary:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      - Authorization,Accept-Encoding
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      Access-Control-Allow-Origin:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      - "*"
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      X-Fastly-Request-Id:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      - 609d267deeba7fa3e65e88313b5ea4eb071477ab
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      Expires:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      - Wed, 13 Jan 2016 13:23:09 GMT
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      Source-Age:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      - '19'
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa    body:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      encoding: UTF-8
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      string: |
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa        {
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa          "id": "https://raw.githubusercontent.com/ontohub/ontohub-api-json/develop/generic/definitions.json#",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa          "$schema": "http://json-schema.org/draft-04/schema#",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa          "definitions": {
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa            "iri": {
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa              "description": "The IRI of a resource",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa              "type": "string",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa              "format": "iri",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa              "pattern": "^https?://([^.]+[.][^.]+)+/.+$"
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa            },
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa            "_links": {
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa              "description": "A _links-element corresponding to the HAL standard for hypermedia information, adopted from https://github.com/DaveJS/dave.schema.json/blob/master/hal-schema.json",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa              "type": "object",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa              "additionalProperties": {
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                "oneOf": [
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                  {
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                    "id": "https://raw.githubusercontent.com/ontohub/ontohub-api-json/develop/generic/definitions.json#hal-member",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                    "type": "object",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                    "properties": {
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                      "href": {
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                        "description": "IRI of a resource",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                        "type": "string",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                        "format": "iri"
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                      },
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                      "type": {
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                        "type": "string",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                        "pattern": "^(application|audio|example|image|message|model|multipart|text|video)\\/[a-zA-Z0-9!#\\$&\\.\\+-\\^_]{1,127}$",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                        "format": "mime",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                        "description": "Hints to the media type of a target resource"
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                      },
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                      "name": {
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                        "type": "string"
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                      },
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                      "hreflang": {
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                        "type": "string",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                        "pattern": "^([a-zA-Z]{2,3}(-[a-zA-Z]{3}(-[a-zA-Z]{3}){0,2})?(-[a-zA-Z]{4})?(-([a-zA-Z]{2}|[0-9]{3}))?(-([a-zA-Z0-9]{5,8}|[0-9][a-zA-Z0-9]{3}))*([0-9A-WY-Za-wy-z](-[a-zA-Z0-9]{2,8}){1,})*(x-[a-zA-Z0-9]{2,8})?)|(x-[a-zA-Z0-9]{2,8})|(en-GB-oed)|(i-ami)|(i-bnn)|(i-default)|(i-enochian)|(i-hak)|(i-klingon)|(i-lux)|(i-mingo)|(i-navajo)|(i-pwn)|(i-tao)|(i-tay)|(i-tsu)|(sgn-BE-FR)|(sgn-BE-NL)|(sgn-CH-DE)|(art-lojban)|(cel-gaulish)|(no-bok)|(no-nyn)|(zh-guoyu)|(zh-hakka)|(zh-min)|(zh-min-nan)|(zh-xiang)$",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                        "description": "Language indication of the target resource"
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                      }
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                    },
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                    "additionalProperties": false,
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                    "required": [
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                      "href"
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                    ]
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                  },
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                  {
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                    "type": "array",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                    "items": [
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                      {
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                        "$ref": "https://raw.githubusercontent.com/ontohub/ontohub-api-json/develop/generic/definitions.json#hal-member"
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                      }
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                    ],
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                    "uniqueItems": true,
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                    "additionalProperties": false
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                  }
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                ]
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa              }
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa            },
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa            "errors": {
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa              "description": "Information on the specific errors that occured",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa              "type": "array",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa              "items": {
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                "description": "Information on one of the specific errors that occured",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                "type": "string"
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa              }
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa            }
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa          }
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa        }
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa    http_version:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa  recorded_at: Wed, 13 Jan 2016 13:18:09 GMT
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa- request:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa    method: get
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa    uri: https://raw.githubusercontent.com/ontohub/ontohub-api-json/develop/references.json
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa    body:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      encoding: US-ASCII
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      string: ''
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa    headers:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      Accept-Encoding:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      - gzip;q=1.0,deflate;q=0.6,identity;q=0.3
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      Accept:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      - "*/*"
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      User-Agent:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      - Ruby
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa  response:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa    status:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      code: 200
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      message: OK
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa    headers:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      Content-Security-Policy:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      - default-src 'none'
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      X-Xss-Protection:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      - 1; mode=block
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      X-Frame-Options:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      - deny
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      X-Content-Type-Options:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      - nosniff
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa      Strict-Transport-Security:
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa      - max-age=31536000
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      Etag:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      - '"54fd49ca226b4b028f96117e95333e615b0d1f7b"'
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      Content-Type:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      - text/plain; charset=utf-8
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      Cache-Control:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      - max-age=300
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      X-Github-Request-Id:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      - B91F121C:3780:3BE1EC:56964E7F
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      Content-Length:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      - '659'
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa      Accept-Ranges:
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa      - bytes
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      Date:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      - Wed, 13 Jan 2016 13:18:09 GMT
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      Via:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      - 1.1 varnish
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      Connection:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      - keep-alive
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      X-Served-By:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      - cache-lcy1124-LCY
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      X-Cache:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      - HIT
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      X-Cache-Hits:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      - '2'
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      Vary:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      - Authorization,Accept-Encoding
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      Access-Control-Allow-Origin:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      - "*"
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      X-Fastly-Request-Id:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      - 5685855f15bb11d95a473a51e90779ea45e08d6b
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      Expires:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      - Wed, 13 Jan 2016 13:23:09 GMT
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      Source-Age:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa      - '19'
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa    body:
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa      encoding: UTF-8
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa      string: |
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa        {
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa          "id": "https://raw.githubusercontent.com/ontohub/ontohub-api-json/develop/references.json#",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa          "$schema": "http://json-schema.org/draft-04/schema#",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa          "definitions": {
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa            "repository": {
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa              "description": "Reference to a repository",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa              "type": "object",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa              "properties": {
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa                "name": {
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa                  "description": "The name of the repository",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa                  "type": "string"
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa                },
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                "iri": { "$ref": "generic/definitions.json#/definitions/iri" }
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa              }
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa            },
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa            "logic": {
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa              "description": "Reference to a logic",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa              "type": "object",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa              "properties": {
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa                "name": {
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa                  "description": "The name of the logic",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa                  "type": "string"
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa                },
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                "iri": { "$ref": "generic/definitions.json#/definitions/iri" }
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa              }
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa            },
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa            "ontology": {
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa              "description": "Reference to an ontology",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa              "type": "object",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa              "properties": {
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa                "name": {
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa                  "description": "The name of the ontology",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa                  "type": "string"
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa                },
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                "iri": { "$ref": "generic/definitions.json#/definitions/iri" }
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa              }
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa            },
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa            "license_model": {
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa              "description": "Reference to a license model",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa              "type": "object",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa              "properties": {
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa                "name": {
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa                  "description": "The name of the license model",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa                  "type": "string"
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa                },
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                "iri": { "$ref": "generic/definitions.json#/definitions/iri" }
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa              }
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa            },
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa            "formality_level": {
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa              "description": "Reference to a formality level",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa              "type": "object",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa              "properties": {
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa                "name": {
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa                  "description": "The name of the formality level",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa                  "type": "string"
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa                },
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                "iri": { "$ref": "generic/definitions.json#/definitions/iri" }
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa              }
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa            },
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa            "ontology_type": {
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa              "description": "Reference to an ontology type",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa              "type": "object",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa              "properties": {
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa                "name": {
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa                  "description": "The name of the ontology type",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa                  "type": "string"
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa                },
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                "iri": { "$ref": "generic/definitions.json#/definitions/iri" }
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa              }
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa            },
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa            "ontology_version": {
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa              "description": "Reference to an ontology-version",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa              "type": "object",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa              "properties": {
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa                "number": {
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa                  "description": "The version number of the version of the ontology",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa                  "type": "integer"
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa                },
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                "iri": { "$ref": "generic/definitions.json#/definitions/iri" }
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa              }
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa            },
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa            "logic_mapping": {
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa              "description": "Reference to a mapping between logics",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa              "type": "object",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa              "properties": {
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                "iri": { "$ref": "generic/definitions.json#/definitions/iri" }
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa              }
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa            },
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa            "mapping": {
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa              "description": "Reference to a mapping",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa              "type": "object",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa              "properties": {
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa                "name": {
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa                  "description": "The name of the mapping",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa                  "type": "string"
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa                },
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                "iri": { "$ref": "generic/definitions.json#/definitions/iri" }
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa              }
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa            },
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa            "sentence": {
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa              "description": "Reference to a sentence",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa              "type": "object",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa              "properties": {
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa                "name": {
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa                  "description": "The name of the sentence",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa                  "type": "string"
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa                },
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                "iri": { "$ref": "generic/definitions.json#/definitions/iri" }
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa              }
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa            },
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa            "symbol": {
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa              "description": "Reference to a symbol",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa              "type": "object",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa              "properties": {
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa                "name": {
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa                  "description": "The name of the symbol",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa                  "type": "string"
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa                },
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                "iri": { "$ref": "generic/definitions.json#/definitions/iri" }
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa              }
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa            },
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa            "theorem": {
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa              "description": "Reference to a theorem",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa              "type": "object",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa              "properties": {
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa                "name": {
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa                  "description": "The name of the theorem",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa                  "type": "string"
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa                },
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                "iri": { "$ref": "generic/definitions.json#/definitions/iri" }
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa              }
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa            },
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa            "proof_attempt": {
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa              "description": "Reference to a proof attempt",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa              "type": "object",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa              "properties": {
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa                "number": {
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa                  "description": "The number of the proof attempt relative to its theorem",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa                  "type": "integer"
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                },
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                "iri": { "$ref": "generic/definitions.json#/definitions/iri" }
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa              }
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa            },
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa            "proof_status": {
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa              "description": "Reference to a proof status",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa              "type": "object",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa              "properties": {
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa                "identifier": {
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa                  "description": "The identifier of the proof status",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa                  "type": "string"
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa                },
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa                "name": {
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa                  "description": "The name of the proof status (human-readable)",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa                  "type": "string"
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                },
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                "iri": { "$ref": "generic/definitions.json#/definitions/iri" }
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa              }
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa            },
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa            "prover_output": {
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa              "description": "Reference to a prover output",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa              "type": "object",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa              "properties": {
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                "iri": { "$ref": "generic/definitions.json#/definitions/iri" }
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa              }
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa            },
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa            "proof_attempt_configuration": {
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa              "description": "Reference to a proof attempt configuration",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa              "type": "object",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa              "properties": {
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                "iri": { "$ref": "generic/definitions.json#/definitions/iri" }
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa              }
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa            },
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa            "comment": {
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa              "description": "Reference to comment",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa              "type": "object",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa              "properties": {
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                "iri": { "$ref": "generic/definitions.json#/definitions/iri" }
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa              }
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa            },
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa            "review": {
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa              "description": "Reference to a review",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa              "type": "object",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa              "properties": {
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                "iri": { "$ref": "generic/definitions.json#/definitions/iri" }
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa              }
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa            },
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa            "task": {
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa              "description": "Reference to a task",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa              "type": "object",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa              "properties": {
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                "iri": { "$ref": "generic/definitions.json#/definitions/iri" },
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                "name": {
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                  "description": "The name of the task",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa                  "type": "string"
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa                }
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa              }
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa            }
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa          }
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa        }
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa    http_version:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa  recorded_at: Wed, 13 Jan 2016 13:18:09 GMT
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksarecorded_with: VCR 3.0.0