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.

Helping to facilitate the above is a new Ordered Aggregation in the
`ladys:` name·space, which is like an Ordered List but without the
requirement of a length.

diff --git a/data/classes/olo¦OrderedList b/data/classes/olo¦OrderedList
new file mode 100644 (file)
index 0000000..febdc9d
--- /dev/null
+++ b/data/classes/olo¦OrderedList
@@ -0,0 +1,28 @@
+<?xml version="1.0"?>
+<!--
+SPDX-FileCopyrightText: 2025 Lady <https://www.ladys.computer/about/#lady>
+SPDX-License-Identifier: CC0-1.0
+-->
+<!DOCTYPE Class SYSTEM "../../DTD">
+<Class>
+       <label xml:lang="en">Ordered List</label>
+       <comment xml:lang="en">
+               <p>
+                       An <ref target="OrderedAggregation">Ordered Aggregation</ref> which has a definite <ref target="olo:length">length</ref>.
+               </p>
+       </comment>
+       <isDefinedBy>
+               <SpecificResource source="(OLO)" fragment="OrderedList"/>
+       </isDefinedBy>
+       <subClassOf>
+               <resource name="OrderedAggregation"/>
+       </subClassOf>
+       <subClassOf>
+               <Restriction>
+                       <onProperty>
+                               <resource name="olo:length"/>
+                       </onProperty>
+                       <cardinality>1</cardinality>
+               </Restriction>
+       </subClassOf>
+</Class>

diff --git a/data/classes/olo¦Slot b/data/classes/olo¦Slot
new file mode 100644 (file)
index 0000000..b49cf97
--- /dev/null
+++ b/data/classes/olo¦Slot
@@ -0,0 +1,54 @@
+<?xml version="1.0"?>
+<!--
+SPDX-FileCopyrightText: 2025 Lady <https://www.ladys.computer/about/#lady>
+SPDX-License-Identifier: CC0-1.0
+-->
+<!DOCTYPE Class SYSTEM "../../DTD">
+<Class>
+       <label xml:lang="en">Slot</label>
+       <comment xml:lang="en">
+               <p>
+                       A <ref target="ore:Proxy">Proxy</ref> representing a single item associated with a numeric <ref target="olo:index">index</ref>.
+               </p>
+               <p>
+                       The <ref target="olo:item">item</ref> of a Slot provides the thing being it proxies.
+               </p>
+               <p>
+                       When an <ref target="OrderedAggregation">Ordered Aggregation</ref> <ref target="hasSlot">has a slot</ref>, its index must be unique within that Ordered Aggregation.
+                       However, Slots are permitted to <ref target="ore:proxyIn">be proxies in</ref> other kinds of <ref target="ore:Aggregation">Aggregation</ref>, in which case index uniqueness is not required.
+               </p>
+               <p>
+                       When a Slot <ref target="olo:ordered_list">has an ordered list</ref>, its index should be less than or equal to the <ref target="olo:length">length</ref> of that <ref target="olo:OrderedList">Ordered List</ref>.
+               </p>
+       </comment>
+       <isDefinedBy>
+               <SpecificResource source="(OLO)" fragment="Slot"/>
+       </isDefinedBy>
+       <subClassOf>
+               <resource name="ore:Proxy"/>
+       </subClassOf>
+       <subClassOf>
+               <Restriction>
+                       <onProperty>
+                               <resource name="olo:index"/>
+                       </onProperty>
+                       <cardinality>1</cardinality>
+               </Restriction>
+       </subClassOf>
+       <subClassOf>
+               <Restriction>
+                       <onProperty>
+                               <resource name="olo:item"/>
+                       </onProperty>
+                       <cardinality>1</cardinality>
+               </Restriction>
+       </subClassOf>
+       <hasKey>
+               <ObjectProperty>
+                       <inverseOf>
+                               <resource name="hasSlot"/>
+                       </inverseOf>
+               </ObjectProperty>
+               <resource name="olo:index"/>
+       </hasKey>
+</Class>

