William,
We're almost on the same page.

On Wed, Jul 27, 2022 at 4:35 PM William Bartholomew (CELA) via
lists.spdx.org <[email protected]> wrote:

> @'David Kemp' <[email protected]> I want to clarify that SpdxDocument is
> independent of File. *[Yes]*
>
I can have an SpdxDocument that I can serialize in three different formats
> (e.g. three files), or I can have an SpdxDocument that I never serialize
> (e.g. zero files). *[Yes]*
>

*[dpk] *I can serialize an SpdxDocument in ten different files (in one
format or multiple formats).  SpdxDocument is a logical element like all
other elements.

Inversely, a file may or may not contain an SpdxDocument. *[Yes]*
>
Like any other logical element, an SpdxDocument serialized into different
> formats is still the same SpdxDocument, even though the files are
> different. *[Yes]*
>

*[dpk]*
* A logical element is a *statement* about a *resource*.
* A file is a resource (an instance of a SpdxFile / TransferUnit datatype),
not a logical element.
* A datatype instance is identified by its value, not by an IRI.
* An abstract datatype instance is identified by its abstract value, not by
an IRI.
* Canonicalization defines how to convert files in many formats to one
instance of the SpdxFile / TransferUnit abstract datatype.

* RDF semantics <https://www.w3.org/TR/rdf11-mt/#rdf-collections> defines
collection as a datatype identified by its value, not an element identified
by an IRI: "Collections differ from containers in ... allowing applications
to determine the exact set of items in the collection."  SpdxDocument is an
RDF container with an IRI.  SpdxFile / TransferUnit is an RDF collection, a
datatype identified by the value of the elements in the collection, not by
the IRI of a container.

Regards,
>
>
>
> William Bartholomew (he/him) – Let’s chat
> <https://outlook.office.com/bookwithme/user/[email protected]/meetingtype/SVRwCe7HMUGxuT6WGxi68g2?anonymous&ep=mlink>
>
> Principal Security Strategist
>
> Global Cybersecurity Policy – Microsoft
>

Regards,
David


-=-=-=-=-=-=-=-=-=-=-=-
Links: You receive all messages sent to this group.
View/Reply Online (#4723): https://lists.spdx.org/g/Spdx-tech/message/4723
Mute This Topic: https://lists.spdx.org/mt/92634687/21656
Group Owner: [email protected]
Unsubscribe: https://lists.spdx.org/g/Spdx-tech/unsub [[email protected]]
-=-=-=-=-=-=-=-=-=-=-=-


Reply via email to