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

Re: Proposed minor amendments to RDF 1.1 Semantics §5

From: Antoine Zimmermann <antoine.zimmermann@emse.fr>
Date: Thu, 27 Jul 2017 23:29:59 +0200
Message-ID: <597A5B57.2080100@emse.fr>
To: Sam Kuper <sam.kuper@uclmail.net>, public-rdf-comments@w3.org
On 27/07/2017 19:05, Sam Kuper wrote:
> On 27/07/2017, Sam Kuper <sam.kuper@uclmail.net> wrote:
>> 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." [...]
>>
>> # Proposed amendment 1
>>
>> s/pairs/ordered pairs/
>
> Perhaps even better would be:
>
> s/pairs/ordered pairs of resources in IR/
>

It is already said that the elements of the pairs are in IR. It is even 
said twice, since IEXT is said to map properties to the powerset of IR x 
IR, and then that x and y are in IR. If there is need to provide more 
explanation, then it should be in the text around the definition rather 
than in the formal definition itself.


--AZ
Received on Thursday, 27 July 2017 21:30:29 UTC

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