diff --git a/data/classes/¦OrderedAggregation b/data/classes/¦OrderedAggregation
new file mode 100644 (file)
index 0000000..7801433
--- /dev/null
+++ b/data/classes/¦OrderedAggregation
@@ -0,0 +1,17 @@
+<?xml version="1.0"?>
+<!--
+SPDX-FileCopyrightText: 2025 Lady <https://www.ladys.computer/about/#lady>
+SPDX-License-Identifier: CC0-1.0
+-->
+<!DOCTYPE Class SYSTEM "../../DTD">
+<Class status="testing">
+       <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>.
+               </p>
+       </comment>
+       <subClassOf>
+               <resource name="ore:Aggregation"/>
+       </subClassOf>
+</Class>

diff --git a/data/datatype_properties/olo¦index b/data/datatype_properties/olo¦index
new file mode 100644 (file)
index 0000000..0930507
--- /dev/null
+++ b/data/datatype_properties/olo¦index
@@ -0,0 +1,26 @@
+<?xml version="1.0"?>
+<!--
+SPDX-FileCopyrightText: 2025 Lady <https://www.ladys.computer/about/#lady>
+SPDX-License-Identifier: CC0-1.0
+-->
+<!DOCTYPE DatatypeProperty SYSTEM "../../DTD">
+<DatatypeProperty functional="yes">
+       <label xml:lang="en">index</label>
+       <comment xml:lang="en">
+               <p>
+                       The index of this <ref target="olo:Slot">Slot</ref>.
+               </p>
+               <p>
+                       Indices start from 1.
+               </p>
+       </comment>
+       <isDefinedBy>
+               <SpecificResource source="(OLO)" fragment="index"/>
+       </isDefinedBy>
+       <domain>
+               <resource name="olo:Slot"/>
+       </domain>
+       <range>
+               <resource name="xsd:positiveInteger"/>
+       </range>
+</DatatypeProperty>

diff --git a/data/datatype_properties/olo¦length b/data/datatype_properties/olo¦length
new file mode 100644 (file)
index 0000000..468e4fc
--- /dev/null
+++ b/data/datatype_properties/olo¦length
@@ -0,0 +1,23 @@
+<?xml version="1.0"?>
+<!--
+SPDX-FileCopyrightText: 2025 Lady <https://www.ladys.computer/about/#lady>
+SPDX-License-Identifier: CC0-1.0
+-->
+<!DOCTYPE DatatypeProperty SYSTEM "../../DTD">
+<DatatypeProperty functional="yes">
+       <label xml:lang="en">length</label>
+       <comment xml:lang="en">
+               <p>
+                       The length of this <ref target="olo:OrderedList">Ordered List</ref>.
+               </p>
+       </comment>
+       <isDefinedBy>
+               <SpecificResource source="(OLO)" fragment="length"/>
+       </isDefinedBy>
+       <domain>
+               <resource name="olo:OrderedList"/>
+       </domain>
+       <range>
+               <resource name="xsd:nonNegativeInteger"/>
+       </range>
+</DatatypeProperty>

diff --git a/data/named_individuals/_OLO_ b/data/named_individuals/_OLO_
new file mode 100644 (file)
index 0000000..9dde828
--- /dev/null
+++ b/data/named_individuals/_OLO_
@@ -0,0 +1,25 @@
+<?xml version="1.0"?>
+<!--
+SPDX-FileCopyrightText: 2025 Lady <https://www.ladys.computer/about/#lady>
+SPDX-License-Identifier: CC0-1.0
+-->
+<!DOCTYPE NamedIndividual SYSTEM "../../DTD">
+<NamedIndividual name="http://purl.org/ontology/olo/core">
+       <label xml:lang="en">Olo</label>
+       <comment xml:lang="en">
+               <p>
+                       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; <ref target="rdf:List">Lists</ref> are hard to reason about and <ref target="rdfs:Container">Containers</ref> require an implicit understanding of <resource name="rdfs:ContainerMembershipProperty"/> which Owl does not provide.
+               </p>
+               <p>
+                       This ontology interprets <ref target="olo:OrderedList">Ordered Lists</ref> as <ref target="ore:Aggregation">Aggregations</ref>, and their <ref target="olo:Slot">Slots</ref> as a kind of <ref target="ore:Proxy">Proxy</ref>.
+                       This makes them an ergonomic extension to the mechanisms specified in <ptr target="(OAI-ORE)"/>.
+               </p>
+       </comment>
+       <type>
+               <resource name="dcterms:BibliographicResource"/>
+       </type>
+       <type>
+               <resource name="doap:Specification"/>
+       </type>
+</NamedIndividual>

