W3C home > Mailing lists > Public > public-rdf-comments@w3.org > July 2017

Proposed minor amendments to RDF 1.1 Semantics §5

From: Sam Kuper <sam.kuper@uclmail.net>
Date: Thu, 27 Jul 2017 18:00:07 +0100
Message-ID: <CAD-JurLuWVk3wr2iZvofLkQvpN32OGsPXm8U_bkyULg7_5pvdg@mail.gmail.com>
To: public-rdf-comments@w3.org
RDF 1.1 Semantics §5 says[1]:

"IEXT(x), called the extension of x, is a set of pairs which identify
the arguments for which the property is true, that is, a binary
relational extension."

I propose two small amendments to this sentence.

# Proposed amendment 1

s/pairs/ordered pairs/

Why? Suppose this triple is true, and is the entire graph:

ex:a ex:x ex:b

Also suppose that triple, which happens not to be part of the graph, is false:

ex:b ex:x ex:a

>From the first one, we could say, IEXT(ex:x) = {(ex:a,ex:b)}.

>From this in turn, if (ex:a,ex:b) is not an ordered pair, then we
could conclude that the following triple is true:

ex:b ex:x ex:a

However, it is not true (see above). So, we must consider (a,b) to be
an ordered pair.

If I am mistaken about this, I would be grateful for an explanation as
to the nature of my error.

# Proposed amendment 2

s/property/property x/

Why? Because the sentence should be explicit about which property it
is referring to. My reading of the sentence is that x is a property,
and x is also the property to which the sentence is referring, but I
am not certain that my reading is correct. If it is, then the sentence
should be amended as proposed in order to make it clear that that is
indeed the correct reading.

Equally, if my reading is wrong, then the sentence should be amended
differently, in order to clarify the intended reading. (Do please let
me know if my reading is wrong!)

# Note and valediction

If you reply to this email, please CC me, as I am not subscribed to
this mailing list.

Many thanks!

[1] https://www.w3.org/TR/2014/REC-rdf11-mt-20140225/#simple-interpretations
Received on Thursday, 27 July 2017 17:00:31 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:59:52 UTC