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

   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">Slot</label>
   9         <comment xml:lang="en">
  10                 <p>
  11                         A <ref target="ore:Proxy">Proxy</ref> which has a <ref target="n">local notation</ref>, unique within the <ref target="ore:Aggregation">Aggregation</ref> that it is <ref target="ore:proxyIn">proxy in</ref>.
  12                 </p>
  13         </comment>
  14         <subClassOf>
  15                 <resource name="ore:Proxy"/>
  16         </subClassOf>
  17         <subClassOf>
  18                 <Restriction>
  19                         <onProperty>
  20                                 <ObjectProperty>
  21                                         <inverseOf>
  22                                                 <resource name="hasSlot"/>
  23                                         </inverseOf>
  24                                 </ObjectProperty>
  25                         </onProperty>
  26                         <cardinality>1</cardinality>
  27                 </Restriction>
  28         </subClassOf>
  29         <subClassOf>
  30                 <Restriction>
  31                         <onProperty>
  32                                 <ObjectProperty>
  33                                         <inverseOf>
  34                                                 <resource name="inSlot"/>
  35                                         </inverseOf>
  36                                 </ObjectProperty>
  37                         </onProperty>
  38                         <cardinality>1</cardinality>
  39                 </Restriction>
  40         </subClassOf>
  41         <subClassOf>
  42                 <Restriction>
  43                         <onProperty>
  44                                 <resource name="n"/>
  45                         </onProperty>
  46                         <cardinality>1</cardinality>
  47                 </Restriction>
  48         </subClassOf>
  49         <disjointWith>
  50                 <resource name="ore:Aggregation"/>
  51         </disjointWith>
  52 </Class>