Lady’s Gitweb - Vocab/blob - data/classes/¦OrderedAggregation

   1 <?xml version="1.0"?>
   2 <!--
   3 SPDX-FileCopyrightText: 2025 Lady <https://www.ladys.computer/about/#lady>
   4 SPDX-License-Identifier: CC0-1.0
   5 -->
   6 <!DOCTYPE Class SYSTEM "../../DTD">
   7 <Class status="testing">
   8         <label xml:lang="en">Ordered Aggregation</label>
   9         <comment xml:lang="en">
  10                 <p>
  11                         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>.
  12                 </p>
  13         </comment>
  14         <subClassOf>
  15                 <resource name="ore:Aggregation"/>
  16         </subClassOf>
  17         <subClassOf>
  18                 <Restriction>
  19                         <onProperty>
  20                                 <resource name="hasSlot"/>
  21                         </onProperty>
  22                         <allValuesFrom>
  23                                 <Restriction>
  24                                         <onProperty>
  25                                                 <resource name="n"/>
  26                                         </onProperty>
  27                                         <allValuesFrom>
  28                                                 <resource name="xsd:positiveInteger"/>
  29                                         </allValuesFrom>
  30                                 </Restriction>
  31                         </allValuesFrom>
  32                 </Restriction>
  33         </subClassOf>
  34         <disjointWith>
  35                 <Class>
  36                         <intersectionOf>
  37                                 <resource name="Branch"/>
  38                                 <resource name="BNSComponent"/>
  39                         </intersectionOf>
  40                 </Class>
  41         </disjointWith>
  42 </Class>