Regenerate Make-managed files

References:
* ucoProject/UCO#393

Signed-off-by: Alex Nelson <alexander.nelson@nist.gov>

ontology/CASE-unstable.ttl

@@ -1,3 +1,4 @@
+# imports: http://purl.org/co
 # imports: http://www.w3.org/TR/skos-reference/skos-owl1-dl.rdf
 # imports: https://ontology.caseontology.org/case/investigation
 # imports: https://ontology.caseontology.org/case/vocabulary
@@ -17,6 +18,7 @@
 # imports: https://ontology.unifiedcyberontology.org/uco/vocabulary
 
 @prefix action: <https://ontology.unifiedcyberontology.org/uco/action/> .
+@prefix co: <http://purl.org/co/> .
 @prefix core: <https://ontology.unifiedcyberontology.org/uco/core/> .
 @prefix dcterms: <http://purl.org/dc/terms/> .
 @prefix identity: <https://ontology.unifiedcyberontology.org/uco/identity/> .
@@ -34,6 +36,7 @@
 @prefix time1: <https://ontology.unifiedcyberontology.org/uco/time/> .
 @prefix tool: <https://ontology.unifiedcyberontology.org/uco/tool/> .
 @prefix types: <https://ontology.unifiedcyberontology.org/uco/types/> .
+@prefix uco-co: <https://ontology.unifiedcyberontology.org/co/> .
 @prefix victim: <https://ontology.unifiedcyberontology.org/uco/victim/> .
 @prefix vocab: <https://ontology.caseontology.org/case/vocabulary/> .
 @prefix vocabulary1: <https://ontology.unifiedcyberontology.org/uco/vocabulary/> .
@@ -73,6 +76,12 @@
 	rdfs:label "vocabularies"@en ;
 	.
 
+<https://ontology.unifiedcyberontology.org/co>
+	a owl:Ontology ;
+	rdfs:comment "This ontology defines SHACL shapes to supplement the OWL 2 DL definitions in the Collections Ontology."@en ;
+	owl:imports <http://purl.org/co> ;
+	.
+
 <https://ontology.unifiedcyberontology.org/uco/action>
 	a owl:Ontology ;
 	rdfs:label "uco-action"@en ;
@@ -197,6 +206,10 @@
 	rdfs:label "uco-vocabularies"@en ;
 	.
 
+co:ListItem
+	rdfs:subClassOf co:Item ;
+	.
+
 dcterms:FileFormat
 	a owl:Class ;
 	rdfs:comment "UCO extends dcterms:FileFormat to be an OWL Class in addition to its native definition of an RDF Class."@en ;
@@ -490,6 +503,134 @@ vocab:InvestigationFormVocab
 	) ;
 	.
 
