- 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