JSON Schema generation improvements for base types

[dselman]

Bug Report 🐛

We currently generate a JSON Schema for a concept by expanding all the properties of the concept as JSON Schemas. This works well but doesn't capture the inheritance relationships between types.

For example:

namespace [email protected]

abstract concept Animal {
   o String name
}

concept Tiger extends Animal {
   o Integer numStripes
}

concept Camel extends Animal {
   o Integer numHumps
}

concept Zoo {
   o Animal[] animals
}

Produces the following JSON Schema:

{
  "$schema": "http://json-schema.org/draft-07/schema#",
  "definitions": {
    "[email protected]": {
      "title": "Animal",
      "description": "An instance of [email protected]",
      "type": "object",
      "properties": {
        "$class": {
          "type": "string",
          "default": "[email protected]",
          "pattern": "^zoo@1\\.0\\.0\\.Animal$",
          "description": "The class identifier for [email protected]"
        },
        "name": {
          "type": "string"
        }
      },
      "required": [
        "$class",
        "name"
      ]
    },
    "[email protected]": {
      "title": "Tiger",
      "description": "An instance of [email protected]",
      "type": "object",
      "properties": {
        "$class": {
          "type": "string",
          "default": "[email protected]",
          "pattern": "^zoo@1\\.0\\.0\\.Tiger$",
          "description": "The class identifier for [email protected]"
        },
        "numStripes": {
          "type": "integer"
        },
        "name": {
          "type": "string"
        }
      },
      "required": [
        "$class",
        "numStripes",
        "name"
      ]
    },
    "[email protected]": {
      "title": "Camel",
      "description": "An instance of [email protected]",
      "type": "object",
      "properties": {
        "$class": {
          "type": "string",
          "default": "[email protected]",
          "pattern": "^zoo@1\\.0\\.0\\.Camel$",
          "description": "The class identifier for [email protected]"
        },
        "numHumps": {
          "type": "integer"
        },
        "name": {
          "type": "string"
        }
      },
      "required": [
        "$class",
        "numHumps",
        "name"
      ]
    },
    "[email protected]": {
      "title": "Zoo",
      "description": "An instance of [email protected]",
      "type": "object",
      "properties": {
        "$class": {
          "type": "string",
          "default": "[email protected]",
          "pattern": "^zoo@1\\.0\\.0\\.Zoo$",
          "description": "The class identifier for [email protected]"
        },
        "animals": {
          "type": "array",
          "items": {
            "$ref": "#/definitions/[email protected]"
          }
        }
      },
      "required": [
        "$class",
        "animals"
      ]
    }
  }
}

Expected Behavior

The animals array for Zoo should indicate that this can be oneOf Camel or Tiger (not Animal because it is abstract.

 "animals": {
          "type": "array",
          "items": {
            "$ref": "#/definitions/[email protected]"
          }
        }

Current Behavior

Possible Solution

Steps to Reproduce

Context (Environment)

Desktop

• OS: [e.g. macOS]
• Browser: [e.g. Chrome, Safari]
• Version: [e.g. 0.22.15]

Detailed Description

Possible Implementation