- From: Antoine Zimmermann <antoine.zimmermann@emse.fr>
- Date: Thu, 27 Jul 2017 23:29:59 +0200
- 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