2a47a757521f9adc039463e635723cad10460548Tim Reddehasehttp_interactions:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa uri: https://raw.githubusercontent.com/ontohub/ontohub-api-json/develop/ontology.json
2a47a757521f9adc039463e635723cad10460548Tim Reddehase encoding: US-ASCII
2a47a757521f9adc039463e635723cad10460548Tim Reddehase Accept-Encoding:
2a47a757521f9adc039463e635723cad10460548Tim Reddehase - gzip;q=1.0,deflate;q=0.6,identity;q=0.3
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 X-Content-Type-Options:
2a47a757521f9adc039463e635723cad10460548Tim Reddehase Strict-Transport-Security:
2a47a757521f9adc039463e635723cad10460548Tim Reddehase - max-age=31536000
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - '"d81e67e64b0b2aa6d2842cdbce9ee949e0e9f034"'
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 - 17EB2B1C:2C5E:36A505:56964E24
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa Content-Length:
2a47a757521f9adc039463e635723cad10460548Tim Reddehase Accept-Ranges:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - Wed, 13 Jan 2016 13:16:20 GMT
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - 1.1 varnish
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - keep-alive
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa X-Served-By:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - cache-ams4147-AMS
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa X-Cache-Hits:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - Authorization,Accept-Encoding
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa Access-Control-Allow-Origin:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa X-Fastly-Request-Id:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - 4c36c699ed1bdd243eb33ec0a76f5e4f175eb9ac
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - Wed, 13 Jan 2016 13:21:20 GMT
2a47a757521f9adc039463e635723cad10460548Tim Reddehase encoding: UTF-8
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "id": "https://raw.githubusercontent.com/ontohub/ontohub-api-json/develop/ontology.json#",
2a47a757521f9adc039463e635723cad10460548Tim Reddehase "$schema": "http://json-schema.org/draft-04/schema#",
2a47a757521f9adc039463e635723cad10460548Tim Reddehase "title": "Ontology",
2a47a757521f9adc039463e635723cad10460548Tim Reddehase "description": "An ontology as recorded by Ontohub",
2a47a757521f9adc039463e635723cad10460548Tim Reddehase "type": "object",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "properties": {
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "iri": { "$ref": "generic/definitions.json#/definitions/iri" },
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "description": "The name of the ontology",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "type": "string"
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "acronym": {
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "description": "Acronym of the name of the ontology",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "type": ["string", "null"]
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "description": {
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "description": "A short description of the ontology",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "type": "string"
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "documentation": {
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "description": "Includes a reference (usually a URI) to a documentation resource",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "type": ["string", "null"]
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "evaluation_state": {
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "description": "The current state of the evaluation of the ontology",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "type": "string"
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "basepath": {
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "description": "The path to the ontology relative to the git repositories root directory",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "type": "string"
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "file_extension": {
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "description": "Actual file extension of the ontology file in the repository",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "type": "string"
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "logic": { "$ref": "references.json#/definitions/logic" },
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "repository": { "$ref": "references.json#/definitions/repository" },
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa { "$ref": "references.json#/definitions/ontology" },
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa { "type": "null" }
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "ontology_type": {
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa { "$ref": "references.json#/definitions/ontology_type" },
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa { "type": "null" }
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "current_ontology_version": { "$ref": "references.json#/definitions/ontology_version" },
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "license_models": {
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "type": "array",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "items": { "$ref": "references.json#/definitions/license_model" }
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "formality_level": {
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa { "$ref": "references.json#/definitions/formality_level" },
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa { "type": "null" }
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "ontology_versions": {
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "description": "Reference to all ontology versions of this ontology",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "type": "string",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "format": "uri"
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "symbols": {
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "description": "Reference to all symbols of this ontology",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "type": "string",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "format": "uri"
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "sentences": {
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "description": "Reference to all sentences of this ontology",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "type": "string",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "format": "uri"
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "mappings": {
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "description": "Reference to all mappings defined by this ontology",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "type": "string",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "format": "uri"
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "required": [
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "repository",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "ontology_versions",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "sentences",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "file_extension"
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "properties": {
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "iri": { "$ref": "generic/definitions.json#/definitions/iri" },
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "description": "The name of the ontology",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "type": "string"
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "acronym": {
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "description": "Acronym of the name of the ontology",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "type": ["string", "null"]
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "description": {
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "description": "A short description of the ontology",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "type": "string"
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "documentation": {
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "description": "Includes a reference (usually a URI) to a documentation resource",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "type": ["string", "null"]
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "evaluation_state": {
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "description": "The current state of the evaluation of the ontology",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "type": "string"
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "basepath": {
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "description": "The path to the ontology relative to the git repositories root directory",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "type": "string"
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "file_extension": {
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "description": "Actual file extension of the ontology file in the repository",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "type": "string"
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "_links": { "$ref": "generic/definitions.json#/definitions/_links" }
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "required": [
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "file_extension",
2a47a757521f9adc039463e635723cad10460548Tim Reddehase http_version:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa recorded_at: Wed, 13 Jan 2016 13:16:20 GMT
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa uri: https://raw.githubusercontent.com/ontohub/ontohub-api-json/develop/generic/definitions.json
2a47a757521f9adc039463e635723cad10460548Tim Reddehase encoding: US-ASCII
2a47a757521f9adc039463e635723cad10460548Tim Reddehase Accept-Encoding:
2a47a757521f9adc039463e635723cad10460548Tim Reddehase - gzip;q=1.0,deflate;q=0.6,identity;q=0.3
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 X-Content-Type-Options:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa Strict-Transport-Security:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - max-age=31536000
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - '"05f33ad940ee1376f5482f623d6f455d035ce811"'
2a47a757521f9adc039463e635723cad10460548Tim Reddehase 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 - 17EB2B23:2C5B:3A6A7C:56964E23
2a47a757521f9adc039463e635723cad10460548Tim Reddehase Content-Length:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa Accept-Ranges:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - Wed, 13 Jan 2016 13:16:20 GMT
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - 1.1 varnish
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa X-Served-By:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - cache-ams4125-AMS
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa X-Cache-Hits:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - Authorization,Accept-Encoding
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa Access-Control-Allow-Origin:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa X-Fastly-Request-Id:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - e5af5d7e5381732beb3ee34b75ea79182c456fbd
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - Wed, 13 Jan 2016 13:21:20 GMT
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa encoding: UTF-8
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 "description": "The IRI of a resource",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "type": "string",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "format": "iri",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "pattern": "^https?://([^.]+[.][^.]+)+/.+$"
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 "id": "https://raw.githubusercontent.com/ontohub/ontohub-api-json/develop/generic/definitions.json#hal-member",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "type": "object",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "properties": {
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "description": "IRI of a resource",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "type": "string",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "format": "iri"
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 "type": "string"
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 "additionalProperties": false,
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "required": [
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "type": "array",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "$ref": "https://raw.githubusercontent.com/ontohub/ontohub-api-json/develop/generic/definitions.json#hal-member"
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "uniqueItems": true,
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "additionalProperties": false
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "description": "Information on the specific errors that occured",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "type": "array",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "description": "Information on one of the specific errors that occured",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "type": "string"
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa http_version:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa recorded_at: Wed, 13 Jan 2016 13:16:20 GMT
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa uri: https://raw.githubusercontent.com/ontohub/ontohub-api-json/develop/references.json
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa encoding: US-ASCII
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa Accept-Encoding:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - gzip;q=1.0,deflate;q=0.6,identity;q=0.3
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 X-Content-Type-Options:
2a47a757521f9adc039463e635723cad10460548Tim Reddehase Strict-Transport-Security:
2a47a757521f9adc039463e635723cad10460548Tim Reddehase - max-age=31536000
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 - 17EB2B25:2C57:252DA3:56964E24
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa Content-Length:
2a47a757521f9adc039463e635723cad10460548Tim Reddehase Accept-Ranges:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - Wed, 13 Jan 2016 13:16:20 GMT
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - 1.1 varnish
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - keep-alive
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa X-Served-By:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - cache-ams4145-AMS
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa X-Cache-Hits:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - Authorization,Accept-Encoding
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa Access-Control-Allow-Origin:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa X-Fastly-Request-Id:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - fc093ee9e3d5ac17742c94c33c2c581647c59c57
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - Wed, 13 Jan 2016 13:21:20 GMT
2a47a757521f9adc039463e635723cad10460548Tim Reddehase encoding: UTF-8
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "id": "https://raw.githubusercontent.com/ontohub/ontohub-api-json/develop/references.json#",
2a47a757521f9adc039463e635723cad10460548Tim Reddehase "$schema": "http://json-schema.org/draft-04/schema#",
2a47a757521f9adc039463e635723cad10460548Tim Reddehase "definitions": {
2a47a757521f9adc039463e635723cad10460548Tim Reddehase "repository": {
2a47a757521f9adc039463e635723cad10460548Tim Reddehase "description": "Reference to a repository",
2a47a757521f9adc039463e635723cad10460548Tim Reddehase "type": "object",
2a47a757521f9adc039463e635723cad10460548Tim Reddehase "properties": {
2a47a757521f9adc039463e635723cad10460548Tim Reddehase "description": "The name of the repository",
2a47a757521f9adc039463e635723cad10460548Tim Reddehase "type": "string"
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "iri": { "$ref": "generic/definitions.json#/definitions/iri" }
2a47a757521f9adc039463e635723cad10460548Tim Reddehase "description": "Reference to a logic",
2a47a757521f9adc039463e635723cad10460548Tim Reddehase "type": "object",
2a47a757521f9adc039463e635723cad10460548Tim Reddehase "properties": {
2a47a757521f9adc039463e635723cad10460548Tim Reddehase "description": "The name of the logic",
2a47a757521f9adc039463e635723cad10460548Tim Reddehase "type": "string"
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "iri": { "$ref": "generic/definitions.json#/definitions/iri" }
2a47a757521f9adc039463e635723cad10460548Tim Reddehase "ontology": {
2a47a757521f9adc039463e635723cad10460548Tim Reddehase "description": "Reference to an ontology",
2a47a757521f9adc039463e635723cad10460548Tim Reddehase "type": "object",
2a47a757521f9adc039463e635723cad10460548Tim Reddehase "properties": {
2a47a757521f9adc039463e635723cad10460548Tim Reddehase "description": "The name of the ontology",
2a47a757521f9adc039463e635723cad10460548Tim Reddehase "type": "string"
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "iri": { "$ref": "generic/definitions.json#/definitions/iri" }
2a47a757521f9adc039463e635723cad10460548Tim Reddehase "license_model": {
2a47a757521f9adc039463e635723cad10460548Tim Reddehase "description": "Reference to a license model",
2a47a757521f9adc039463e635723cad10460548Tim Reddehase "type": "object",
2a47a757521f9adc039463e635723cad10460548Tim Reddehase "properties": {
2a47a757521f9adc039463e635723cad10460548Tim Reddehase "description": "The name of the license model",
2a47a757521f9adc039463e635723cad10460548Tim Reddehase "type": "string"
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "iri": { "$ref": "generic/definitions.json#/definitions/iri" }
2a47a757521f9adc039463e635723cad10460548Tim Reddehase "formality_level": {
2a47a757521f9adc039463e635723cad10460548Tim Reddehase "description": "Reference to a formality level",
2a47a757521f9adc039463e635723cad10460548Tim Reddehase "type": "object",
2a47a757521f9adc039463e635723cad10460548Tim Reddehase "properties": {
2a47a757521f9adc039463e635723cad10460548Tim Reddehase "description": "The name of the formality level",
2a47a757521f9adc039463e635723cad10460548Tim Reddehase "type": "string"
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "iri": { "$ref": "generic/definitions.json#/definitions/iri" }
25f9a993aff8e151368f84017c2054b7cf6c68e2Tim Reddehase "ontology_type": {
25f9a993aff8e151368f84017c2054b7cf6c68e2Tim Reddehase "description": "Reference to an ontology type",
25f9a993aff8e151368f84017c2054b7cf6c68e2Tim Reddehase "type": "object",
25f9a993aff8e151368f84017c2054b7cf6c68e2Tim Reddehase "properties": {
25f9a993aff8e151368f84017c2054b7cf6c68e2Tim Reddehase "description": "The name of the ontology type",
25f9a993aff8e151368f84017c2054b7cf6c68e2Tim Reddehase "type": "string"
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "iri": { "$ref": "generic/definitions.json#/definitions/iri" }
2a47a757521f9adc039463e635723cad10460548Tim Reddehase "ontology_version": {
2a47a757521f9adc039463e635723cad10460548Tim Reddehase "description": "Reference to an ontology-version",
2a47a757521f9adc039463e635723cad10460548Tim Reddehase "type": "object",
2a47a757521f9adc039463e635723cad10460548Tim Reddehase "properties": {
2a47a757521f9adc039463e635723cad10460548Tim Reddehase "description": "The version number of the version of the ontology",
2a47a757521f9adc039463e635723cad10460548Tim Reddehase "type": "integer"
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "iri": { "$ref": "generic/definitions.json#/definitions/iri" }
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" }
4e3398f764c43a67d5012578987dae68baf815bbTim Reddehase "description": "Reference to a mapping",
4e3398f764c43a67d5012578987dae68baf815bbTim Reddehase "type": "object",
4e3398f764c43a67d5012578987dae68baf815bbTim Reddehase "properties": {
4e3398f764c43a67d5012578987dae68baf815bbTim Reddehase "description": "The name of the mapping",
4e3398f764c43a67d5012578987dae68baf815bbTim Reddehase "type": "string"
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "iri": { "$ref": "generic/definitions.json#/definitions/iri" }
4e3398f764c43a67d5012578987dae68baf815bbTim Reddehase "sentence": {
4e3398f764c43a67d5012578987dae68baf815bbTim Reddehase "description": "Reference to a sentence",
4e3398f764c43a67d5012578987dae68baf815bbTim Reddehase "type": "object",
4e3398f764c43a67d5012578987dae68baf815bbTim Reddehase "properties": {
4e3398f764c43a67d5012578987dae68baf815bbTim Reddehase "description": "The name of the sentence",
4e3398f764c43a67d5012578987dae68baf815bbTim Reddehase "type": "string"
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "iri": { "$ref": "generic/definitions.json#/definitions/iri" }
4e3398f764c43a67d5012578987dae68baf815bbTim Reddehase "description": "Reference to a symbol",
4e3398f764c43a67d5012578987dae68baf815bbTim Reddehase "type": "object",
4e3398f764c43a67d5012578987dae68baf815bbTim Reddehase "properties": {
4e3398f764c43a67d5012578987dae68baf815bbTim Reddehase "description": "The name of the symbol",
4e3398f764c43a67d5012578987dae68baf815bbTim Reddehase "type": "string"
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "iri": { "$ref": "generic/definitions.json#/definitions/iri" }
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "theorem": {
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "description": "Reference to a theorem",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "type": "object",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "properties": {
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "description": "The name of the theorem",
4e3398f764c43a67d5012578987dae68baf815bbTim Reddehase "type": "string"
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "iri": { "$ref": "generic/definitions.json#/definitions/iri" }
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "proof_attempt": {
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "description": "Reference to a proof attempt",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "type": "object",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "properties": {
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "description": "The number of the proof attempt relative to its theorem",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "type": "integer"
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "iri": { "$ref": "generic/definitions.json#/definitions/iri" }
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 "description": "The name of the proof status (human-readable)",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "type": "string"
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "iri": { "$ref": "generic/definitions.json#/definitions/iri" }
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 "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 "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 "description": "Reference to a review",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "type": "object",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "properties": {
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "iri": { "$ref": "generic/definitions.json#/definitions/iri" }
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 "description": "The name of the task",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "type": "string"
2a47a757521f9adc039463e635723cad10460548Tim Reddehase http_version:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa recorded_at: Wed, 13 Jan 2016 13:16:20 GMT
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksarecorded_with: VCR 3.0.0