Re: Decision from the Semantics TF: liberal baseline

Mmhhh, I believe we need to parse the triple structures anyway:
Additional metamodelling sound and complete RDF entailment patterns (informative):
if the triple structure appears in S    then S RDF entails
reif0a  sss aaa ooo     aaa rdf:type rdf:Property .

Additional metamodelling sound and complete RDFS entailment patterns (informative):
if the triple structure appears in S    then S RDFS entails
reif0b  sss aaa ooo     sss rdf:type rdfs:Resource .
ooo rdf:type rdfs:Resource .
reif1   sss aaa <<(xxx yyy zzz)>>       <<(xxx yyy zzz)>> rdf:type rdfs:Proposition .
reif2   <<(xxx yyy zzz)>> aaa ooo       <<(xxx yyy zzz)>> rdf:type rdfs:Proposition .
reif3   sss rdf:reifies ooo     ooo rdf:type rdfs:Proposition .

Anyway, it is not so important to find the most compact set of patterns, since these patterns are (a) only informative, and (b) not the basis for any actual implementation.—e.