diff --git a/data/object_properties/olo¦item b/data/object_properties/olo¦item
new file mode 100644 (file)
index 0000000..ab3c4d7
--- /dev/null
+++ b/data/object_properties/olo¦item
@@ -0,0 +1,23 @@
+<?xml version="1.0"?>
+<!--
+SPDX-FileCopyrightText: 2025 Lady <https://www.ladys.computer/about/#lady>
+SPDX-License-Identifier: CC0-1.0
+-->
+<!DOCTYPE ObjectProperty SYSTEM "../../DTD">
+<ObjectProperty functional="yes" irreflexive="yes">
+       <label xml:lang="en">has item</label>
+       <comment xml:lang="en">
+               <p>
+                       The thing being proxied by this <ref target="olo:Slot">Slot</ref>.
+               </p>
+       </comment>
+       <isDefinedBy>
+               <SpecificResource source="(OLO)" fragment="item"/>
+       </isDefinedBy>
+       <subPropertyOf>
+               <resource name="ore:proxyFor"/>
+       </subPropertyOf>
+       <domain>
+               <resource name="olo:Slot"/>
+       </domain>
+</ObjectProperty>

diff --git a/data/object_properties/olo¦next b/data/object_properties/olo¦next
new file mode 100644 (file)
index 0000000..56a08b1
--- /dev/null
+++ b/data/object_properties/olo¦next
@@ -0,0 +1,26 @@
+<?xml version="1.0"?>
+<!--
+SPDX-FileCopyrightText: 2025 Lady <https://www.ladys.computer/about/#lady>
+SPDX-License-Identifier: CC0-1.0
+-->
+<!DOCTYPE ObjectProperty SYSTEM "../../DTD">
+<ObjectProperty functional="yes" inverseFunctional="yes">
+       <label xml:lang="en">has next</label>
+       <comment xml:lang="en">
+               <p>
+                       The <ref target="olo:Slot">Slot</ref> which immediately follows this Slot (by index) in its <ref target="olo:OrderedList">Ordered List</ref>.
+               </p>
+       </comment>
+       <isDefinedBy>
+               <SpecificResource source="(OLO)" fragment="next"/>
+       </isDefinedBy>
+       <subPropertyOf>
+               <resource name="rel:next"/>
+       </subPropertyOf>
+       <domain>
+               <resource name="olo:Slot"/>
+       </domain>
+       <range>
+               <resource name="olo:Slot"/>
+       </range>
+</ObjectProperty>

diff --git a/data/object_properties/olo¦ordered_list b/data/object_properties/olo¦ordered_list
new file mode 100644 (file)
index 0000000..ad0cad5
--- /dev/null
+++ b/data/object_properties/olo¦ordered_list
@@ -0,0 +1,26 @@
+<?xml version="1.0"?>
+<!--
+SPDX-FileCopyrightText: 2025 Lady <https://www.ladys.computer/about/#lady>
+SPDX-License-Identifier: CC0-1.0
+-->
+<!DOCTYPE ObjectProperty SYSTEM "../../DTD">
+<ObjectProperty functional="yes">
+       <label xml:lang="en">has ordered list</label>
+       <comment xml:lang="en">
+               <p>
+                       The <ref target="olo:OrderedList">Ordered List</ref> of this <ref target="olo:Slot">Slot</ref>.
+               </p>
+       </comment>
+       <isDefinedBy>
+               <SpecificResource source="(OLO)" fragment="ordered_list"/>
+       </isDefinedBy>
+       <subPropertyOf>
+               <resource name="ore:proxyIn"/>
+       </subPropertyOf>
+       <inverseOf>
+               <resource name="olo:slot"/>
+       </inverseOf>
+       <domain>
+               <resource name="olo:Slot"/>
+       </domain>
+</ObjectProperty>