+uco-co:List-shape
+	a sh:NodeShape ;
+	sh:property [
+		sh:class co:ListItem ;
+		sh:path co:item ;
+	] ;
+	sh:targetClass co:List ;
+	.
+
+uco-co:ListItem-shape
+	a sh:NodeShape ;
+	sh:property [
+		rdfs:comment "Adapted from restriction on co:ListItem."@en ;
+		sh:maxCount "1"^^xsd:integer ;
+		sh:path co:index ;
+	] ;
+	sh:targetClass co:ListItem ;
+	.
+
+uco-co:firstItem-subjects-previousItem-shape
+	a sh:PropertyShape ;
+	sh:description "The first item in a list must not have a previous item."@en ;
+	sh:maxCount "0"^^xsd:integer ;
+	sh:path (
+		co:firstItem
+		co:previousItem
+	) ;
+	sh:targetSubjectsOf co:firstItem ;
+	.
+
+uco-co:firstItem-subjects-shape
+	a sh:PropertyShape ;
+	sh:class co:ListItem ;
+	sh:maxCount "1"^^xsd:integer ;
+	sh:nodeKind sh:BlankNodeOrIRI ;
+	sh:path co:firstItem ;
+	sh:targetSubjectsOf co:firstItem ;
+	.
+
+uco-co:followedBy-subjects-shape
+	a sh:PropertyShape ;
+	sh:class co:Item ;
+	sh:description "This shape encodes in SHACL that co:followedBy has range co:Item (induced via the propertyChainAxiom on co:item and superproperty relationship with co:nextItem)."@en ;
+	sh:nodeKind sh:BlankNodeOrIRI ;
+	sh:path co:followedBy ;
+	sh:targetSubjectsOf co:followedBy ;
+	.
+
+uco-co:index-subjects-shape
+	a sh:PropertyShape ;
+	sh:datatype xsd:positiveInteger ;
+	sh:nodeKind sh:Literal ;
+	sh:path co:index ;
+	sh:targetSubjectsOf co:index ;
+	.
+
+uco-co:item-subjects-shape
+	a sh:PropertyShape ;
+	sh:class co:Item ;
+	sh:nodeKind sh:BlankNodeOrIRI ;
+	sh:path co:item ;
+	sh:targetSubjectsOf co:item ;
+	.
+
+uco-co:itemContent-subjects-shape
+	a sh:NodeShape ;
+	sh:not [
+		a sh:PropertyShape ;
+		sh:class co:Item ;
+		sh:description "This shape encodes in SHACL that the range of co:itemContent is the complement of co:Item."@en ;
+		sh:path co:itemContent ;
+	] ;
+	sh:property [
+		a sh:PropertyShape ;
+		sh:description "This shape encodes in SHACL that co:itemContent is an OWL FunctionalProperty (giving the sh:maxCount constraint)."@en ;
+		sh:maxCount "1"^^xsd:integer ;
+		sh:nodeKind sh:BlankNodeOrIRI ;
+		sh:path co:itemContent ;
+	] ;
+	sh:targetSubjectsOf co:itemContent ;
+	.
+
+uco-co:lastItem-subjects-shape
+	sh:class co:ListItem ;
+	sh:maxCount "1"^^xsd:integer ;
+	sh:nodeKind sh:BlankNodeOrIRI ;
+	sh:path co:lastItem ;
+	sh:targetSubjectsOf co:lastItem ;
+	.
+
+uco-co:nextItem-subjects-shape
+	a sh:PropertyShape ;
+	sh:class co:Item ;
+	sh:description "This shape encodes in SHACL that co:nextItem is a FunctionalProperty (giving the sh:maxCount constraint), and has range co:Item (induced via the propertyChainAxiom on co:item)."@en ;
+	sh:maxCount "1"^^xsd:integer ;
+	sh:nodeKind sh:BlankNodeOrIRI ;
+	sh:path co:nextItem ;
+	sh:targetSubjectsOf co:nextItem ;
+	.
+
+uco-co:precededBy-subjects-shape
+	a sh:PropertyShape ;
+	sh:class co:Item ;
+	sh:description "This shape encodes in SHACL that co:precededBy has range co:Item (induced via the propertyChainAxiom on co:item and superproperty relationship with co:previousItem)."@en ;
+	sh:nodeKind sh:BlankNodeOrIRI ;
+	sh:path co:precededBy ;
+	sh:targetSubjectsOf co:precededBy ;
+	.
+
+uco-co:previousItem-subjects-shape
+	a sh:PropertyShape ;
+	sh:class co:Item ;
+	sh:description "This shape encodes in SHACL that co:previousItem is a FunctionalProperty (giving the sh:maxCount constraint), and has range co:Item (induced via the propertyChainAxiom on co:item)."@en ;
+	sh:maxCount "1"^^xsd:integer ;
+	sh:nodeKind sh:BlankNodeOrIRI ;
+	sh:path co:previousItem ;
+	sh:targetSubjectsOf co:previousItem ;
+	.
+
+uco-co:size-subjects-shape
+	a sh:PropertyShape ;
+	sh:datatype xsd:nonNegativeInteger ;
+	sh:maxCount "1"^^xsd:integer ;
+	sh:nodeKind sh:Literal ;
+	sh:path co:size ;
+	sh:targetSubjectsOf co:size ;
+	.
+
 action:Action
 	a
 		owl:Class ,
@@ -17029,3 +17170,11 @@ vocabulary1:WirelessNetworkSecurityModeVocab-members
 	) ;
 	.
 
+[]
+	a owl:Axiom ;
+	rdfs:comment "This triple is repeated from the Collections Ontology."@en ;
+	owl:AnnotatedProperty rdfs:subClassOf ;
+	owl:AnnotatedSource co:ListItem ;
+	owl:AnnotatedTarget co:Item ;
+	.
+