From 6e4d8a398d2ba3694013c4434a19bf70560d3f2e Mon Sep 17 00:00:00 2001 From: Alex Nelson Date: Thu, 29 Jun 2023 17:07:35 -0400 Subject: [PATCH 1/2] Bump unstable pointers A follow-on patch will regenerate Make-managed files. References: * https://github.com/ucoProject/UCO/issues/536 Signed-off-by: Alex Nelson --- dependencies/CASE-unstable | 2 +- dependencies/CASE-unstable-2.0.0 | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/dependencies/CASE-unstable b/dependencies/CASE-unstable index e539ae87..b3fa35f6 160000 --- a/dependencies/CASE-unstable +++ b/dependencies/CASE-unstable @@ -1 +1 @@ -Subproject commit e539ae870e6510087d545d90cf9c0cf73e9cd85c +Subproject commit b3fa35f613c7820b0078f903128a07359691885b diff --git a/dependencies/CASE-unstable-2.0.0 b/dependencies/CASE-unstable-2.0.0 index b08d1f88..cb989948 160000 --- a/dependencies/CASE-unstable-2.0.0 +++ b/dependencies/CASE-unstable-2.0.0 @@ -1 +1 @@ -Subproject commit b08d1f8856487fed587dd4e585745de3f9252b5e +Subproject commit cb9899480ecd44b12854c912749e7c775591ee59 From c8377afe8e11a91f465214db90efeacb2b678e26 Mon Sep 17 00:00:00 2001 From: Alex Nelson Date: Thu, 29 Jun 2023 17:12:40 -0400 Subject: [PATCH 2/2] Regenerate Make-managed files References: * https://github.com/ucoProject/UCO/issues/536 Signed-off-by: Alex Nelson --- ontology/CASE-unstable-2.0.0.ttl | 11 +++++++++++ ontology/CASE-unstable.ttl | 12 ++++++++++++ 2 files changed, 23 insertions(+) diff --git a/ontology/CASE-unstable-2.0.0.ttl b/ontology/CASE-unstable-2.0.0.ttl index 3bc1a7b2..f36cf6d0 100644 --- a/ontology/CASE-unstable-2.0.0.ttl +++ b/ontology/CASE-unstable-2.0.0.ttl @@ -6452,6 +6452,17 @@ observable:File rdfs:subClassOf observable:FileSystemObject ; rdfs:label "File"@en ; rdfs:comment "A file is a computer resource for recording data discretely on a computer storage device."@en ; + owl:disjointWith observable:URL ; + sh:targetClass observable:File ; + . + +observable:File-disjointWith-URL-shape + a sh:NodeShape ; + sh:message "observable:File and observable:URL are disjoint classes."@en ; + sh:not [ + a sh:NodeShape ; + sh:class observable:URL ; + ] ; sh:targetClass observable:File ; . diff --git a/ontology/CASE-unstable.ttl b/ontology/CASE-unstable.ttl index e2798f9e..eafdf010 100644 --- a/ontology/CASE-unstable.ttl +++ b/ontology/CASE-unstable.ttl @@ -6452,6 +6452,18 @@ observable:File rdfs:subClassOf observable:FileSystemObject ; rdfs:label "File"@en ; rdfs:comment "A file is a computer resource for recording data discretely on a computer storage device."@en ; + owl:disjointWith observable:URL ; + sh:targetClass observable:File ; + . + +observable:File-disjointWith-URL-shape + a sh:NodeShape ; + sh:message "observable:File and observable:URL are disjoint classes. Assigning both types to a single node will be an error in UCO 2.0.0."@en ; + sh:not [ + a sh:NodeShape ; + sh:class observable:URL ; + ] ; + sh:severity sh:Warning ; sh:targetClass observable:File ; .