Re: Blank nodes must DIE! [ was Re: Blank nodes semantics - existential variables?]

>
> The latter can be seen as a value, like a number or a character
> string, but a composite one. Think of the position of a point with
> coordinates x,y.
>

Precisely, Nicolas, a composite value.

In a sense, the form "1;2" is a serialization of the Point
> dataclass.
>

Yes, very well put.

Besides Circle and Coordinate, any of https://schema.org/StructuredValue and
its subtypes could also suitably be described as type: rdfs:Datatype and
ideally not require a literal syntax each.

Regards
Anthony


On Wed, Jul 8, 2020 at 12:50 AM Nicolas Chauvat <nicolas.chauvat@logilab.fr>
wrote:

> Hi Pat & Anthony,
>
> On Tue, Jul 07, 2020 at 08:33:20PM -0500, Patrick J Hayes wrote:
> > Or maybe I am not following you at all: by all means tell me so if that
> is what is happening.
>
> In the example Anthony gives (that I think I understand well because I
> have done a lot of programming and teaching of programming), there is
> a class, with members that can change, and a datastructure, with
> attributes that do not change (that some programming languages call a
> dataclass).
>
> The latter can be seen as a value, like a number or a character
> string, but a composite one. Think of the position of a point with
> coordinates x,y.
>
> IIUC, Anthony is pointing us at: I could use a Literal "1;2"^^Point,
> but it would be nicer to have some way to express that "1" and "2" are
> numbers and that there is no difference between the point at
> coordinates (1,2) and the point at coordinates (1,2), in the same way
> that there is no difference between the literal "3.14" and the literal
> "3.14". In a sense, the form "1;2" is a serialization of the Point
> dataclass.
>
> Anthony, correct me if I am wrong.
>
> Pat, I have done some logic, but *much* less than programming and I
> am just trying to help here, hopefully I will help us understand what
> each other has in mind :)
>
> --
> Nicolas Chauvat
>
> logilab.fr - services en informatique scientifique et gestion de
> connaissances
>