Re: RDF / RDFS semantics for the liberal baseline

Hi Enrico,    The question is what people want to do with rdfs:Proposition.  Possibilities:   I want that triple terms are of type rdfs:Proposition.  YES  NO  YES. For me a triple term denotes a proposition, and it is appropriate to consider them of type rdfs:Proposition.   I want that objects of rdf:reifies triples at top level are of type rdfs:Proposition.  YES  NO  YES. This is acceptable in RDFS, where rdf:reifies can have a rdfs:range of rdfs:Proposition.   I want that objects of rdf:reifies triples at any nested level are of type rdfs:Proposition.  YES  NO  NO. This is not considered necessary, as it is not integral to the abstract grammar. Imposing such a restriction might conflict with applications or extensions where these constraints are not always enforced.   Best,  Dominik