W3C home > Mailing lists > Public > semantic-web@w3.org > April 2012

log:imply meaning. => symbol in N3

From: luc peuvrier at home <lc.pvrr@orange.fr>
Date: Sun, 15 Apr 2012 10:28:28 +0200
Message-ID: <3EABA0C637B040D7AFDE7983D0DC0702@peuvrierluc>
To: <semantic-web@w3.org>
The question is about notation 3 interpretation.

For the statement S : { ?A :a ?B } => { ?B :x :y }

it is a logical expression as:   exists triple "?A :a ?B" => exists triple "?B :x :y"

or it is a dedcution rule as: if  exists triple "?A :a ?B" then create triple "?B :x :y"

Best regards
Luc
Received on Sunday, 15 April 2012 08:30:59 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 1 March 2016 07:42:33 UTC