From: Lady Date: Sat, 13 Sep 2025 17:09:50 +0000 (-0400) Subject: Update O·L·O modelling X-Git-Url: https://git.ladys.computer/Vocab/commitdiff_plain/998b45e9871fa1512aa67386ba54489562a7fe55 Update O·L·O modelling This commit introduces new `OrderedAggregation` and `Slot` terms in the `ladys:` name·space upon which O·L·O is built. The `ladys:` versions of these classes differ in that they do not require an `olo:length`. --- diff --git "a/data/classes/olo\302\246OrderedList" "b/data/classes/olo\302\246OrderedList" index febdc9d..4b6d01a 100644 --- "a/data/classes/olo\302\246OrderedList" +++ "b/data/classes/olo\302\246OrderedList" @@ -17,6 +17,16 @@ SPDX-License-Identifier: CC0-1.0 + + + + + + + + + + diff --git "a/data/classes/olo\302\246Slot" "b/data/classes/olo\302\246Slot" index b49cf97..9b1eca9 100644 --- "a/data/classes/olo\302\246Slot" +++ "b/data/classes/olo\302\246Slot" @@ -14,18 +14,22 @@ SPDX-License-Identifier: CC0-1.0 The item of a Slot provides the thing being it proxies.

- When an Ordered Aggregation has a slot, its index must be unique within that Ordered Aggregation. - However, Slots are permitted to be proxies in other kinds of Aggregation, in which case index uniqueness is not required. -

-

- When a Slot has an ordered list, its index should be less than or equal to the length of that Ordered List. + The index of a Slot should be less than or equal to the length of its ordered list.

- + + + + + + + + 1 + @@ -43,12 +47,4 @@ SPDX-License-Identifier: CC0-1.0 1 - - - - - - - - diff --git "a/data/classes/owl\302\246Nothing" "b/data/classes/owl\302\246Nothing" new file mode 100644 index 0000000..d7957ef --- /dev/null +++ "b/data/classes/owl\302\246Nothing" @@ -0,0 +1,17 @@ + + + + + + +

+ No thing. +

+ + + + + diff --git "a/data/classes/owl\302\246Thing" "b/data/classes/owl\302\246Thing" new file mode 100644 index 0000000..aef4566 --- /dev/null +++ "b/data/classes/owl\302\246Thing" @@ -0,0 +1,21 @@ + + + + + + +

+ Any thing. +

+ + + + + + + + + diff --git "a/data/classes/\302\246OrderedAggregation" "b/data/classes/\302\246OrderedAggregation" index 7801433..a82ef3d 100644 --- "a/data/classes/\302\246OrderedAggregation" +++ "b/data/classes/\302\246OrderedAggregation" @@ -8,10 +8,35 @@ SPDX-License-Identifier: CC0-1.0

- An Aggregation which may have slots that are orderable by numeric index. + An Aggregation which may have slots that are orderable by positive integral local notation.

+ + + + + + + + + + + + + + + + + + + + + + + + + diff --git "a/data/classes/\302\246Slot" "b/data/classes/\302\246Slot" new file mode 100644 index 0000000..8668979 --- /dev/null +++ "b/data/classes/\302\246Slot" @@ -0,0 +1,52 @@ + + + + + + +

+ A Proxy which has a local notation, unique within the Aggregation that it is proxy in. +

+ + + + + + + + + + + + + + 1 + + + + + + + + + + + + 1 + + + + + + + + 1 + + + + + + diff --git "a/data/datatype_properties/\302\246n" "b/data/datatype_properties/\302\246n" index e120d9d..34ebf29 100644 --- "a/data/datatype_properties/\302\246n" +++ "b/data/datatype_properties/\302\246n" @@ -4,11 +4,11 @@ SPDX-FileCopyrightText: 2025 Lady SPDX-License-Identifier: CC0-1.0 --> - +

- An integer, string, or time·stamp which identifies and orders a thing within a given context. + An integer, string, or time·stamp which identifies and orders a thing within its local context.

String values can either be valid ¦s or else have the form of a or with no time·zone component. @@ -152,6 +152,14 @@ SPDX-License-Identifier: CC0-1.0 + + + + + + 1 + + diff --git "a/data/object_properties/olo\302\246item" "b/data/object_properties/olo\302\246item" index ab3c4d7..3a162a5 100644 --- "a/data/object_properties/olo\302\246item" +++ "b/data/object_properties/olo\302\246item" @@ -15,7 +15,11 @@ SPDX-License-Identifier: CC0-1.0 - + + + + + diff --git "a/data/object_properties/olo\302\246slot" "b/data/object_properties/olo\302\246slot" index 8aac113..423d1ec 100644 --- "a/data/object_properties/olo\302\246slot" +++ "b/data/object_properties/olo\302\246slot" @@ -20,4 +20,7 @@ SPDX-License-Identifier: CC0-1.0 + + + diff --git "a/data/object_properties/ore\302\246proxyIn" "b/data/object_properties/ore\302\246proxyIn" index 29023d2..feafc1f 100644 --- "a/data/object_properties/ore\302\246proxyIn" +++ "b/data/object_properties/ore\302\246proxyIn" @@ -14,6 +14,9 @@ SPDX-License-Identifier: CC0-1.0 + + + diff --git "a/data/object_properties/\302\246hasSlot" "b/data/object_properties/\302\246hasSlot" index fe77399..0cf4f11 100644 --- "a/data/object_properties/\302\246hasSlot" +++ "b/data/object_properties/\302\246hasSlot" @@ -8,7 +8,7 @@ SPDX-License-Identifier: CC0-1.0

- A Slot in this Ordered Aggregation. + A Slot in this Aggregation.

@@ -19,9 +19,9 @@ SPDX-License-Identifier: CC0-1.0 - + - + diff --git "a/data/object_properties/\302\246in" "b/data/object_properties/\302\246in" new file mode 100644 index 0000000..99e40f5 --- /dev/null +++ "b/data/object_properties/\302\246in" @@ -0,0 +1,17 @@ + + + + + + +

+ The local context for this thing, in terms of which its properties should be considered. +

+

+ If a thing does not have an inherent local context, local contexts (and associated properties) may be added thru the use of Proxies. +

+ + diff --git "a/data/object_properties/\302\246inSlot" "b/data/object_properties/\302\246inSlot" new file mode 100644 index 0000000..1a5bcdb --- /dev/null +++ "b/data/object_properties/\302\246inSlot" @@ -0,0 +1,24 @@ + + + + + + +

+ A Slot that is proxy for this thing. +

+ + + + + + + + + + + +