- From: <jos.deroo@agfa.com>
- Date: Tue, 30 May 2006 16:04:00 +0200
- To: connolly@w3.org
- Cc: public-cwm-talk@w3.org, public-cwm-talk-request@w3.org
[some more after test last night..]
Dan Connolly wrote:
>On May 28, 2006, at 10:05 AM, jos.deroo@agfa.com wrote:
>
>>
>> Today I was experimenting with kb Scoped Negation As Failure
>> via http://eulersharp.sourceforge.net/2003/03swap/log-rules#no
>
> Interesting... if I understand correctly, we have...
>
> { ?FORMULAS e:no ?CONCLUSION }
> <=> { ?FORMULAS.log:conclusion log:notSupports ?CONCLUSION }.
>
> where log:notSupports is the oppositve of log:supports; it's not
> something
> we've implemented so far, I think.
medic test case [1] is now running [2] with
{?W :candidateFor ?M. ?U!e:scope log:notIncludes {?W :notPrescribed ?M}}
=> {?W :isPrescribed ?M}.
where [3]
e:scope
rdfs:comment """relationship between the asserted n3 formulae and their
log:conclusion""";
rdfs:subPropertyOf log:conclusion;
rdfs:domain log:Formula;
rdfs:range log:Formula.
--
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
[1] http://www.agfa.com/w3c/euler/medic.n3
[2] http://eulersharp.sourceforge.net/2006/02swap/etc5.ref
[3] http://eulersharp.sourceforge.net/2003/03swap/log-rules
Received on Tuesday, 30 May 2006 14:04:17 UTC