- From: Peter F. Patel-Schneider <pfpschneider@gmail.com>
- Date: Tue, 14 Jan 2025 09:28:20 -0500
- To: "public-rdf-star-wg@w3.org" <public-rdf-star-wg@w3.org>
There was some previous discussion on the entailments of graphs containing triple terms and whether the mere presence of a triple term causes some extra entailments, notably _:r rdf:reifies <<( :a :b :c )>> RDFS-entailing :a rdf:type rdfs:Resource . I was a bit leery of this entailment but it turns out that the empty graph RDFS-entails :a rdf:type rdfs:Resource . so there is no problem here. This makes _:r rdf:reifies <<( :a :b :c )>> RDF-entailing :a rdf:type rdf:Property . somewhat more interesting as it might be argued that this entailment is analogous to the previous one if the entailment only held because of the presence of the triple term. Now that the previous entailment holds without the presence of the triple term there is less reason to have this entailment hold. peter
Received on Tuesday, 14 January 2025 14:28:25 UTC