{
  "$schema": "http://json-schema.org/draft-07/schema#",
  "$ref": "#/definitions/DateTimePeriod",
  "definitions": {
    "DateTimePeriod": {
      "type": "object",
      "properties": {
        "start": {
          "type": "string",
          "description": "Start of the period (inclusive).",
          "format": "date-time"
        },
        "end": {
          "type": "string",
          "description": "End of the period (inclusive).",
          "format": "date-time"
        }
      },
      "additionalProperties": false,
      "description": "A time period defined by start and/or end date-time values. Higher precision than Period (which uses dates only). Used for event windows, real-time coverage triggers, etc."
    }
  },
  "$id": "https://bind-standard.org/schema/DateTimePeriod",
  "title": "DateTimePeriod"
}