Re: [External] : Re: handling ("asserted") s-p-o triples and ("stated" or "reified") id-s-p-o 4-tuples in RDF/SPARQL

• From: Peter F. Patel-Schneider <pfpschneider@gmail.com>
• Date: Thu, 15 Aug 2024 04:00:29 -0400
• To: public-rdf-star-wg@w3.org
• Message-ID: <d04f576e-8af4-4c80-aa04-82e1e1da12cd@gmail.com>

On 8/15/24 03:44, Thomas Lörtsch wrote:
[...]
> If an RDF-star entailment regime was enforced, in which 'rdfstar:states' entails the triple it states, then the stated triple term would be added to the graph as a proper/standard RDF triple, and consequently no additional BGPs would be needed that UNION a { :s :p ?o . } BGP with a  { ?id rdfstar:states <<( :s :p ?o )>> } BGP. As SPARQL is implementing RDF simple entailment, no such entailment of a triple from a stated term is available, and the above described UNION operation is needed instead.
> 
Entailments do not "add" anything to the graph.  The graph is the graph, after 
all, and is immutable.  Entailments instead show what follows from the triples 
in a graph.  Even in a system, an entailment regime can be enforced without 
adding anything to the data stored by the system.

peter

Received on Thursday, 15 August 2024 08:00:36 UTC