- From: Tim Berners-Lee <timbl@w3.org>
- Date: Thu, 28 Aug 2003 23:04:12 -0400
- To: James Michael DuPont <mdupont777@yahoo.com>
- Cc: www-rdf-logic@w3.org, danc@w3.org
On Sunday, Aug 24, 2003, at 07:49 US/Eastern, James Michael DuPont
wrote:
> Well,
> I solved the problem :
>
good
> with the filter clause :
> :id :linenumber
> [
> log:notEqualTo "0"
> ].
>
> I did not realize that cwm had builtins,
> That is pretty cool.
thanks
tim
PS: You might want maths:notEqualTo or string;notEqualTo
depending ....
> mike
>
> --- James Michael DuPont <mdupont777@yahoo.com> wrote:
>> Dear masters of N3 and CWM,
>> surly this is a stupid question, but I woud like to do this in cwm :
>>
>> How can i find all the statements that dont meet a condition.
>> Here are the links i found so far :
>> http://rdfig.xmlhack.com/2003/08/23/2003-08-23.html#1061670455.156605
>>
>> Here is my feeble attempt ,
>> i want to get id-10 and id-1 as a result of user defined, everything
>> that does not have line =0.
>>
>> please advise,
>> ########################
>> Base was:
>>
> file:/mnt/hda4/introspector_home/introspector/cvs/introspector-0.4/
> treecc/
>> @prefix :
>> <http://introspector.sf.net/2003/08/16/introspector.owl#> .
>> @prefix dc: <http://purl.org/dc/elements/1.1/> .
>> @prefix log: <http://www.w3.org/2000/10/swap/log#> .
>> @prefix owl: <http://www.w3.org/2002/07/owl#> .
>> @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
>>
>> this log:forAll :id .
>>
>> :id-1 a :function_decl;
>> :named "ParseEnum";
>> :srcl "1068";
>> :srcp :filename-parse .
>>
>> :id-10 a :function_decl;
>> :named "ParseOperationCase";
>> :srcl "905";
>> :srcp :filename-parse .
>>
>> :id-102 a :builtin,
>> :type_decl;
>> :named "complex long double";
>> :srcl "0" .
>>
>> :userdefined owl:complementOf :builtin .
>> {
>> :id :srcl "0" .
>>
>> } log:implies {:id a :builtin .
>> } .
>>
>>
>>
>>
>> =====
>> James Michael DuPont
>> http://introspector.sourceforge.net/
>>
>> __________________________________
>> Do you Yahoo!?
>> Yahoo! SiteBuilder - Free, easy-to-use web site design software
>> http://sitebuilder.yahoo.com
>>
>
>
> =====
> James Michael DuPont
> http://introspector.sourceforge.net/
>
> __________________________________
> Do you Yahoo!?
> Yahoo! SiteBuilder - Free, easy-to-use web site design software
> http://sitebuilder.yahoo.com
Received on Thursday, 28 August 2003 23:04:13 UTC