Re: Semantics review: closure rules

I missed some issues concerning "The stronger extnesional semantic conditions 
on rdfs:domain and rdfs:range" ...

1)
suggest 
rdfs4a', rdfs4b' should have premise 
aaa rdf:type rdf:Property .

this is stronger (and still sound)

2)
with the extensional conditions rdfs:domain and rdfs:range figure in rdfs12a 
and rdfs12b

so for 12a - every property has a domain and range.
Thus:
ppp = rdfs:domain or ppp = rdfs:range
qqq = rdf:Property

for 12b 
not applicable ?



Example entailment under 12a

rdfs:domain rdfs:subPropertyOf eg:a .
eg:a rdfs:domain eg:c .

given 
p rdf:type rdf:Property .
then
p rdfs:domain rdfs:Resource .

so
p eg:a rdfs:Resource .

and
p rdf:type eg:c .

thus
rdf:Propery rdfs:subClassOf eg:c .


Jeremy