entailing that a quoted triple is false

• From: Peter F. Patel-Schneider <pfpschneider@gmail.com>
• Date: Fri, 30 Aug 2024 08:11:31 -0400
• To: public-rdf-star-wg@w3.org
• Message-ID: <7c2cd09f-0efc-4688-8b0b-32bbe9ba0b3b@gmail.com>

Is anyone in the working group actually wanting the graph
:a rdf:reifies < :b :c :d > .
to entail that :b :c :d is false?

(I don't remember anyone wanting that.  I don't even remember any input to the 
working group advocating that.)

If not, then arguments that include statements to that effect are not persuasive.

peter


On 8/30/24 06:04, Thomas Lörtsch wrote:
[...]
> However, I also think that all those nuances still fall into two main 
> categories, namely if the annotated triple term is meant to be true in the 
> graph or not:
> - most of them are meant to be true (see use cases, see real world data)
> - those that aren't can’t be introduced first and then taken back (that would 
> jeopardize monotonicity)
[...]

Received on Friday, 30 August 2024 12:11:37 UTC