Re: Decision from the Semantics TF: liberal baseline

• From: Peter F. Patel-Schneider <pfpschneider@gmail.com>
• Date: Thu, 9 Jan 2025 06:13:36 -0500
• To: public-rdf-star-wg@w3.org
• Message-ID: <2f61818b-3098-4590-91d1-374a0c9138ec@gmail.com>

These should *not* hold because triple terms are not asserted.

peter


On 1/9/25 5:47 AM, Franconi Enrico wrote:
> Just to open a novel can of worms:
> there is a bunch of metamodelling semantic conditions in RDFS which currently 
> do apply only at top level, and we have to decide whether to generalize to 
> triple terms at arbitrary nesting.
> 
> For example:
> 
> :a :b <<(:c rdf:type :d)>>.
> 
>     should or should not RDFS-entail
> 
> :d rdf:type rdfs:Class.
> 
> :a :b <<(:c rdfs:subclass :d)>>.
> 
>     should or should not RDFS-entail
> 
> :c rdf:type rdfs:Class.
> :d rdf:type rdfs:Class.
> 
> etc.
> 
> Discussion open.
> —e.

Received on Thursday, 9 January 2025 11:13:41 UTC