W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > April 2002

Re: Latest iteration of RDF Datatyping WD (ship it!)

From: Patrick Stickler <patrick.stickler@nokia.com>
Date: Fri, 12 Apr 2002 13:53:54 +0300
To: ext Jos De_Roo <jos.deroo.jd@belgium.agfa.com>
CC: Dan Connolly <connolly@w3.org>, RDF Core <w3c-rdfcore-wg@w3.org>
Message-ID: <B8DC9772.12FA0%patrick.stickler@nokia.com>
On 2002-04-12 13:31, "ext Jos De_Roo" <jos.deroo.jd@belgium.agfa.com> wrote:


>> {
>>    aaa rdfd:range ddd .
>>    bbb aaa ccc .
>>    ccc rdfd:lex "LLL" .
>> }
>> log:implies
>> {
>>    ccc rdf:type ddd .
>> }
> 
> ok, I see, you try to regain the lost benefit

Right. I think we can derive the needed rdf:type
without making rdfd:range a subPropertyOf rdfs:range.

> where is Pat?

Somewhere on the planet I presume ;-)

>> {
>>    ddd rdf:type rdfd:Datatype .
>>    bbb aaa ccc .
>>    ccc ddd "LLL" .
>> }
>> log:implies
>> {
>>    ccc rdf:type ddd .
>> }
> 
> well, I think this one is not needed because we have
> { :ruleD1 . ?d a rdfd:Datatype } log:implies { ?d rdfs:domain ?d } .
> and RDFS entailment rule2
> { :rule2 . ?s ?p ?o . ?p rdfs:domain ?C } log:implies { ?s a ?C } .

Right. It follows from the core knowledge about datatype
properties triggered by rule 2.

Thanks.

Patrick

--
               
Patrick Stickler              Phone: +358 50 483 9453
Senior Research Scientist     Fax:   +358 7180 35409
Nokia Research Center         Email: patrick.stickler@nokia.com
Received on Friday, 12 April 2002 06:51:11 EDT

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