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

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 UTC