From: Lady Date: Mon, 24 Feb 2025 02:10:58 +0000 (-0500) Subject: Add Olo X-Git-Url: https://git.ladys.computer/Vocab/commitdiff_plain/834c9ede26e8a90900ea07e73b79161adb1e4b8b Add Olo This defines Ordered Lists as effectively a more ergonomic kind of Aggregation, which helps with bridging them and Ore‐ or P·C·D·M‐based models. One caveat is that this requires Slots to have exactly one item, and their item to be an object (i·e not a literal). In an alternate universe, Slots could instead have had _either_ an item _or_ a value, but it’s simple enough to just make their item be an object with that value instead. --- diff --git "a/data/classes/olo\302\246OrderedList" "b/data/classes/olo\302\246OrderedList" new file mode 100644 index 0000000..95bd3e6 --- /dev/null +++ "b/data/classes/olo\302\246OrderedList" @@ -0,0 +1,31 @@ + + + + + + +

+ An Aggregation which provides an ordered listing of Slots. +

+

+ Ordered Lists are required to have a length. +

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

+ A Proxy representing a single item in an Ordered List. +

+

+ Slots are required to have an index, which should be less than or equal to its ordered list¦s length, and an item, providing the thing being proxied by the slot. +

+

+ A Slot is not actually required to have an ordered list by , and this caveat may prove useful for ordered slots in Aggregations of indeterminate length, or Aggregations which allow multiple slots with identical indices. + In these cases, Slots will still never·the·less be a proxy in some Aggregation, which provides the context for interpreting their index. +

+ + + + + + + + + + + + + 1 + + + + + + + + 1 + + + + + + + + 1 + + + + + + + diff --git "a/data/datatype_properties/olo\302\246index" "b/data/datatype_properties/olo\302\246index" new file mode 100644 index 0000000..0930507 --- /dev/null +++ "b/data/datatype_properties/olo\302\246index" @@ -0,0 +1,26 @@ + + + + + + +

+ The index of this Slot. +

+

+ Indices start from 1. +

+ + + + + + + + + + + diff --git "a/data/datatype_properties/olo\302\246length" "b/data/datatype_properties/olo\302\246length" new file mode 100644 index 0000000..468e4fc --- /dev/null +++ "b/data/datatype_properties/olo\302\246length" @@ -0,0 +1,23 @@ + + + + + + +

+ The length of this Ordered List. +

+ + + + + + + + + + + diff --git a/data/named_individuals/_OLO_ b/data/named_individuals/_OLO_ new file mode 100644 index 0000000..9dde828 --- /dev/null +++ b/data/named_individuals/_OLO_ @@ -0,0 +1,25 @@ + + + + + + +

+ The Ordered List Ontology (Olo) provides, as its name implies, a small number of terms for use describing ordered lists. + This help to rectify the faults of other list‐specification mechanisms in consort with Owl; Lists are hard to reason about and Containers require an implicit understanding of which Owl does not provide. +

+

+ This ontology interprets Ordered Lists as Aggregations, and their Slots as a kind of Proxy. + This makes them an ergonomic extension to the mechanisms specified in . +

+ + + + + + + + diff --git "a/data/object_properties/olo\302\246item" "b/data/object_properties/olo\302\246item" new file mode 100644 index 0000000..ab3c4d7 --- /dev/null +++ "b/data/object_properties/olo\302\246item" @@ -0,0 +1,23 @@ + + + + + + +

+ The thing being proxied by this Slot. +

+ + + + + + + + + + + diff --git "a/data/object_properties/olo\302\246next" "b/data/object_properties/olo\302\246next" new file mode 100644 index 0000000..56a08b1 --- /dev/null +++ "b/data/object_properties/olo\302\246next" @@ -0,0 +1,26 @@ + + + + + + +

+ The Slot which immediately follows this Slot (by index) in its Ordered List. +

+ + + + + + + + + + + + + + diff --git "a/data/object_properties/olo\302\246ordered_list" "b/data/object_properties/olo\302\246ordered_list" new file mode 100644 index 0000000..ad0cad5 --- /dev/null +++ "b/data/object_properties/olo\302\246ordered_list" @@ -0,0 +1,26 @@ + + + + + + +

+ The Ordered List of this Slot. +

+ + + + + + + + + + + + + + diff --git "a/data/object_properties/olo\302\246previous" "b/data/object_properties/olo\302\246previous" new file mode 100644 index 0000000..4d9b389 --- /dev/null +++ "b/data/object_properties/olo\302\246previous" @@ -0,0 +1,29 @@ + + + + + + +

+ The Slot which immediately precedes this Slot (by index) in its Ordered List. +

+ + + + + + + + + + + + + + + + + diff --git "a/data/object_properties/olo\302\246slot" "b/data/object_properties/olo\302\246slot" new file mode 100644 index 0000000..6beb79b --- /dev/null +++ "b/data/object_properties/olo\302\246slot" @@ -0,0 +1,27 @@ + + + + + + +

+ A Slot in this Ordered List. +

+ + + + + + + + + + + + + + + diff --git "a/data/object_properties/ore\302\246proxyFor" "b/data/object_properties/ore\302\246proxyFor" index c2bd8ed..2ed3a4d 100644 --- "a/data/object_properties/ore\302\246proxyFor" +++ "b/data/object_properties/ore\302\246proxyFor" @@ -4,7 +4,7 @@ SPDX-FileCopyrightText: 2025 Lady SPDX-License-Identifier: CC0-1.0 --> - +

diff --git "a/data/ontologies/\302\246" "b/data/ontologies/\302\246" index cdc6aa1..680b0e9 100644 --- "a/data/ontologies/\302\246" +++ "b/data/ontologies/\302\246" @@ -77,6 +77,10 @@ SPDX-License-Identifier: CC0-1.0 ladys https://vocab.ladys.computer/terms/ + + olo + http://purl.org/ontology/olo/core# + ore http://www.openarchives.org/ore/terms/ diff --git a/transforms/infer.xslt b/transforms/infer.xslt index 056e57a..c37f339 100644 --- a/transforms/infer.xslt +++ b/transforms/infer.xslt @@ -92,7 +92,7 @@ If a copy of the M·P·L was not distributed with this file, You can obtain one - + @@ -175,7 +175,7 @@ If a copy of the M·P·L was not distributed with this file, You can obtain one - + @@ -276,6 +276,7 @@ If a copy of the M·P·L was not distributed with this file, You can obtain one +