From: Lady Date: Sun, 23 Feb 2025 23:28:05 +0000 (-0500) Subject: Improvements to P·C·D·M and Ore modelling X-Git-Url: https://git.ladys.computer/Vocab/commitdiff_plain/0b4add7b2a7686122627292dece418b0ec042275 Improvements to P·C·D·M and Ore modelling - `ore:Proxy` is now a subclass of `anno:ResourceSelection`, via the new `ladys:Proxy` class (a Resource Selection which explicitly selects everything). - P·C·D·M object property domains and ranges have been expanded to just `ore:Aggregation` where appropriate, enabling their use with other kinds of Aggregations. - Ore Proxy properties now imply membership in the Aggregation that the Proxy is in. - The use of `rel:previous` and `rel:next` for Proxies as specified by P·C·D·M has been documented and appropriate restrictions applied. --- diff --git "a/data/classes/ore\302\246Proxy" "b/data/classes/ore\302\246Proxy" index acebdbf..78b8341 100644 --- "a/data/classes/ore\302\246Proxy" +++ "b/data/classes/ore\302\246Proxy" @@ -8,7 +8,7 @@ SPDX-License-Identifier: CC0-1.0

- An abstract representation of some Aggregated Resource as it exists within a specific Aggregation. + A Proxy of some Aggregated Resource as it exists within a specific Aggregation.

State·ments about Aggregated Resources which are specific to a particular Aggregation need to be made on a Proxy, as such state·ments are not “generally true”. @@ -16,12 +16,22 @@ SPDX-License-Identifier: CC0-1.0

There is no restriction that an Aggregated Resource only have one Proxy for a given Aggregation. - The restrictions on and are not formally expressed in , but are made explicit here to preserve the use·fulness of this class. + The restrictions on and are not formally expressed in , but are in . +

+

+ Horizontal (previous~next) linking for Proxies is described by , with the quirk of using the spelling for . + This ontology only recognizes the spelling , which is formally defined by .

+ + + + + + @@ -38,4 +48,40 @@ SPDX-License-Identifier: CC0-1.0 1 + + + + + + 1 + + + + + + + + + + + + + + + + + + 1 + + + + + + + + + + + + diff --git "a/data/classes/pcdm\302\246Collection" "b/data/classes/pcdm\302\246Collection" index acc1b71..6b45c28 100644 --- "a/data/classes/pcdm\302\246Collection" +++ "b/data/classes/pcdm\302\246Collection" @@ -8,7 +8,12 @@ SPDX-License-Identifier: CC0-1.0

- A kind of Aggregation which can have member Objects or other Collections. + An Aggregation which can have member Objects or other Collections. +

+

+ defines semantics for and (to point to a Proxy of the first member), but this is confused: + These terms are meant to be used for horizontal linking between aggregation members, not vertical linking between aggregations and the things they aggregate. + Consequently, the usage of these properties with Collections is not recommended by this ontology.

diff --git "a/data/classes/pcdm\302\246Object" "b/data/classes/pcdm\302\246Object" index 884dcd0..2d23008 100644 --- "a/data/classes/pcdm\302\246Object" +++ "b/data/classes/pcdm\302\246Object" @@ -8,13 +8,16 @@ SPDX-License-Identifier: CC0-1.0

- A kind of Aggregation representing an intellectual entity of some kind. + An Aggregation representing an intellectual entity of some kind.

Objects may have member Objects (but not Collections) and may also have Files. + The and subclasses provide a more sophisticated modelling.

- The and subclasses provide a more sophisticated modelling. + defines semantics for and (to point to a Proxy of the first member), but this is confused: + These terms are meant to be used for horizontal linking between aggregation members, not vertical linking between aggregations and the things they aggregate. + Consequently, the usage of these properties with Objects is not recommended by this ontology.

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

+ A Resource Selection which selects its source in its entirety. +

+

+ Proxies may be used to make state·ments which are only contextually true; the Proxy provides the appropriate context for interpreting the statement. + For example, in , Proxies are used to make state·ments which are only true in the context of a particular Aggregation. +

+ + + + + + + + + + + + + + + + + + + + + + + + + diff --git "a/data/named_individuals/\302\246AnyWhichWay" "b/data/named_individuals/\302\246AnyWhichWay" new file mode 100644 index 0000000..500b60f --- /dev/null +++ "b/data/named_individuals/\302\246AnyWhichWay" @@ -0,0 +1,25 @@ + + + + + + +

+ A State which reflects a thing regardless of, or in any, state, time, or condition. +

+ + + + + + + + + + 0 + + + diff --git "a/data/named_individuals/\302\246Everything" "b/data/named_individuals/\302\246Everything" new file mode 100644 index 0000000..e0bb7d1 --- /dev/null +++ "b/data/named_individuals/\302\246Everything" @@ -0,0 +1,25 @@ + + + + + + +

+ A Selector which selects the entirety of a thing. +

