Update O·L·O modelling

[Vocab] / data / classes / ¦OrderedAggregation

diff --git a/data/classes/¦OrderedAggregation b/data/classes/¦OrderedAggregation
index 7801433243cff0dd4c83eb3204a57dadb6b3dd97..a82ef3d1f77d366316b1fc11663e4181cd8c2322 100644 (file)
--- a/data/classes/¦OrderedAggregation
+++ b/data/classes/¦OrderedAggregation
@@ -8,10 +8,35 @@ SPDX-License-Identifier: CC0-1.0
        <label xml:lang="en">Ordered Aggregation</label>
        <comment xml:lang="en">
                <p>
-                       An <ref target="ore:Aggregation">Aggregation</ref> which may <ref target="hasSlot">have slots</ref> that are orderable by numeric <ref target="olo:index">index</ref>.
+                       An <ref target="ore:Aggregation">Aggregation</ref> which may <ref target="hasSlot">have slots</ref> that are orderable by positive integral <ref target="n">local notation</ref>.
                </p>
        </comment>
        <subClassOf>
                <resource name="ore:Aggregation"/>
        </subClassOf>
+       <subClassOf>
+               <Restriction>
+                       <onProperty>
+                               <resource name="hasSlot"/>
+                       </onProperty>
+                       <allValuesFrom>
+                               <Restriction>
+                                       <onProperty>
+                                               <resource name="n"/>
+                                       </onProperty>
+                                       <allValuesFrom>
+                                               <resource name="xsd:positiveInteger"/>
+                                       </allValuesFrom>
+                               </Restriction>
+                       </allValuesFrom>
+               </Restriction>
+       </subClassOf>
+       <disjointWith>
+               <Class>
+                       <intersectionOf>
+                               <resource name="Branch"/>
+                               <resource name="BNSComponent"/>
+                       </intersectionOf>
+               </Class>
+       </disjointWith>
 </Class>