W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > June 2003

Re: Semantics review: closure rules

From: Jeremy Carroll <jjc@hpl.hp.com>
Date: Thu, 19 Jun 2003 09:43:06 +0300
To: w3c-rdfcore-wg@w3.org
Message-Id: <200306190943.06475.jjc@hpl.hp.com>


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
Received on Thursday, 19 June 2003 03:43:14 EDT

This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:57:57 EDT