- From: James Anderson <anderson.james.1955@gmail.com>
- Date: Sat, 23 Dec 2023 13:04:35 +0100
- To: "public-rdf-star-wg@w3.org" <public-rdf-star-wg@w3.org>
good afternoon; the occurrenceOf predicate - in itself and in the surrogate form of suggested specializations, now figures significantly in discussions. in order to understand its meaning, i looked back through the working group mailing list archives for its introduction. the earliest message to be found by searching is one[1] in which andy seaborne introduces the term as an element in a notation for statements which intend the combination of a designator for a name and a designator for a set of triples to express that the name denotes, in some undefined context, an instance (here occurrence) of the abstract graph which comprises those triples. the subsequent discussion is clear, that the notation is not to be confused with otherwise analogous forms in either n-quads or trig, in that the appearance of a name of an occurrence relation is constrained to be unique (in some undefined context), while the other formulations intend that any successive appearance in a given document augments the respective set of triples. that is, it is not to be confused with a notation for named graphs. is this interpretation correct? in addition - although the notion does not appear in that initial message, subsequent discussion describes that the occurrenceOf predicate - or one of its variants, intends that the set of triples is not asserted. that is, that they have no effect in the entailment context in which the statement itself is present. is there more to it? --- [1] : https://lists.w3.org/Archives/Public/public-rdf-star-wg/2023Oct/0017.html --- james anderson | james@dydra.com | https://dydra.com
Received on Saturday, 23 December 2023 12:04:53 UTC