Regenerate Make-managed files

References: * ucoProject/UCO#602 * ucoProject/UCO#603 Signed-off-by: Alex Nelson <[email protected]>
casework · Jun 5, 2024 · c8ed517 · c8ed517
1 parent 5cfdb68
commit c8ed517
Show file tree

Hide file tree

Showing 2 changed files with 42 additions and 0 deletions.
diff --git a/ontology/CASE-unstable-2.0.0.ttl b/ontology/CASE-unstable-2.0.0.ttl
@@ -18363,6 +18363,27 @@ types:Dictionary
 	rdfs:label "Dictionary"@en ;
 	rdfs:comment "A dictionary is list of (term/key, value) pairs with each term/key existing no more than once."@en ;
 	rdfs:isDefinedBy <https://ontology.unifiedcyberontology.org/uco/types> ;
+	rdfs:seeAlso [
+		a sh:NodeShape ;
+		rdfs:comment "This anonymous shape is attached to types:Dictionary with rdfs:seeAlso in order to associate a warning-severity SPARQL-based shape, that will only be necessary as an independent shape until UCO 2.0.0."@en ;
+		sh:severity sh:Warning ;
+		sh:sparql [
+			a sh:SPARQLConstraint ;
+			sh:message "A key in a dictionary can appear no more than once."@en ;
+			sh:select """
+				PREFIX types: <https://ontology.unifiedcyberontology.org/uco/types/>
+				SELECT $this ?value
+				WHERE {
+					$this
+						types:entry/types:key ?value ;
+						.
+				}
+				GROUP BY ?value
+				HAVING (COUNT(?value) > 1)
+			""" ;
+		] ;
+		sh:targetClass types:Dictionary ;
+	] ;
 	sh:property [
 		sh:class types:DictionaryEntry ;
 		sh:minCount "1"^^xsd:integer ;

diff --git a/ontology/CASE-unstable.ttl b/ontology/CASE-unstable.ttl
@@ -18357,6 +18357,27 @@ types:Dictionary
 	rdfs:label "Dictionary"@en ;
 	rdfs:comment "A dictionary is list of (term/key, value) pairs with each term/key existing no more than once."@en ;
 	rdfs:isDefinedBy <https://ontology.unifiedcyberontology.org/uco/types> ;
+	rdfs:seeAlso [
+		a sh:NodeShape ;
+		rdfs:comment "This anonymous shape is attached to types:Dictionary with rdfs:seeAlso in order to associate a warning-severity SPARQL-based shape, that will only be necessary as an independent shape until UCO 2.0.0."@en ;
+		sh:severity sh:Warning ;
+		sh:sparql [
+			a sh:SPARQLConstraint ;
+			sh:message "A key in a dictionary can appear no more than once."@en ;
+			sh:select """
+				PREFIX types: <https://ontology.unifiedcyberontology.org/uco/types/>
+				SELECT $this ?value
+				WHERE {
+					$this
+						types:entry/types:key ?value ;
+						.
+				}
+				GROUP BY ?value
+				HAVING (COUNT(?value) > 1)
+			""" ;
+		] ;
+		sh:targetClass types:Dictionary ;
+	] ;
 	sh:property [
 		sh:class types:DictionaryEntry ;
 		sh:minCount "1"^^xsd:integer ;