Re: NEWBIE question : owl:complementOf with cwm

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