diff --git a/data/object_properties/olo¦previous b/data/object_properties/olo¦previous
new file mode 100644 (file)
index 0000000..4d9b389
--- /dev/null
+++ b/data/object_properties/olo¦previous
@@ -0,0 +1,29 @@
+<?xml version="1.0"?>
+<!--
+SPDX-FileCopyrightText: 2025 Lady <https://www.ladys.computer/about/#lady>
+SPDX-License-Identifier: CC0-1.0
+-->
+<!DOCTYPE ObjectProperty SYSTEM "../../DTD">
+<ObjectProperty functional="yes" inverseFunctional="yes">
+       <label xml:lang="en">has previous</label>
+       <comment xml:lang="en">
+               <p>
+                       The <ref target="olo:Slot">Slot</ref> which immediately precedes this Slot (by index) in its <ref target="olo:OrderedList">Ordered List</ref>.
+               </p>
+       </comment>
+       <isDefinedBy>
+               <SpecificResource source="(OLO)" fragment="previous"/>
+       </isDefinedBy>
+       <subPropertyOf>
+               <resource name="rel:previous"/>
+       </subPropertyOf>
+       <inverseOf>
+               <resource name="olo:next"/>
+       </inverseOf>
+       <domain>
+               <resource name="olo:Slot"/>
+       </domain>
+       <range>
+               <resource name="olo:Slot"/>
+       </range>
+</ObjectProperty>

diff --git a/data/object_properties/olo¦slot b/data/object_properties/olo¦slot
new file mode 100644 (file)
index 0000000..8aac113
--- /dev/null
+++ b/data/object_properties/olo¦slot
@@ -0,0 +1,23 @@
+<?xml version="1.0"?>
+<!--
+SPDX-FileCopyrightText: 2025 Lady <https://www.ladys.computer/about/#lady>
+SPDX-License-Identifier: CC0-1.0
+-->
+<!DOCTYPE ObjectProperty SYSTEM "../../DTD">
+<ObjectProperty inverseFunctional="yes">
+       <label xml:lang="en">has slot</label>
+       <comment xml:lang="en">
+               <p>
+                       A <ref target="olo:Slot">Slot</ref> in this <ref target="olo:OrderedList">Ordered List</ref>.
+               </p>
+       </comment>
+       <isDefinedBy>
+               <SpecificResource source="(OLO)" fragment="slot"/>
+       </isDefinedBy>
+       <subPropertyOf>
+               <resource name="hasSlot"/>
+       </subPropertyOf>
+       <domain>
+               <resource name="olo:OrderedList"/>
+       </domain>
+</ObjectProperty>

diff --git a/data/object_properties/ore¦proxyFor b/data/object_properties/ore¦proxyFor
index c2bd8ed76e49da226ad1c894347963053268ba04..2ed3a4d273069dd17eed9fcf50caca8c1fd32c2d 100644 (file)
--- a/data/object_properties/ore¦proxyFor
+++ b/data/object_properties/ore¦proxyFor
@@ -4,7 +4,7 @@ SPDX-FileCopyrightText: 2025 Lady <https://www.ladys.computer/about/#lady>
 SPDX-License-Identifier: CC0-1.0
 -->
 <!DOCTYPE ObjectProperty SYSTEM "../../DTD">
 SPDX-License-Identifier: CC0-1.0
 -->
 <!DOCTYPE ObjectProperty SYSTEM "../../DTD">

-<ObjectProperty functional="yes">
+<ObjectProperty functional="yes" irreflexive="yes">

        <label xml:lang="en">proxy for</label>
        <comment xml:lang="en">
                <p>
        <label xml:lang="en">proxy for</label>
        <comment xml:lang="en">
                <p>

