RE: Datatyping Summary from Jeremy Carroll on 2002-01-30 (w3c-rdfcore-wg@w3.org from January 2002)

From: Jeremy Carroll <jjc@hplb.hpl.hp.com>
Date: Wed, 30 Jan 2002 15:19:22 -0000
To: "Brian McBride" <bwm@hplb.hpl.hp.com>, <w3c-rdfcore-wg@w3.org>
Message-ID: <JAEBJCLMIFLKLOJGMELDEEPACCAA.jjc@hplb.hpl.hp.com>

> Ok Jeremy,
>
> As I understand what you are suggesting here, is that under TDL, the rule
> could be rewritten to get the desired effect, i.e. reflecting the
> "literal
> is a pair" directly in an extended n-triples represention:
>
>    <mary> <haircolor> (_, "red") .
>
> and
>
>    ?x <haircolor> (_, "red") => ?x <rdf:type> <redhead> .
>
> one can conclude:
>
>    ?x <rdf:type> <redhead> .
>

Yes.
I think this is a clear articulation of one approach to Dan's problem in
TDL.

Received on Wednesday, 30 January 2002 10:19:24 UTC