- From: James Michael DuPont <mdupont777@yahoo.com>
- Date: Sun, 24 Aug 2003 04:49:51 -0700 (PDT)
- To: James Michael DuPont <mdupont777@yahoo.com>, www-rdf-logic@w3.org
- Cc: danc@w3.org, timbl@w3.org
Well, I solved the problem : with the filter clause : :id :linenumber [ log:notEqualTo "0" ]. I did not realize that cwm had builtins, That is pretty cool. 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 Sunday, 24 August 2003 07:49:52 UTC