From cc2080ac4ec28f89eb38b14114a59407f28957e9 Mon Sep 17 00:00:00 2001 From: Alex Nelson Date: Tue, 5 Dec 2023 09:45:09 -0500 Subject: [PATCH 1/8] Bump prerelease pointers A follow-on patch will regenerate Make-managed files. References: * https://github.com/ucoProject/UCO/issues/563 Signed-off-by: Alex Nelson --- dependencies/CASE-develop | 2 +- dependencies/CASE-unstable | 2 +- dependencies/CASE-unstable-2.0.0 | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/dependencies/CASE-develop b/dependencies/CASE-develop index 24ea57f8..279d2b79 160000 --- a/dependencies/CASE-develop +++ b/dependencies/CASE-develop @@ -1 +1 @@ -Subproject commit 24ea57f8d30ae2e85dce2fc047345c2b49121f89 +Subproject commit 279d2b7927bbce9c40409939b922a97e5f35f08a diff --git a/dependencies/CASE-unstable b/dependencies/CASE-unstable index b27a5397..d7fe1dd1 160000 --- a/dependencies/CASE-unstable +++ b/dependencies/CASE-unstable @@ -1 +1 @@ -Subproject commit b27a53979abe5463ac30cdadff2907d5d275129b +Subproject commit d7fe1dd15e1955b7f7985bfe022533af916adb48 diff --git a/dependencies/CASE-unstable-2.0.0 b/dependencies/CASE-unstable-2.0.0 index 2f4325ac..e11a4b86 160000 --- a/dependencies/CASE-unstable-2.0.0 +++ b/dependencies/CASE-unstable-2.0.0 @@ -1 +1 @@ -Subproject commit 2f4325ac3756a9ffce3179af453242c9bb186bc8 +Subproject commit e11a4b86da17ca3afc570f39576d25f22efa04c2 From 46e2920d8549673ebcdd13fbca4ee7a3f852875f Mon Sep 17 00:00:00 2001 From: Alex Nelson Date: Tue, 5 Dec 2023 09:49:10 -0500 Subject: [PATCH 2/8] Regenerate Make-managed files References: * https://github.com/ucoProject/UCO/issues/563 Signed-off-by: Alex Nelson --- ontology/CASE-develop.ttl | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/ontology/CASE-develop.ttl b/ontology/CASE-develop.ttl index 8a200e70..b51e735a 100644 --- a/ontology/CASE-develop.ttl +++ b/ontology/CASE-develop.ttl @@ -1056,6 +1056,8 @@ action:Action rdfs:subClassOf core:UcoObject ; rdfs:label "Action"@en ; rdfs:comment "An action is something that may be done or performed."@en ; + rdfs:isDefinedBy ; + owl:disjointWith core:Event ; sh:property [ sh:class action:Action ; @@ -1166,6 +1168,16 @@ action:Action sh:targetClass action:Action ; . +action:Action-disjointWith-Event-shape + a sh:NodeShape ; + sh:message "action:Action and core:Event are disjoint classes."@en ; + sh:not [ + a sh:NodeShape ; + sh:class core:Event ; + ] ; + sh:targetClass action:Action ; + . + action:ActionArgumentFacet a owl:Class , @@ -2061,6 +2073,7 @@ core:Event rdfs:subClassOf core:UcoObject ; rdfs:label "Event"@en ; rdfs:comment "An Event is a noteworthy occurrence (something that happens or might happen)."@en ; + owl:disjointWith action:Action ; sh:property [ sh:class core:UcoObject ; From 3bf9780528f3d77018c67993975c859fea4c15cf Mon Sep 17 00:00:00 2001 From: Alex Nelson Date: Tue, 5 Dec 2023 09:55:07 -0500 Subject: [PATCH 3/8] Bump prerelease pointers A follow-on patch will regenerate Make-managed files. References: * https://github.com/ucoProject/UCO/issues/563 Signed-off-by: Alex Nelson --- dependencies/CASE-develop-2.0.0 | 2 +- dependencies/CASE-unstable-2.0.0 | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/dependencies/CASE-develop-2.0.0 b/dependencies/CASE-develop-2.0.0 index 1ff4e607..93b8147f 160000 --- a/dependencies/CASE-develop-2.0.0 +++ b/dependencies/CASE-develop-2.0.0 @@ -1 +1 @@ -Subproject commit 1ff4e607d48d4a12dbe571011a9fc75a88746d06 +Subproject commit 93b8147f7818d887c9a34c3eb0b053e2149dff28 diff --git a/dependencies/CASE-unstable-2.0.0 b/dependencies/CASE-unstable-2.0.0 index e11a4b86..2416dbab 160000 --- a/dependencies/CASE-unstable-2.0.0 +++ b/dependencies/CASE-unstable-2.0.0 @@ -1 +1 @@ -Subproject commit e11a4b86da17ca3afc570f39576d25f22efa04c2 +Subproject commit 2416dbab16136fc294402964efa4e39d8fd7b3d3 From 732ca0298b6df650cce7a697845698c2c1c4ff5b Mon Sep 17 00:00:00 2001 From: Alex Nelson Date: Tue, 5 Dec 2023 10:18:55 -0500 Subject: [PATCH 4/8] Regenerate Make-managed files References: * https://github.com/ucoProject/UCO/issues/563 Signed-off-by: Alex Nelson --- ontology/CASE-develop-2.0.0.ttl | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/ontology/CASE-develop-2.0.0.ttl b/ontology/CASE-develop-2.0.0.ttl index 84343167..2e271d27 100644 --- a/ontology/CASE-develop-2.0.0.ttl +++ b/ontology/CASE-develop-2.0.0.ttl @@ -1056,6 +1056,8 @@ action:Action rdfs:subClassOf core:UcoObject ; rdfs:label "Action"@en ; rdfs:comment "An action is something that may be done or performed."@en ; + rdfs:isDefinedBy ; + owl:disjointWith core:Event ; sh:property [ sh:class action:Action ; @@ -1166,6 +1168,16 @@ action:Action sh:targetClass action:Action ; . +action:Action-disjointWith-Event-shape + a sh:NodeShape ; + sh:message "action:Action and core:Event are disjoint classes."@en ; + sh:not [ + a sh:NodeShape ; + sh:class core:Event ; + ] ; + sh:targetClass action:Action ; + . + action:ActionArgumentFacet a owl:Class , @@ -2061,6 +2073,7 @@ core:Event rdfs:subClassOf core:UcoObject ; rdfs:label "Event"@en ; rdfs:comment "An Event is a noteworthy occurrence (something that happens or might happen)."@en ; + owl:disjointWith action:Action ; sh:property [ sh:class core:UcoObject ; From 8259f87fa9adaec5ab82698e232b2de32ada604d Mon Sep 17 00:00:00 2001 From: Alex Nelson Date: Tue, 5 Dec 2023 10:55:23 -0500 Subject: [PATCH 5/8] Bump prerelease pointers A follow-on patch will regenerate Make-managed files. References: * https://github.com/ucoProject/UCO/issues/571 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 d7fe1dd1..f7753acb 160000 --- a/dependencies/CASE-unstable +++ b/dependencies/CASE-unstable @@ -1 +1 @@ -Subproject commit d7fe1dd15e1955b7f7985bfe022533af916adb48 +Subproject commit f7753acb726479da23108032121db364010e8d5c diff --git a/dependencies/CASE-unstable-2.0.0 b/dependencies/CASE-unstable-2.0.0 index 2416dbab..7c54e3cf 160000 --- a/dependencies/CASE-unstable-2.0.0 +++ b/dependencies/CASE-unstable-2.0.0 @@ -1 +1 @@ -Subproject commit 2416dbab16136fc294402964efa4e39d8fd7b3d3 +Subproject commit 7c54e3cfa9bc9de6e2e87d924bec77a2768c6924 From f388c239e419fdef05c20ae20cfe205f69284589 Mon Sep 17 00:00:00 2001 From: Alex Nelson Date: Tue, 5 Dec 2023 11:01:58 -0500 Subject: [PATCH 6/8] Regenerate Make-managed files References: * https://github.com/ucoProject/UCO/issues/571 Signed-off-by: Alex Nelson --- ontology/CASE-unstable-2.0.0.ttl | 159 +++++++++++++++++++++++++++---- ontology/CASE-unstable.ttl | 159 +++++++++++++++++++++++++++---- 2 files changed, 280 insertions(+), 38 deletions(-) diff --git a/ontology/CASE-unstable-2.0.0.ttl b/ontology/CASE-unstable-2.0.0.ttl index baeb870c..6b8a6256 100644 --- a/ontology/CASE-unstable-2.0.0.ttl +++ b/ontology/CASE-unstable-2.0.0.ttl @@ -917,25 +917,13 @@ uco-owl:Disjointedness-DP-OP-shape . uco-owl:List-shape - a sh:NodeShape ; - sh:property [ - a sh:PropertyShape ; - sh:maxCount "1"^^xsd:integer ; - sh:path rdf:first ; - ] ; - sh:sparql [ - a sh:SPARQLConstraint ; - rdfs:comment "This requirement is determined from review of the canonical parsing process in Section 3 of the OWL 2 mapping to RDF. Table 5 removes any triple matching the pattern 'x a rdf:List`. All other references throughout Section 3 to rdf:first are identified as blank nodes. Therefore, any non-blank node that is an rdf:List will not be mapped and consumed by the mapping process, making the graph non-conformant with OWL 2 DL."@en ; - rdfs:seeAlso ; - sh:message "The subject of a triple with rdf:first as predicate must be a blank node."@en ; - sh:select """ - SELECT $this - WHERE { - FILTER isIRI($this) - } - """ ; - ] ; - sh:targetSubjectsOf rdf:first ; + a sh:Shape ; + rdfs:comment "This shape's functionality has been exported"@en ; + rdfs:seeAlso + uco-owl:rdf-first-subjects-shape , + uco-owl:rdf-rest-subjects-shape + ; + sh:deactivated "true"^^xsd:boolean ; . uco-owl:ObjectProperty-shacl-constraints-shape @@ -988,6 +976,63 @@ uco-owl:ObjectProperty-shacl-constraints-shape sh:targetClass owl:ObjectProperty ; . +uco-owl:Sequence-shape + a sh:NodeShape ; + rdfs:comment "This shape intentionally has no target declaration. It is instead intended to be incorporated using 'sh:node'."@en ; + rdfs:seeAlso ; + sh:description "This shape is determined from review of the canonical parsing process in Section 3 of the OWL 2 mapping to RDF, particularly Tables 3 and 5. Table 5 removes any triple matching the pattern 'x a rdf:List`. All other references throughout Section 3 to rdf:first are in the context of mapping a Sequence in OWL structure translation, and are denoted as blank nodes, starting with Table 3. A non-blank node that is an rdf:List and used with a sequence-valued property IRI in the OWL namespace will not be mapped and consumed by the mapping process, making the graph non-conformant with OWL 2 DL. But a non-blank node that is an rdf:List can be used if not directly attached to a sequence-valued property IRI in the OWL namespace."@en ; + sh:xone ( + [ + a sh:NodeShape ; + sh:hasValue rdf:nil ; + ] + [ + a sh:NodeShape ; + sh:nodeKind sh:BlankNode ; + sh:property [ + a sh:PropertyShape ; + sh:path [ + sh:oneOrMorePath rdf:rest ; + ] ; + sh:xone ( + [ + a sh:NodeShape ; + sh:hasValue rdf:nil ; + ] + [ + a sh:NodeShape ; + sh:nodeKind sh:BlankNode ; + sh:property [ + a sh:PropertyShape ; + sh:maxCount "1"^^xsd:integer ; + sh:minCount "1"^^xsd:integer ; + sh:path rdf:first ; + ] ; + ] + ) ; + ] ; + ] + ) ; + . + +uco-owl:disjointUnionOf-objects-shape + a sh:NodeShape ; + sh:node uco-owl:Sequence-shape ; + sh:targetObjectsOf owl:disjointUnionOf ; + . + +uco-owl:distinctMembers-objects-shape + a sh:NodeShape ; + sh:node uco-owl:Sequence-shape ; + sh:targetObjectsOf owl:distinctMembers ; + . + +uco-owl:hasKey-objects-shape + a sh:NodeShape ; + sh:node uco-owl:Sequence-shape ; + sh:targetObjectsOf owl:hasKey ; + . + uco-owl:incompatibleWith-direct-import-shape a sh:PropertyShape ; rdfs:seeAlso ; @@ -1023,6 +1068,30 @@ uco-owl:incompatibleWith-imported-version-iri-shape sh:targetObjectsOf owl:incompatibleWith ; . +uco-owl:intersectionOf-objects-shape + a sh:NodeShape ; + sh:node uco-owl:Sequence-shape ; + sh:targetObjectsOf owl:intersectionOf ; + . + +uco-owl:members-objects-shape + a sh:NodeShape ; + sh:node uco-owl:Sequence-shape ; + sh:targetObjectsOf owl:members ; + . + +uco-owl:onProperties-objects-shape + a sh:NodeShape ; + sh:node uco-owl:Sequence-shape ; + sh:targetObjectsOf owl:onProperties ; + . + +uco-owl:oneOf-objects-shape + a sh:NodeShape ; + sh:node uco-owl:Sequence-shape ; + sh:targetObjectsOf owl:oneOf ; + . + uco-owl:ontologyIRI-versionIRI-prerequisite-shape a sh:NodeShape ; rdfs:seeAlso ; @@ -1031,6 +1100,46 @@ uco-owl:ontologyIRI-versionIRI-prerequisite-shape sh:targetSubjectsOf owl:versionIRI ; . +uco-owl:propertyChainAxiom-objects-shape + a sh:NodeShape ; + sh:node uco-owl:Sequence-shape ; + sh:targetObjectsOf owl:propertyChainAxiom ; + . + +uco-owl:rdf-first-subjects-shape + a sh:NodeShape ; + sh:property + [ + a sh:PropertyShape ; + sh:maxCount "1"^^xsd:integer ; + sh:path rdf:first ; + ] , + [ + a sh:PropertyShape ; + sh:minCount "1"^^xsd:integer ; + sh:path rdf:rest ; + ] + ; + sh:targetSubjectsOf rdf:first ; + . + +uco-owl:rdf-rest-subjects-shape + a sh:NodeShape ; + sh:property + [ + a sh:PropertyShape ; + sh:maxCount "1"^^xsd:integer ; + sh:path rdf:rest ; + ] , + [ + a sh:PropertyShape ; + sh:minCount "1"^^xsd:integer ; + sh:path rdf:first ; + ] + ; + sh:targetSubjectsOf rdf:rest ; + . + uco-owl:sh-datatype-objects-shape a sh:NodeShape ; sh:not [ @@ -1040,6 +1149,12 @@ uco-owl:sh-datatype-objects-shape sh:targetObjectsOf sh:datatype ; . +uco-owl:unionOf-objects-shape + a sh:NodeShape ; + sh:node uco-owl:Sequence-shape ; + sh:targetObjectsOf owl:unionOf ; + . + uco-owl:versionIRI-multiversion-shape a sh:PropertyShape ; rdfs:seeAlso ; @@ -1057,6 +1172,12 @@ uco-owl:versionIRI-nodeKind-shape sh:targetSubjectsOf owl:versionIRI ; . +uco-owl:withRestrictions-objects-shape + a sh:NodeShape ; + sh:node uco-owl:Sequence-shape ; + sh:targetObjectsOf owl:withRestrictions ; + . + action:Action a owl:Class , diff --git a/ontology/CASE-unstable.ttl b/ontology/CASE-unstable.ttl index b51e735a..1c7b2f23 100644 --- a/ontology/CASE-unstable.ttl +++ b/ontology/CASE-unstable.ttl @@ -917,25 +917,13 @@ uco-owl:Disjointedness-DP-OP-shape . uco-owl:List-shape - a sh:NodeShape ; - sh:property [ - a sh:PropertyShape ; - sh:maxCount "1"^^xsd:integer ; - sh:path rdf:first ; - ] ; - sh:sparql [ - a sh:SPARQLConstraint ; - rdfs:comment "This requirement is determined from review of the canonical parsing process in Section 3 of the OWL 2 mapping to RDF. Table 5 removes any triple matching the pattern 'x a rdf:List`. All other references throughout Section 3 to rdf:first are identified as blank nodes. Therefore, any non-blank node that is an rdf:List will not be mapped and consumed by the mapping process, making the graph non-conformant with OWL 2 DL."@en ; - rdfs:seeAlso ; - sh:message "The subject of a triple with rdf:first as predicate must be a blank node."@en ; - sh:select """ - SELECT $this - WHERE { - FILTER isIRI($this) - } - """ ; - ] ; - sh:targetSubjectsOf rdf:first ; + a sh:Shape ; + rdfs:comment "This shape's functionality has been exported"@en ; + rdfs:seeAlso + uco-owl:rdf-first-subjects-shape , + uco-owl:rdf-rest-subjects-shape + ; + sh:deactivated "true"^^xsd:boolean ; . uco-owl:ObjectProperty-shacl-constraints-shape @@ -988,6 +976,63 @@ uco-owl:ObjectProperty-shacl-constraints-shape sh:targetClass owl:ObjectProperty ; . +uco-owl:Sequence-shape + a sh:NodeShape ; + rdfs:comment "This shape intentionally has no target declaration. It is instead intended to be incorporated using 'sh:node'."@en ; + rdfs:seeAlso ; + sh:description "This shape is determined from review of the canonical parsing process in Section 3 of the OWL 2 mapping to RDF, particularly Tables 3 and 5. Table 5 removes any triple matching the pattern 'x a rdf:List`. All other references throughout Section 3 to rdf:first are in the context of mapping a Sequence in OWL structure translation, and are denoted as blank nodes, starting with Table 3. A non-blank node that is an rdf:List and used with a sequence-valued property IRI in the OWL namespace will not be mapped and consumed by the mapping process, making the graph non-conformant with OWL 2 DL. But a non-blank node that is an rdf:List can be used if not directly attached to a sequence-valued property IRI in the OWL namespace."@en ; + sh:xone ( + [ + a sh:NodeShape ; + sh:hasValue rdf:nil ; + ] + [ + a sh:NodeShape ; + sh:nodeKind sh:BlankNode ; + sh:property [ + a sh:PropertyShape ; + sh:path [ + sh:oneOrMorePath rdf:rest ; + ] ; + sh:xone ( + [ + a sh:NodeShape ; + sh:hasValue rdf:nil ; + ] + [ + a sh:NodeShape ; + sh:nodeKind sh:BlankNode ; + sh:property [ + a sh:PropertyShape ; + sh:maxCount "1"^^xsd:integer ; + sh:minCount "1"^^xsd:integer ; + sh:path rdf:first ; + ] ; + ] + ) ; + ] ; + ] + ) ; + . + +uco-owl:disjointUnionOf-objects-shape + a sh:NodeShape ; + sh:node uco-owl:Sequence-shape ; + sh:targetObjectsOf owl:disjointUnionOf ; + . + +uco-owl:distinctMembers-objects-shape + a sh:NodeShape ; + sh:node uco-owl:Sequence-shape ; + sh:targetObjectsOf owl:distinctMembers ; + . + +uco-owl:hasKey-objects-shape + a sh:NodeShape ; + sh:node uco-owl:Sequence-shape ; + sh:targetObjectsOf owl:hasKey ; + . + uco-owl:incompatibleWith-direct-import-shape a sh:PropertyShape ; rdfs:seeAlso ; @@ -1023,6 +1068,30 @@ uco-owl:incompatibleWith-imported-version-iri-shape sh:targetObjectsOf owl:incompatibleWith ; . +uco-owl:intersectionOf-objects-shape + a sh:NodeShape ; + sh:node uco-owl:Sequence-shape ; + sh:targetObjectsOf owl:intersectionOf ; + . + +uco-owl:members-objects-shape + a sh:NodeShape ; + sh:node uco-owl:Sequence-shape ; + sh:targetObjectsOf owl:members ; + . + +uco-owl:onProperties-objects-shape + a sh:NodeShape ; + sh:node uco-owl:Sequence-shape ; + sh:targetObjectsOf owl:onProperties ; + . + +uco-owl:oneOf-objects-shape + a sh:NodeShape ; + sh:node uco-owl:Sequence-shape ; + sh:targetObjectsOf owl:oneOf ; + . + uco-owl:ontologyIRI-versionIRI-prerequisite-shape a sh:NodeShape ; rdfs:seeAlso ; @@ -1031,6 +1100,52 @@ uco-owl:ontologyIRI-versionIRI-prerequisite-shape sh:targetSubjectsOf owl:versionIRI ; . +uco-owl:propertyChainAxiom-objects-shape + a sh:NodeShape ; + sh:node uco-owl:Sequence-shape ; + sh:targetObjectsOf owl:propertyChainAxiom ; + . + +uco-owl:rdf-first-subjects-shape + a sh:NodeShape ; + sh:property + [ + a sh:PropertyShape ; + sh:maxCount "1"^^xsd:integer ; + sh:path rdf:first ; + ] , + [ + a sh:PropertyShape ; + sh:minCount "1"^^xsd:integer ; + sh:path rdf:rest ; + ] + ; + sh:targetSubjectsOf rdf:first ; + . + +uco-owl:rdf-rest-subjects-shape + a sh:NodeShape ; + sh:property + [ + a sh:PropertyShape ; + sh:maxCount "1"^^xsd:integer ; + sh:path rdf:rest ; + ] , + [ + a sh:PropertyShape ; + sh:minCount "1"^^xsd:integer ; + sh:path rdf:first ; + ] + ; + sh:targetSubjectsOf rdf:rest ; + . + +uco-owl:unionOf-objects-shape + a sh:NodeShape ; + sh:node uco-owl:Sequence-shape ; + sh:targetObjectsOf owl:unionOf ; + . + uco-owl:versionIRI-multiversion-shape a sh:PropertyShape ; rdfs:seeAlso ; @@ -1048,6 +1163,12 @@ uco-owl:versionIRI-nodeKind-shape sh:targetSubjectsOf owl:versionIRI ; . +uco-owl:withRestrictions-objects-shape + a sh:NodeShape ; + sh:node uco-owl:Sequence-shape ; + sh:targetObjectsOf owl:withRestrictions ; + . + action:Action a owl:Class , From 62624df4714866b7b371e0b5f1725f20f578547a Mon Sep 17 00:00:00 2001 From: Alex Nelson Date: Tue, 5 Dec 2023 13:34:23 -0500 Subject: [PATCH 7/8] Bump prerelease pointers A follow-on patch will regenerate Make-managed files. References: * https://github.com/ucoProject/UCO/issues/571 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 f7753acb..ce25a0b5 160000 --- a/dependencies/CASE-unstable +++ b/dependencies/CASE-unstable @@ -1 +1 @@ -Subproject commit f7753acb726479da23108032121db364010e8d5c +Subproject commit ce25a0b5acc7173941db469f4c4b2e794f3ddd0b diff --git a/dependencies/CASE-unstable-2.0.0 b/dependencies/CASE-unstable-2.0.0 index 7c54e3cf..09e4fdd5 160000 --- a/dependencies/CASE-unstable-2.0.0 +++ b/dependencies/CASE-unstable-2.0.0 @@ -1 +1 @@ -Subproject commit 7c54e3cfa9bc9de6e2e87d924bec77a2768c6924 +Subproject commit 09e4fdd50977a3586b41eac5741ef4b09ff80389 From dc669cc0739870803a32533554366477da4e0f7b Mon Sep 17 00:00:00 2001 From: Alex Nelson Date: Tue, 5 Dec 2023 13:41:05 -0500 Subject: [PATCH 8/8] Regenerate Make-managed files References: * https://github.com/ucoProject/UCO/issues/571 Signed-off-by: Alex Nelson --- ontology/CASE-unstable-2.0.0.ttl | 101 ++++++++++++++++++++++--------- ontology/CASE-unstable.ttl | 101 ++++++++++++++++++++++--------- 2 files changed, 142 insertions(+), 60 deletions(-) diff --git a/ontology/CASE-unstable-2.0.0.ttl b/ontology/CASE-unstable-2.0.0.ttl index 6b8a6256..dc2166ac 100644 --- a/ontology/CASE-unstable-2.0.0.ttl +++ b/ontology/CASE-unstable-2.0.0.ttl @@ -920,6 +920,7 @@ uco-owl:List-shape a sh:Shape ; rdfs:comment "This shape's functionality has been exported"@en ; rdfs:seeAlso + uco-owl:Sequence-shape , uco-owl:rdf-first-subjects-shape , uco-owl:rdf-rest-subjects-shape ; @@ -1015,22 +1016,34 @@ uco-owl:Sequence-shape ) ; . -uco-owl:disjointUnionOf-objects-shape +uco-owl:disjointUnionOf-subjects-shape a sh:NodeShape ; - sh:node uco-owl:Sequence-shape ; - sh:targetObjectsOf owl:disjointUnionOf ; + sh:property [ + a sh:PropertyShape ; + sh:node uco-owl:Sequence-shape ; + sh:path owl:disjointUnionOf ; + ] ; + sh:targetSubjectsOf owl:disjointUnionOf ; . -uco-owl:distinctMembers-objects-shape +uco-owl:distinctMembers-subjects-shape a sh:NodeShape ; - sh:node uco-owl:Sequence-shape ; - sh:targetObjectsOf owl:distinctMembers ; + sh:property [ + a sh:PropertyShape ; + sh:node uco-owl:Sequence-shape ; + sh:path owl:distinctMembers ; + ] ; + sh:targetSubjectsOf owl:distinctMembers ; . -uco-owl:hasKey-objects-shape +uco-owl:hasKey-subjects-shape a sh:NodeShape ; - sh:node uco-owl:Sequence-shape ; - sh:targetObjectsOf owl:hasKey ; + sh:property [ + a sh:PropertyShape ; + sh:node uco-owl:Sequence-shape ; + sh:path owl:hasKey ; + ] ; + sh:targetSubjectsOf owl:hasKey ; . uco-owl:incompatibleWith-direct-import-shape @@ -1068,28 +1081,44 @@ uco-owl:incompatibleWith-imported-version-iri-shape sh:targetObjectsOf owl:incompatibleWith ; . -uco-owl:intersectionOf-objects-shape +uco-owl:intersectionOf-subjects-shape a sh:NodeShape ; - sh:node uco-owl:Sequence-shape ; - sh:targetObjectsOf owl:intersectionOf ; + sh:property [ + a sh:PropertyShape ; + sh:node uco-owl:Sequence-shape ; + sh:path owl:intersectionOf ; + ] ; + sh:targetSubjectsOf owl:intersectionOf ; . -uco-owl:members-objects-shape +uco-owl:members-subjects-shape a sh:NodeShape ; - sh:node uco-owl:Sequence-shape ; - sh:targetObjectsOf owl:members ; + sh:property [ + a sh:PropertyShape ; + sh:node uco-owl:Sequence-shape ; + sh:path owl:members ; + ] ; + sh:targetSubjectsOf owl:members ; . -uco-owl:onProperties-objects-shape +uco-owl:onProperties-subjects-shape a sh:NodeShape ; - sh:node uco-owl:Sequence-shape ; - sh:targetObjectsOf owl:onProperties ; + sh:property [ + a sh:PropertyShape ; + sh:node uco-owl:Sequence-shape ; + sh:path owl:onProperties ; + ] ; + sh:targetSubjectsOf owl:onProperties ; . -uco-owl:oneOf-objects-shape +uco-owl:oneOf-subjects-shape a sh:NodeShape ; - sh:node uco-owl:Sequence-shape ; - sh:targetObjectsOf owl:oneOf ; + sh:property [ + a sh:PropertyShape ; + sh:node uco-owl:Sequence-shape ; + sh:path owl:oneOf ; + ] ; + sh:targetSubjectsOf owl:oneOf ; . uco-owl:ontologyIRI-versionIRI-prerequisite-shape @@ -1100,10 +1129,14 @@ uco-owl:ontologyIRI-versionIRI-prerequisite-shape sh:targetSubjectsOf owl:versionIRI ; . -uco-owl:propertyChainAxiom-objects-shape +uco-owl:propertyChainAxiom-subjects-shape a sh:NodeShape ; - sh:node uco-owl:Sequence-shape ; - sh:targetObjectsOf owl:propertyChainAxiom ; + sh:property [ + a sh:PropertyShape ; + sh:node uco-owl:Sequence-shape ; + sh:path owl:propertyChainAxiom ; + ] ; + sh:targetSubjectsOf owl:propertyChainAxiom ; . uco-owl:rdf-first-subjects-shape @@ -1149,10 +1182,14 @@ uco-owl:sh-datatype-objects-shape sh:targetObjectsOf sh:datatype ; . -uco-owl:unionOf-objects-shape +uco-owl:unionOf-subjects-shape a sh:NodeShape ; - sh:node uco-owl:Sequence-shape ; - sh:targetObjectsOf owl:unionOf ; + sh:property [ + a sh:PropertyShape ; + sh:node uco-owl:Sequence-shape ; + sh:path owl:unionOf ; + ] ; + sh:targetSubjectsOf owl:unionOf ; . uco-owl:versionIRI-multiversion-shape @@ -1172,10 +1209,14 @@ uco-owl:versionIRI-nodeKind-shape sh:targetSubjectsOf owl:versionIRI ; . -uco-owl:withRestrictions-objects-shape +uco-owl:withRestrictions-subjects-shape a sh:NodeShape ; - sh:node uco-owl:Sequence-shape ; - sh:targetObjectsOf owl:withRestrictions ; + sh:property [ + a sh:PropertyShape ; + sh:node uco-owl:Sequence-shape ; + sh:path owl:withRestrictions ; + ] ; + sh:targetSubjectsOf owl:withRestrictions ; . action:Action diff --git a/ontology/CASE-unstable.ttl b/ontology/CASE-unstable.ttl index 1c7b2f23..1947c731 100644 --- a/ontology/CASE-unstable.ttl +++ b/ontology/CASE-unstable.ttl @@ -920,6 +920,7 @@ uco-owl:List-shape a sh:Shape ; rdfs:comment "This shape's functionality has been exported"@en ; rdfs:seeAlso + uco-owl:Sequence-shape , uco-owl:rdf-first-subjects-shape , uco-owl:rdf-rest-subjects-shape ; @@ -1015,22 +1016,34 @@ uco-owl:Sequence-shape ) ; . -uco-owl:disjointUnionOf-objects-shape +uco-owl:disjointUnionOf-subjects-shape a sh:NodeShape ; - sh:node uco-owl:Sequence-shape ; - sh:targetObjectsOf owl:disjointUnionOf ; + sh:property [ + a sh:PropertyShape ; + sh:node uco-owl:Sequence-shape ; + sh:path owl:disjointUnionOf ; + ] ; + sh:targetSubjectsOf owl:disjointUnionOf ; . -uco-owl:distinctMembers-objects-shape +uco-owl:distinctMembers-subjects-shape a sh:NodeShape ; - sh:node uco-owl:Sequence-shape ; - sh:targetObjectsOf owl:distinctMembers ; + sh:property [ + a sh:PropertyShape ; + sh:node uco-owl:Sequence-shape ; + sh:path owl:distinctMembers ; + ] ; + sh:targetSubjectsOf owl:distinctMembers ; . -uco-owl:hasKey-objects-shape +uco-owl:hasKey-subjects-shape a sh:NodeShape ; - sh:node uco-owl:Sequence-shape ; - sh:targetObjectsOf owl:hasKey ; + sh:property [ + a sh:PropertyShape ; + sh:node uco-owl:Sequence-shape ; + sh:path owl:hasKey ; + ] ; + sh:targetSubjectsOf owl:hasKey ; . uco-owl:incompatibleWith-direct-import-shape @@ -1068,28 +1081,44 @@ uco-owl:incompatibleWith-imported-version-iri-shape sh:targetObjectsOf owl:incompatibleWith ; . -uco-owl:intersectionOf-objects-shape +uco-owl:intersectionOf-subjects-shape a sh:NodeShape ; - sh:node uco-owl:Sequence-shape ; - sh:targetObjectsOf owl:intersectionOf ; + sh:property [ + a sh:PropertyShape ; + sh:node uco-owl:Sequence-shape ; + sh:path owl:intersectionOf ; + ] ; + sh:targetSubjectsOf owl:intersectionOf ; . -uco-owl:members-objects-shape +uco-owl:members-subjects-shape a sh:NodeShape ; - sh:node uco-owl:Sequence-shape ; - sh:targetObjectsOf owl:members ; + sh:property [ + a sh:PropertyShape ; + sh:node uco-owl:Sequence-shape ; + sh:path owl:members ; + ] ; + sh:targetSubjectsOf owl:members ; . -uco-owl:onProperties-objects-shape +uco-owl:onProperties-subjects-shape a sh:NodeShape ; - sh:node uco-owl:Sequence-shape ; - sh:targetObjectsOf owl:onProperties ; + sh:property [ + a sh:PropertyShape ; + sh:node uco-owl:Sequence-shape ; + sh:path owl:onProperties ; + ] ; + sh:targetSubjectsOf owl:onProperties ; . -uco-owl:oneOf-objects-shape +uco-owl:oneOf-subjects-shape a sh:NodeShape ; - sh:node uco-owl:Sequence-shape ; - sh:targetObjectsOf owl:oneOf ; + sh:property [ + a sh:PropertyShape ; + sh:node uco-owl:Sequence-shape ; + sh:path owl:oneOf ; + ] ; + sh:targetSubjectsOf owl:oneOf ; . uco-owl:ontologyIRI-versionIRI-prerequisite-shape @@ -1100,10 +1129,14 @@ uco-owl:ontologyIRI-versionIRI-prerequisite-shape sh:targetSubjectsOf owl:versionIRI ; . -uco-owl:propertyChainAxiom-objects-shape +uco-owl:propertyChainAxiom-subjects-shape a sh:NodeShape ; - sh:node uco-owl:Sequence-shape ; - sh:targetObjectsOf owl:propertyChainAxiom ; + sh:property [ + a sh:PropertyShape ; + sh:node uco-owl:Sequence-shape ; + sh:path owl:propertyChainAxiom ; + ] ; + sh:targetSubjectsOf owl:propertyChainAxiom ; . uco-owl:rdf-first-subjects-shape @@ -1140,10 +1173,14 @@ uco-owl:rdf-rest-subjects-shape sh:targetSubjectsOf rdf:rest ; . -uco-owl:unionOf-objects-shape +uco-owl:unionOf-subjects-shape a sh:NodeShape ; - sh:node uco-owl:Sequence-shape ; - sh:targetObjectsOf owl:unionOf ; + sh:property [ + a sh:PropertyShape ; + sh:node uco-owl:Sequence-shape ; + sh:path owl:unionOf ; + ] ; + sh:targetSubjectsOf owl:unionOf ; . uco-owl:versionIRI-multiversion-shape @@ -1163,10 +1200,14 @@ uco-owl:versionIRI-nodeKind-shape sh:targetSubjectsOf owl:versionIRI ; . -uco-owl:withRestrictions-objects-shape +uco-owl:withRestrictions-subjects-shape a sh:NodeShape ; - sh:node uco-owl:Sequence-shape ; - sh:targetObjectsOf owl:withRestrictions ; + sh:property [ + a sh:PropertyShape ; + sh:node uco-owl:Sequence-shape ; + sh:path owl:withRestrictions ; + ] ; + sh:targetSubjectsOf owl:withRestrictions ; . action:Action