W3C home > Mailing lists > Public > public-cwm-talk@w3.org > April to June 2006

Re: kb Scoped Negation As Failure

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
Message-ID: <OF34DBFF7A.700CD677-ONC125717E.004C7FCE-C125717E.004D406A@agfa.com>

[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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 8 January 2008 14:11:02 GMT