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

Re: Semantics review: closure rules

From: Brian McBride <bwm@hplb.hpl.hp.com>
Date: Thu, 19 Jun 2003 12:24:49 +0100
Message-ID: <3EF19D81.6000702@hplb.hpl.hp.com>
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 EDT

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