mapping.yml revision 9940047ec4fd0ef151dfddd4253534eafa8c900c
bcb4e51a409d94ae670de96afb8483a4f7855294Stephan Bosch---
1b0c12018b46c2195a1f036a6d7c057c818b7b67Stephan Boschhttp_interactions:
1b0c12018b46c2195a1f036a6d7c057c818b7b67Stephan Bosch- request:
1b0c12018b46c2195a1f036a6d7c057c818b7b67Stephan Bosch method: get
1b0c12018b46c2195a1f036a6d7c057c818b7b67Stephan Bosch uri: https://masterthesis.rightsrestricted.com/ontohub/mapping.json
1b0c12018b46c2195a1f036a6d7c057c818b7b67Stephan Bosch body:
1b0c12018b46c2195a1f036a6d7c057c818b7b67Stephan Bosch encoding: US-ASCII
1b0c12018b46c2195a1f036a6d7c057c818b7b67Stephan Bosch string: ''
1b0c12018b46c2195a1f036a6d7c057c818b7b67Stephan Bosch headers:
1b0c12018b46c2195a1f036a6d7c057c818b7b67Stephan Bosch Accept-Encoding:
1b0c12018b46c2195a1f036a6d7c057c818b7b67Stephan Bosch - gzip;q=1.0,deflate;q=0.6,identity;q=0.3
1b0c12018b46c2195a1f036a6d7c057c818b7b67Stephan Bosch Accept:
1b0c12018b46c2195a1f036a6d7c057c818b7b67Stephan Bosch - "*/*"
9f37ef2a9192e7d47e3d7ac959080fd01120f2e9Aki Tuomi User-Agent:
9f37ef2a9192e7d47e3d7ac959080fd01120f2e9Aki Tuomi - Ruby
bd6a8056771b6150685dea319ab5a94e021d17f1Josef 'Jeff' Sipek response:
1b0c12018b46c2195a1f036a6d7c057c818b7b67Stephan Bosch status:
9f37ef2a9192e7d47e3d7ac959080fd01120f2e9Aki Tuomi code: 200
1b0c12018b46c2195a1f036a6d7c057c818b7b67Stephan Bosch message: OK
1b0c12018b46c2195a1f036a6d7c057c818b7b67Stephan Bosch headers:
1b0c12018b46c2195a1f036a6d7c057c818b7b67Stephan Bosch Server:
1b0c12018b46c2195a1f036a6d7c057c818b7b67Stephan Bosch - nginx/1.6.2
1b0c12018b46c2195a1f036a6d7c057c818b7b67Stephan Bosch Date:
1b0c12018b46c2195a1f036a6d7c057c818b7b67Stephan Bosch - Sat, 04 Apr 2015 19:37:47 GMT
1b0c12018b46c2195a1f036a6d7c057c818b7b67Stephan Bosch Content-Type:
1b0c12018b46c2195a1f036a6d7c057c818b7b67Stephan Bosch - application/json
1b0c12018b46c2195a1f036a6d7c057c818b7b67Stephan Bosch Content-Length:
1b0c12018b46c2195a1f036a6d7c057c818b7b67Stephan Bosch - '1276'
1b0c12018b46c2195a1f036a6d7c057c818b7b67Stephan Bosch Last-Modified:
1b0c12018b46c2195a1f036a6d7c057c818b7b67Stephan Bosch - Tue, 31 Mar 2015 17:35:51 GMT
1b0c12018b46c2195a1f036a6d7c057c818b7b67Stephan Bosch Connection:
1b0c12018b46c2195a1f036a6d7c057c818b7b67Stephan Bosch - keep-alive
1b0c12018b46c2195a1f036a6d7c057c818b7b67Stephan Bosch Etag:
1b0c12018b46c2195a1f036a6d7c057c818b7b67Stephan Bosch - '"551adaf7-4fc"'
1b0c12018b46c2195a1f036a6d7c057c818b7b67Stephan Bosch Strict-Transport-Security:
186c198e258401b0d2d9374d7ac7e248dc4d7377Stephan Bosch - max-age=31536000
186c198e258401b0d2d9374d7ac7e248dc4d7377Stephan Bosch X-Frame-Options:
186c198e258401b0d2d9374d7ac7e248dc4d7377Stephan Bosch - DENY
9f37ef2a9192e7d47e3d7ac959080fd01120f2e9Aki Tuomi Accept-Ranges:
186c198e258401b0d2d9374d7ac7e248dc4d7377Stephan Bosch - bytes
bd6a8056771b6150685dea319ab5a94e021d17f1Josef 'Jeff' Sipek body:
186c198e258401b0d2d9374d7ac7e248dc4d7377Stephan Bosch encoding: UTF-8
9f37ef2a9192e7d47e3d7ac959080fd01120f2e9Aki Tuomi string: |
186c198e258401b0d2d9374d7ac7e248dc4d7377Stephan Bosch {
186c198e258401b0d2d9374d7ac7e248dc4d7377Stephan Bosch "id": "https://masterthesis.rightsrestricted.com/ontohub/mapping.json#",
186c198e258401b0d2d9374d7ac7e248dc4d7377Stephan Bosch "$schema": "http://json-schema.org/draft-04/schema#",
186c198e258401b0d2d9374d7ac7e248dc4d7377Stephan Bosch "title": "Mapping",
186c198e258401b0d2d9374d7ac7e248dc4d7377Stephan Bosch "description": "A mapping defined by an ontology",
186c198e258401b0d2d9374d7ac7e248dc4d7377Stephan Bosch "type": "object",
186c198e258401b0d2d9374d7ac7e248dc4d7377Stephan Bosch "properties": {
186c198e258401b0d2d9374d7ac7e248dc4d7377Stephan Bosch "iri": {
186c198e258401b0d2d9374d7ac7e248dc4d7377Stephan Bosch "description": "The unique identifier for the mapping",
186c198e258401b0d2d9374d7ac7e248dc4d7377Stephan Bosch "type": "string",
186c198e258401b0d2d9374d7ac7e248dc4d7377Stephan Bosch "format": "uri"
186c198e258401b0d2d9374d7ac7e248dc4d7377Stephan Bosch },
186c198e258401b0d2d9374d7ac7e248dc4d7377Stephan Bosch "name": {
186c198e258401b0d2d9374d7ac7e248dc4d7377Stephan Bosch "description": "The name of the mapping",
186c198e258401b0d2d9374d7ac7e248dc4d7377Stephan Bosch "type": "string"
186c198e258401b0d2d9374d7ac7e248dc4d7377Stephan Bosch },
186c198e258401b0d2d9374d7ac7e248dc4d7377Stephan Bosch "kind": {
186c198e258401b0d2d9374d7ac7e248dc4d7377Stephan Bosch "description": "The kind of mapping",
186c198e258401b0d2d9374d7ac7e248dc4d7377Stephan Bosch "type": "string"
186c198e258401b0d2d9374d7ac7e248dc4d7377Stephan Bosch },
186c198e258401b0d2d9374d7ac7e248dc4d7377Stephan Bosch "theorem": {
186c198e258401b0d2d9374d7ac7e248dc4d7377Stephan Bosch "description": "Denotes whether this mapping created a theorem",
186c198e258401b0d2d9374d7ac7e248dc4d7377Stephan Bosch "type": "boolean"
186c198e258401b0d2d9374d7ac7e248dc4d7377Stephan Bosch },
186c198e258401b0d2d9374d7ac7e248dc4d7377Stephan Bosch "proven": {
186c198e258401b0d2d9374d7ac7e248dc4d7377Stephan Bosch "description": "Denotes whether this mapping is proven",
186c198e258401b0d2d9374d7ac7e248dc4d7377Stephan Bosch "type": "boolean"
186c198e258401b0d2d9374d7ac7e248dc4d7377Stephan Bosch },
186c198e258401b0d2d9374d7ac7e248dc4d7377Stephan Bosch "local": {
186c198e258401b0d2d9374d7ac7e248dc4d7377Stephan Bosch "description": "Denotes whether this mapping is local",
186c198e258401b0d2d9374d7ac7e248dc4d7377Stephan Bosch "type": "boolean"
186c198e258401b0d2d9374d7ac7e248dc4d7377Stephan Bosch },
9f37ef2a9192e7d47e3d7ac959080fd01120f2e9Aki Tuomi "ontology": { "$ref": "references.json#/definitions/ontology" },
186c198e258401b0d2d9374d7ac7e248dc4d7377Stephan Bosch "source_ontology": { "$ref": "references.json#/definitions/ontology" },
bd6a8056771b6150685dea319ab5a94e021d17f1Josef 'Jeff' Sipek "target_ontology": { "$ref": "references.json#/definitions/ontology" }
186c198e258401b0d2d9374d7ac7e248dc4d7377Stephan Bosch },
9f37ef2a9192e7d47e3d7ac959080fd01120f2e9Aki Tuomi "required": [
186c198e258401b0d2d9374d7ac7e248dc4d7377Stephan Bosch "iri",
186c198e258401b0d2d9374d7ac7e248dc4d7377Stephan Bosch "name",
186c198e258401b0d2d9374d7ac7e248dc4d7377Stephan Bosch "kind",
186c198e258401b0d2d9374d7ac7e248dc4d7377Stephan Bosch "theorem",
186c198e258401b0d2d9374d7ac7e248dc4d7377Stephan Bosch "proven",
186c198e258401b0d2d9374d7ac7e248dc4d7377Stephan Bosch "local",
186c198e258401b0d2d9374d7ac7e248dc4d7377Stephan Bosch "ontology",
186c198e258401b0d2d9374d7ac7e248dc4d7377Stephan Bosch "source_ontology",
186c198e258401b0d2d9374d7ac7e248dc4d7377Stephan Bosch "target_ontology"
186c198e258401b0d2d9374d7ac7e248dc4d7377Stephan Bosch ]
186c198e258401b0d2d9374d7ac7e248dc4d7377Stephan Bosch }
186c198e258401b0d2d9374d7ac7e248dc4d7377Stephan Bosch http_version:
186c198e258401b0d2d9374d7ac7e248dc4d7377Stephan Bosch recorded_at: Sat, 04 Apr 2015 19:37:47 GMT
186c198e258401b0d2d9374d7ac7e248dc4d7377Stephan Bosch- request:
186c198e258401b0d2d9374d7ac7e248dc4d7377Stephan Bosch method: get
186c198e258401b0d2d9374d7ac7e248dc4d7377Stephan Bosch uri: https://masterthesis.rightsrestricted.com/ontohub/references.json
186c198e258401b0d2d9374d7ac7e248dc4d7377Stephan Bosch body:
186c198e258401b0d2d9374d7ac7e248dc4d7377Stephan Bosch encoding: US-ASCII
186c198e258401b0d2d9374d7ac7e248dc4d7377Stephan Bosch string: ''
186c198e258401b0d2d9374d7ac7e248dc4d7377Stephan Bosch headers:
9f37ef2a9192e7d47e3d7ac959080fd01120f2e9Aki Tuomi Accept-Encoding:
186c198e258401b0d2d9374d7ac7e248dc4d7377Stephan Bosch - gzip;q=1.0,deflate;q=0.6,identity;q=0.3
bd6a8056771b6150685dea319ab5a94e021d17f1Josef 'Jeff' Sipek Accept:
186c198e258401b0d2d9374d7ac7e248dc4d7377Stephan Bosch - "*/*"
9f37ef2a9192e7d47e3d7ac959080fd01120f2e9Aki Tuomi User-Agent:
186c198e258401b0d2d9374d7ac7e248dc4d7377Stephan Bosch - Ruby
186c198e258401b0d2d9374d7ac7e248dc4d7377Stephan Bosch response:
186c198e258401b0d2d9374d7ac7e248dc4d7377Stephan Bosch status:
186c198e258401b0d2d9374d7ac7e248dc4d7377Stephan Bosch code: 200
186c198e258401b0d2d9374d7ac7e248dc4d7377Stephan Bosch message: OK
186c198e258401b0d2d9374d7ac7e248dc4d7377Stephan Bosch headers:
186c198e258401b0d2d9374d7ac7e248dc4d7377Stephan Bosch Server:
186c198e258401b0d2d9374d7ac7e248dc4d7377Stephan Bosch - nginx/1.6.2
186c198e258401b0d2d9374d7ac7e248dc4d7377Stephan Bosch Date:
186c198e258401b0d2d9374d7ac7e248dc4d7377Stephan Bosch - Sat, 04 Apr 2015 19:37:47 GMT
186c198e258401b0d2d9374d7ac7e248dc4d7377Stephan Bosch Content-Type:
186c198e258401b0d2d9374d7ac7e248dc4d7377Stephan Bosch - application/json
186c198e258401b0d2d9374d7ac7e248dc4d7377Stephan Bosch Content-Length:
186c198e258401b0d2d9374d7ac7e248dc4d7377Stephan Bosch - '6367'
186c198e258401b0d2d9374d7ac7e248dc4d7377Stephan Bosch Last-Modified:
186c198e258401b0d2d9374d7ac7e248dc4d7377Stephan Bosch - Thu, 02 Apr 2015 10:02:57 GMT
186c198e258401b0d2d9374d7ac7e248dc4d7377Stephan Bosch Connection:
1b0c12018b46c2195a1f036a6d7c057c818b7b67Stephan Bosch - keep-alive
1b0c12018b46c2195a1f036a6d7c057c818b7b67Stephan Bosch Etag:
1b0c12018b46c2195a1f036a6d7c057c818b7b67Stephan Bosch - '"551d13d1-18df"'
1b0c12018b46c2195a1f036a6d7c057c818b7b67Stephan Bosch Strict-Transport-Security:
1b0c12018b46c2195a1f036a6d7c057c818b7b67Stephan Bosch - max-age=31536000
1b0c12018b46c2195a1f036a6d7c057c818b7b67Stephan Bosch X-Frame-Options:
1b0c12018b46c2195a1f036a6d7c057c818b7b67Stephan Bosch - DENY
1b0c12018b46c2195a1f036a6d7c057c818b7b67Stephan Bosch Accept-Ranges:
1b0c12018b46c2195a1f036a6d7c057c818b7b67Stephan Bosch - bytes
1b0c12018b46c2195a1f036a6d7c057c818b7b67Stephan Bosch body:
1b0c12018b46c2195a1f036a6d7c057c818b7b67Stephan Bosch encoding: UTF-8
1b0c12018b46c2195a1f036a6d7c057c818b7b67Stephan Bosch string: |
186c198e258401b0d2d9374d7ac7e248dc4d7377Stephan Bosch {
186c198e258401b0d2d9374d7ac7e248dc4d7377Stephan Bosch "id": "https://masterthesis.rightsrestricted.com/ontohub/references.json#",
186c198e258401b0d2d9374d7ac7e248dc4d7377Stephan Bosch "$schema": "http://json-schema.org/draft-04/schema#",
186c198e258401b0d2d9374d7ac7e248dc4d7377Stephan Bosch "definitions": {
186c198e258401b0d2d9374d7ac7e248dc4d7377Stephan Bosch "repository": {
186c198e258401b0d2d9374d7ac7e248dc4d7377Stephan Bosch "description": "Reference to a repository",
186c198e258401b0d2d9374d7ac7e248dc4d7377Stephan Bosch "type": "object",
186c198e258401b0d2d9374d7ac7e248dc4d7377Stephan Bosch "properties": {
186c198e258401b0d2d9374d7ac7e248dc4d7377Stephan Bosch "name": {
186c198e258401b0d2d9374d7ac7e248dc4d7377Stephan Bosch "description": "The name of the repository",
186c198e258401b0d2d9374d7ac7e248dc4d7377Stephan Bosch "type": "string"
186c198e258401b0d2d9374d7ac7e248dc4d7377Stephan Bosch },
186c198e258401b0d2d9374d7ac7e248dc4d7377Stephan Bosch "iri": {
1b0c12018b46c2195a1f036a6d7c057c818b7b67Stephan Bosch "description": "The unique identifier of the repository",
"type": "string",
"format": "uri"
}
}
},
"logic": {
"description": "Reference to a logic",
"type": "object",
"properties": {
"name": {
"description": "The name of the logic",
"type": "string"
},
"iri": {
"description": "The unique identifier of the logic",
"type": "string",
"format": "uri"
}
}
},
"ontology": {
"description": "Reference to an ontology",
"type": "object",
"properties": {
"name": {
"description": "The name of the ontology",
"type": "string"
},
"iri": {
"description": "The unique identifier of the ontology",
"type": "string",
"format": "uri"
}
}
},
"license_model": {
"description": "Reference to a license model",
"type": "object",
"properties": {
"name": {
"description": "The name of the license model",
"type": "string"
},
"iri": {
"description": "The unique identifier of the license model",
"type": "string",
"format": "uri"
}
}
},
"formality_level": {
"description": "Reference to a formality level",
"type": "object",
"properties": {
"name": {
"description": "The name of the formality level",
"type": "string"
},
"iri": {
"description": "The unique identifier of the formality level",
"type": "string",
"format": "uri"
}
}
},
"ontology_type": {
"description": "Reference to an ontology type",
"type": "object",
"properties": {
"name": {
"description": "The name of the ontology type",
"type": "string"
},
"iri": {
"description": "The unique identifier of the ontology type",
"type": "string",
"format": "uri"
}
}
},
"ontology_version": {
"description": "Reference to an ontology-version",
"type": "object",
"properties": {
"number": {
"description": "The version number of the version of the ontology",
"type": "integer"
},
"iri": {
"description": "The unique identifier of the ontology-version",
"type": "string",
"format": "uri"
}
}
},
"logic_mapping": {
"description": "Reference to a mapping between logics",
"type": "object",
"properties": {
"iri": {
"description": "The unique identifier of the logic mapping",
"type": "string",
"format": "uri"
}
}
},
"mapping": {
"description": "Reference to a mapping",
"type": "object",
"properties": {
"name": {
"description": "The name of the mapping",
"type": "string"
},
"iri": {
"description": "The unique identifier of the mapping",
"type": "string",
"format": "uri"
}
}
},
"sentence": {
"description": "Reference to a sentence",
"type": "object",
"properties": {
"name": {
"description": "The name of the sentence",
"type": "string"
},
"iri": {
"description": "The unique identifier of the sentence",
"type": "string",
"format": "uri"
}
}
},
"symbol": {
"description": "Reference to a symbol",
"type": "object",
"properties": {
"name": {
"description": "The name of the symbol",
"type": "string"
},
"iri": {
"description": "The unique identifier of the symbol",
"type": "string",
"format": "uri"
}
}
},
"theorem": {
"description": "Reference to a theorem",
"type": "object",
"properties": {
"name": {
"description": "The name of the theorem",
"type": "string"
},
"iri": {
"description": "The unique identifier of the theorem",
"type": "string",
"format": "uri"
}
}
},
"proof_attempt": {
"description": "Reference to a proof attempt",
"type": "object",
"properties": {
"iri": {
"description": "The unique identifier of the proof attempt",
"type": "string",
"format": "uri"
},
"number": {
"description": "The number of the proof attempt relative to its theorem",
"type": "integer"
}
}
},
"proof_status": {
"description": "Reference to a proof status",
"type": "object",
"properties": {
"iri": {
"description": "The unique identifier of the proof status",
"type": "string",
"format": "uri"
},
"identifier": {
"description": "The identifier of the proof status",
"type": "string"
},
"name": {
"description": "The name of the proof status (human-readable)",
"type": "string"
}
}
},
"prover_output": {
"description": "Reference to a prover output",
"type": "object",
"properties": {
"iri": {
"description": "The unique identifier of the prover output",
"type": "string",
"format": "uri"
}
}
},
"proof_attempt_configuration": {
"description": "Reference to a proof attempt configuration",
"type": "object",
"properties": {
"iri": {
"description": "The unique identifier of the proof attempt configuration",
"type": "string",
"format": "uri"
}
}
}
}
}
http_version:
recorded_at: Sat, 04 Apr 2015 19:37:47 GMT
recorded_with: VCR 2.9.3