diff --git a/data/object_properties/¦hasSlot b/data/object_properties/¦hasSlot
new file mode 100644 (file)
index 0000000..fe77399
--- /dev/null
+++ b/data/object_properties/¦hasSlot
@@ -0,0 +1,27 @@
+<?xml version="1.0"?>
+<!--
+SPDX-FileCopyrightText: 2025 Lady <https://www.ladys.computer/about/#lady>
+SPDX-License-Identifier: CC0-1.0
+-->
+<!DOCTYPE ObjectProperty SYSTEM "../../DTD">
+<ObjectProperty inverseFunctional="yes" status="testing">
+       <label xml:lang="en">has slot</label>
+       <comment xml:lang="en">
+               <p>
+                       A <ref target="olo:Slot">Slot</ref> in this <ref target="OrderedAggregation">Ordered Aggregation</ref>.
+               </p>
+       </comment>
+       <subPropertyOf>
+               <ObjectProperty>
+                       <inverseOf>
+                               <resource name="ore:proxyIn"/>
+                       </inverseOf>
+               </ObjectProperty>
+       </subPropertyOf>
+       <domain>
+               <resource name="OrderedAggregation"/>
+       </domain>
+       <range>
+               <resource name="olo:Slot"/>
+       </range>
+</ObjectProperty>

diff --git a/data/ontologies/¦ b/data/ontologies/¦
index cdc6aa13db8d94747bc365ad1ad74610dc12b434..680b0e9deaf293da51fb8a6b8de340f4599cb2f5 100644 (file)
--- a/data/ontologies/¦
+++ b/data/ontologies/¦
@@ -77,6 +77,10 @@ SPDX-License-Identifier: CC0-1.0
                <prefix>ladys</prefix>
                <namespace>https://vocab.ladys.computer/terms/</namespace>
        </declare>
                <prefix>ladys</prefix>
                <namespace>https://vocab.ladys.computer/terms/</namespace>
        </declare>

+       <declare>
+               <prefix>olo</prefix>
+               <namespace>http://purl.org/ontology/olo/core#</namespace>
+       </declare>

        <declare>
                <prefix>ore</prefix>
                <namespace>http://www.openarchives.org/ore/terms/</namespace>
        <declare>
                <prefix>ore</prefix>
                <namespace>http://www.openarchives.org/ore/terms/</namespace>

diff --git a/transforms/infer.xslt b/transforms/infer.xslt
index 056e57a7d8b0b4d8ec52dfc1da5c5f0787f1bcb7..c37f339ab80520dfedea887ed26a8d03954a90f2 100644 (file)
--- 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
                                                                        <with-param name="source" select="$source"/>
                                                                </apply-templates>
                                                        </for-each>
                                                                        <with-param name="source" select="$source"/>
                                                                </apply-templates>
                                                        </for-each>

-                                                       <for-each select="key($relationship-key, $source)">
+                                                       <for-each select="key($relationship-key, $source)[@rdf:about]">

                                                                <apply-templates select="." mode="Vocab:format-get">
                                                                        <with-param name="source" select="string(@rdf:about)"/>
                                                                </apply-templates>
                                                                <apply-templates select="." mode="Vocab:format-get">
                                                                        <with-param name="source" select="string(@rdf:about)"/>
                                                                </apply-templates>


@@ -175,7 +175,7 @@ If a copy of the M·P·L was not distributed with this file, You can obtain one
                                                                <with-param name="source" select="$source"/>
                                                        </apply-templates>
                                                </for-each>
                                                                <with-param name="source" select="$source"/>
                                                        </apply-templates>
                                                </for-each>

-                                               <for-each select="key(concat('Vocab:equivalent-', $kind), $source)">
+                                               <for-each select="key(concat('Vocab:equivalent-', $kind), $source)[@rdf:about]">

                                                        <apply-templates select="." mode="Vocab:format-get">
                                                                <with-param name="source" select="string(@rdf:about)"/>
                                                        </apply-templates>
                                                        <apply-templates select="." mode="Vocab:format-get">
                                                                <with-param name="source" select="string(@rdf:about)"/>
                                                        </apply-templates>


@@ -276,6 +276,7 @@ If a copy of the M·P·L was not distributed with this file, You can obtain one
                                </element>
                        </when>
                        <otherwise>
                                </element>
                        </when>
                        <otherwise>

+                               <!-- assume this is a property (like `owl:inverseOf´), not an instance (like `owl:ObjectProperty´); in this case, the members are what is desired -->

                                <for-each select="*">
                                        <copy>
                                                <copy-of select="@*|node()"/>
                                <for-each select="*">
                                        <copy>
                                                <copy-of select="@*|node()"/>