W3C home > Mailing lists > Public > www-rdf-interest@w3.org > August 2002

Re: CWM Question

From: Sean B. Palmer <sean@mysterylights.com>
Date: Tue, 20 Aug 2002 17:21:39 +0100
Message-ID: <011c01c24865$ac5d7d20$e0550150@localhost>
To: "Paul Prescod" <paul@prescod.net>
Cc: <www-rdf-interest@w3.org>

> :a :someprop :b.
> :someotherprop = :someprop.
>
> {:a :someprop :b} log:implies {:a log:outputString "someprop"}.
> {:a :someotherprop :b} log:implies {:a log:outputString
> "someotherprop"}.
>
> Output:
>
> someprop
>
> Why not "someotherprop"?

Because the triple ":a :someotherprop :b" does not appear directly in your
document. You can infer it from the data you have using the following
rule:-

   this log:forAll :p, :q, :x, :z .
   { :x :p :z . :q = :p } => { :x :q :z } .

but CWM does not have any built in rules that it always applies.

Note also that since you're using ":a" as the subject of the outputString
triple each time, with the above rule, you could get any combination of
"someprop", "someotherprop", "somepropsomeotherprop", or
"someotherpropsomeprop". As it is, testing with CWM v1.103 gives me
"someotherpropsomeprop".

--
Kindest Regards,
Sean B. Palmer
@prefix : <http://purl.org/net/swn#> .
:Sean :homepage <http://purl.org/net/sbp/> .
Received on Tuesday, 20 August 2002 12:21:49 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:51:55 GMT