From 24db3f419648571b83c2caf1f2d748df97d9f3fc Mon Sep 17 00:00:00 2001 From: zopalmer14 Date: Thu, 5 Mar 2026 13:14:22 -0500 Subject: [PATCH] add 'definition' property to Metric.json Added a 'definition' property to 'Metric.json' as it is listed as a recommended property in the documentation, but was missing from the jsonschema defintion. --- jsonschema/definitions/Metric.json | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/jsonschema/definitions/Metric.json b/jsonschema/definitions/Metric.json index 7736b5e..207c247 100644 --- a/jsonschema/definitions/Metric.json +++ b/jsonschema/definitions/Metric.json @@ -42,6 +42,19 @@ "format": "iri" } ] + }, + "definition": { + "$id": "https://www.w3.org/ns/dqv#definition", + "title": "definition", + "description": "Definition of the metric.", + "oneOf": [ + { + "type": "null" + }, + { + "type": "string" + } + ] } }, "required": [