- 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>
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