- 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
[...]
> 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 UTC