- From: Sean B. Palmer <sean@mysterylights.com>
- Date: Tue, 20 Aug 2002 17:21:39 +0100
- 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 UTC