+ + + + + + + + + + 0 + + + diff --git "a/data/object_properties/ore\302\246aggregates" "b/data/object_properties/ore\302\246aggregates" index 17c4c49..4fb4e59 100644 --- "a/data/object_properties/ore\302\246aggregates" +++ "b/data/object_properties/ore\302\246aggregates" @@ -17,6 +17,14 @@ SPDX-License-Identifier: CC0-1.0 + + + + + + + + diff --git "a/data/object_properties/ore\302\246isAggregatedBy" "b/data/object_properties/ore\302\246isAggregatedBy" index e6be35a..9d2ca32 100644 --- "a/data/object_properties/ore\302\246isAggregatedBy" +++ "b/data/object_properties/ore\302\246isAggregatedBy" @@ -20,6 +20,14 @@ SPDX-License-Identifier: CC0-1.0 + + + + + + + + diff --git "a/data/object_properties/ore\302\246proxyFor" "b/data/object_properties/ore\302\246proxyFor" index 7cd75f0..c2bd8ed 100644 --- "a/data/object_properties/ore\302\246proxyFor" +++ "b/data/object_properties/ore\302\246proxyFor" @@ -14,6 +14,9 @@ SPDX-License-Identifier: CC0-1.0 + + + diff --git "a/data/object_properties/pcdm\302\246hasMember" "b/data/object_properties/pcdm\302\246hasMember" index e0a98c7..0f3b7d3 100644 --- "a/data/object_properties/pcdm\302\246hasMember" +++ "b/data/object_properties/pcdm\302\246hasMember" @@ -8,7 +8,11 @@ SPDX-License-Identifier: CC0-1.0

- A Collection or Object which forms a component part of this Collection or Object. + An Aggregation which forms a component part of this Aggregation. +

+

+ describes this property only in terms of Objects and Collections, but formally defines its domain and range as Aggregations. + While this might have only been a modelling convenience, this ontology preserves the broader definition, to allow the use of this term without needing a firm stance on whether something is (or isn¦t) an Object or Collection as would have it.

@@ -17,20 +21,7 @@ SPDX-License-Identifier: CC0-1.0 - - - - - - - - - - - - - - + diff --git "a/data/object_properties/pcdm\302\246hasRelatedObject" "b/data/object_properties/pcdm\302\246hasRelatedObject" index 509fcb4..c522bb7 100644 --- "a/data/object_properties/pcdm\302\246hasRelatedObject" +++ "b/data/object_properties/pcdm\302\246hasRelatedObject" @@ -8,10 +8,10 @@ SPDX-License-Identifier: CC0-1.0

- An Object which is aggregated as part of this Collection or Object, but which is not considered a component part. + An Object which is aggregated as part of this Aggregation, but which is not considered a component part.

- This property is intended for things like licensing agreements or cover art which are considered part of a Collection or Object from the perspective of resource aggregation, but not from the perspective of conceptual composition. + This property is intended for things like licensing agreements or cover art which are considered part of an Aggregation from the perspective of resource aggregation, but not from the perspective of conceptual composition. Related objects are aggregated in and consequently part of the things they are related to, but as something other than a compositional component. For more general kinds of relation, use .

@@ -25,14 +25,6 @@ SPDX-License-Identifier: CC0-1.0 - - - - - - - - diff --git "a/data/object_properties/pcdm\302\246isMemberOf" "b/data/object_properties/pcdm\302\246isMemberOf" index 54cbf7b..dc1514b 100644 --- "a/data/object_properties/pcdm\302\246isMemberOf" +++ "b/data/object_properties/pcdm\302\246isMemberOf" @@ -8,7 +8,11 @@ SPDX-License-Identifier: CC0-1.0

- A Collection or Object which this Collection or Object is a component part of. + An Aggregation which this Aggregation is a component part of. +

+

+ describes this property only in terms of Objects and Collections, but formally defines its domain and range as Aggregations. + While this might have only been a modelling convenience, this ontology preserves the broader definition, to allow the use of this term without needing a firm stance on whether something is (or isn¦t) an Object or Collection as would have it.

@@ -21,19 +25,6 @@ SPDX-License-Identifier: CC0-1.0 - - - - - - + - - - - - - - - diff --git "a/data/object_properties/pcdm\302\246isRelatedObjectOf" "b/data/object_properties/pcdm\302\246isRelatedObjectOf" index 51f5b90..c6f80b2 100644 --- "a/data/object_properties/pcdm\302\246isRelatedObjectOf" +++ "b/data/object_properties/pcdm\302\246isRelatedObjectOf" @@ -8,7 +8,7 @@ SPDX-License-Identifier: CC0-1.0

- A Collection or Object which this Object is aggregated as part of, but in a way which does not imply being a component part. + An Aggregation which this Object is aggregated as part of, but in a way which does not imply being a component part.

See for further discussion on the correct usage of this property. @@ -29,12 +29,4 @@ SPDX-License-Identifier: CC0-1.0 - - - - - - - -