Re: basic semantics of triple terms

Just to be more up-to-date, the minimal baseline as voted by the group has been fixed in few minor points after subsequent discussions.
So, the current state is:

minimal baseline (working draft):
https://github.com/w3c/rdf-star-wg/wiki/RDF-star-%22working-baseline%22


alternative baseline:
https://github.com/w3c/rdf-star-wg/wiki/RDF-star-%22alternative-baseline%22


—e.

On 25 Oct 2024, at 17:53, Peter F. Patel-Schneider <pfpschneider@gmail.com> wrote:

The Semantics Task Force discussed the basic semantics of triple terms at the
meeting on 25 October 2024 and decided that it was a good idea to have a
working group decision on which way to go in the very near future so that the
significant changes can be made to RDF Semantics and RDF Concepts to fully
support triple terms and how they are to be used in RDF 1.2.

The current working group decision is defined in
https://github.com/w3c/rdf-star-wg/wiki/RDF-star-%22minimal-baseline%22, where
rdf:reifies is the only property that links to triple terms.  An alternative
that has been defined, in
https://github.com/w3c/rdf-star-wg/wiki/RDF-star-%22alternative-baseline%22,

is to allow any property that is an instance of rdf:ReificationProperty (final
name to be determined) to link to triple terms.

The issue https://github.com/w3c/rdf-star-wg/issues/127 is basically about
this difference and has pointers to more information and discussion on the
difference between the approaches.  The decision to be made is whether one
property (rdf:reifies) is allowed to link to triple terms, many properties are
allowed, or only a very few properties are allowed (perhaps rdf:reifies and
rdfs:states).


peter