W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > November 2001

Re: Answer to the question: What is a "value" to RDF

From: <jos.deroo.jd@belgium.agfa.com>
Date: Fri, 16 Nov 2001 11:10:58 +0100
To: melnik@db.stanford.edu
Cc: phayes@ai.uwf.edu, Patrick.Stickler@nokia.com, w3c-rdfcore-wg@w3.org
Message-Id: <OFB42C397B.AA973E37-ONC1256B06.00317A0F@bayer-ag.com>

[...]

> X --s:age--> D --s:inYears--> Y --s:inDecimal--> "12"
> |                                                  ^
> +----------------------my:age----------------------+

that is indeed a nice descriptive way...
we could then say that e.g. graph <G1>

  [ s:email <mailto:jdroo@yucom.be> ] s:age [ s:inYears [ s:inDecimal "45" ] ] .

<K1> entails graph <G2>

  [ s:email <mailto:jdroo@yucom.be> ] my:age "45" .

where <K1> is

  @prefix log: <http://www.w3.org/2000/10/swap/log#> .
  @prefix s: <http://example.org/s#> .
  @prefix my: <http://example.org/my#> .
  { ?x my:age ?a } log:implies { ?x s:age [ s:inYears [ s:inDecimal ?a ] ] } .
  { ?x s:age [ s:inYears [ s:inDecimal ?a ] ] } log:implies { ?x my:age ?a } .

and we could also say that graph <G2>
<K1> entails graph <G1>

and that graph <G1b>

  [ s:email <mailto:jdroo@yucom.be> ] s:age
    [ a xsd:duration;
      s:inYears [ a xsd:decimal; s:inDecimal "45" ];
      s:inMonths [ a xsd:decimal; s:inDecimal "550"] ] .

<K1> entails graph <G2>

--
Jos

PS <K1> is intended to express a specific "kind" of entailment
   which is in this case supported via N3 rules (and with ?var's)
   and I know that this is beyond our charter, it's just that I
   wanted to explain what's behind that "kind" of entailment...
Received on Friday, 16 November 2001 05:11:28 EST

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