NEWBIE question : owl:complementOf with cwm

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

Received on Saturday, 23 August 2003 17:12:18 UTC