- 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