- From: Brian McBride <bwm@hplb.hpl.hp.com>
- Date: Thu, 19 Jun 2003 12:24:49 +0100
- To: Jeremy Carroll <jjc@hplb.hpl.hp.com>
- CC: w3c-rdfcore-wg@w3.org
I note that we don't seem to be finished discussing the closure rules. Brian Jeremy Carroll wrote: > > 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 07:25:16 UTC