mapping.yml revision 4e3398f764c43a67d5012578987dae68baf815bb
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehasehttp_interactions:
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase uri: https://masterthesis.rightsrestricted.com/ontohub/mapping.json
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase encoding: US-ASCII
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase Accept-Encoding:
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase - gzip;q=1.0,deflate;q=0.6,identity;q=0.3
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase - nginx/1.6.2
4e3398f764c43a67d5012578987dae68baf815bbTim Reddehase - Mon, 09 Mar 2015 14:37:39 GMT
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase Content-Type:
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase Content-Length:
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase Last-Modified:
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase - Fri, 06 Mar 2015 20:24:05 GMT
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase - '"54fa0ce5-4e6"'
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase Strict-Transport-Security:
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase - max-age=31536000
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase X-Frame-Options:
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase Accept-Ranges:
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase encoding: UTF-8
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase "id": "https://masterthesis.rightsrestricted.com/ontohub/mapping.json#",
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase "$schema": "http://json-schema.org/draft-04/schema#",
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase "title": "Sentence",
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase "description": "A mapping defined by an ontology",
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase "type": "object",
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase "properties": {
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase "description": "The unique identifier for the mapping",
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase "type": "string"
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase "description": "The name of the mapping",
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase "type": "string"
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase "description": "The kind of mapping",
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase "type": "string"
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase "description": "Denotes whether this mapping created a theorem",
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase "type": "boolean"
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase "description": "Denotes whether this mapping is proven",
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase "type": "boolean"
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase "description": "Denotes whether this mapping is local",
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase "type": "boolean"
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase "ontology": { "$ref": "references.json#/definitions/ontology" },
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase "source_ontology": { "$ref": "references.json#/definitions/ontology" },
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase "target_ontology": { "$ref": "references.json#/definitions/ontology" }
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase "required": [
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase "source_ontology",
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase "target_ontology"
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase http_version:
4e3398f764c43a67d5012578987dae68baf815bbTim Reddehase recorded_at: Mon, 09 Mar 2015 14:37:39 GMT
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase uri: https://masterthesis.rightsrestricted.com/ontohub/references.json
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase encoding: US-ASCII
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase Accept-Encoding:
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase - gzip;q=1.0,deflate;q=0.6,identity;q=0.3
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase - nginx/1.6.2
4e3398f764c43a67d5012578987dae68baf815bbTim Reddehase - Mon, 09 Mar 2015 14:37:39 GMT
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase Content-Type:
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase Content-Length:
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase Last-Modified:
4e3398f764c43a67d5012578987dae68baf815bbTim Reddehase - Sun, 08 Mar 2015 20:38:01 GMT
4e3398f764c43a67d5012578987dae68baf815bbTim Reddehase - '"54fcb329-1058"'
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase Strict-Transport-Security:
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase - max-age=31536000
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase X-Frame-Options:
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase Accept-Ranges:
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase encoding: UTF-8
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase "id": "https://masterthesis.rightsrestricted.com/ontohub/references.json#",
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase "$schema": "http://json-schema.org/draft-04/schema#",
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase "definitions": {
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase "repository": {
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase "description": "Reference to a repository",
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase "type": "object",
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase "properties": {
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase "description": "The name of the repository",
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase "type": "string"
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase "description": "The unique identifier of the repository",
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase "type": "string"
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase "description": "Reference to a logic",
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase "type": "object",
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase "properties": {
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase "description": "The name of the logic",
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase "type": "string"
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase "description": "The unique identifier of the logic",
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase "type": "string"
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase "ontology": {
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase "description": "Reference to an ontology",
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase "type": "object",
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase "properties": {
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase "description": "The name of the ontology",
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase "type": "string"
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase "description": "The unique identifier of the ontology",
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase "type": "string"
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase "license_model": {
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase "description": "Reference to a license model",
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase "type": "object",
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase "properties": {
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase "description": "The name of the license model",
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase "type": "string"
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase "description": "The unique identifier of the license model",
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase "type": "string"
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase "formality_level": {
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase "description": "Reference to a formality level",
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase "type": "object",
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase "properties": {
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase "description": "The name of the formality level",
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase "type": "string"
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase "description": "The unique identifier of the formality level",
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase "type": "string"
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase "ontology": {
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase "description": "Reference to an ontology",
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase "type": "object",
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase "properties": {
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase "description": "The name of the ontology",
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase "type": "string"
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase "description": "The unique identifier of the ontology",
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase "type": "string"
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase "ontology_type": {
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase "description": "Reference to an ontology type",
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase "type": "object",
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase "properties": {
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase "description": "The name of the ontology type",
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase "type": "string"
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase "description": "The unique identifier of the ontology type",
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase "type": "string"
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase "ontology_version": {
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase "description": "Reference to an ontology-version",
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase "type": "object",
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase "properties": {
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase "description": "The version number of the version of the ontology",
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase "type": "integer"
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase "description": "The unique identifier of the ontology-version",
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase "type": "string"
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"
4e3398f764c43a67d5012578987dae68baf815bbTim Reddehase "description": "The unique identifier of the mapping",
4e3398f764c43a67d5012578987dae68baf815bbTim Reddehase "type": "string"
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"
4e3398f764c43a67d5012578987dae68baf815bbTim Reddehase "description": "The unique identifier of the sentence",
4e3398f764c43a67d5012578987dae68baf815bbTim Reddehase "type": "string"
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"
4e3398f764c43a67d5012578987dae68baf815bbTim Reddehase "description": "The unique identifier of the symbol",
4e3398f764c43a67d5012578987dae68baf815bbTim Reddehase "type": "string"
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehase http_version:
4e3398f764c43a67d5012578987dae68baf815bbTim Reddehase recorded_at: Mon, 09 Mar 2015 14:37:39 GMT
ccbad7548e27ece3cbc085fc7367635cc06c5e56Tim Reddehaserecorded_with: VCR 2.9.2