Re: Decision from the Semantics TF: liberal baseline

Updated definitions (also in the wiki):
RDF SEMANTICS

The rdfD2 RDF entailment pattern is replaced by the following entailment pattern, so to have a sound and complete set of metamodelling RDF entailment patterns:

if the triple structure appears in S    then S RDF entails
rdfD2-ts        sss aaa ooo     aaa rdf:type rdf:Property .
RDFS SEMANTICS

RDFS semantics restricts the function [I+A](.) with the following additional metamodelling condition:

 <r, [I+A](rdfs:Proposition)> ∈ IEXT([I+A](rdf:type))
          if ∃ x,y,z . RE(x,z,y)=r or
          if ∃ x,y . RE(x,[I+A](rdf:reifies),r)=y

The rdfs4a and rdfs4b RDFS entailment patterns are replaced by the following entailment patterns:

if the triple structure appears in S    then S RDFS entails
rdfs4a-ts       sss aaa ooo     sss rdf:type rdfs:Resource .
rdfs4b-ts       sss aaa ooo     ooo rdf:type rdfs:Resource .

Additional metamodelling RDFS entailment patterns, so to have a sound and complete set of metamodelling RDFS entailment patterns:

if the triple structure appears in S    then S RDFS entails
rdfs14  sss aaa <<(xxx yyy zzz)>>       <<(xxx yyy zzz)>> rdf:type rdfs:Proposition .
rdfs15  <<(xxx yyy zzz)>> aaa ooo       <<(xxx yyy zzz)>> rdf:type rdfs:Proposition .
rdfs16  sss rdf:reifies ooo     ooo rdf:type rdfs:Proposition .