Closed World Negation with CWM

Hi CWM-experts,

I've tried to do closed world negation with CWM using the
log:notIncludes predefined predicate.
However, I was not able to formulate the right rule yet. Any help to
make the following query work
Is greatly appreciated !

The document contains:

@prefix : <#> .
@prefix XML: <> .
@prefix acm: <> .
@prefix rdf: <> .
@prefix rdfs: <> .
@prefix sam:
<> .
@prefix log: <> .

this log:forAll :x.
{ <>.log:semantics
log:notIncludes {sam:Human a rdfs:Class.}}
    => {acm:a acm:b acm:f}.

I call CWM using the following command to filter the results of the

C:\Dateien\papers\2004\vldb04\queries\n3>c:\Programme\Python23\python que
ry3.n3 --think --filter=query3.n3

The outcome should be an empty document. I get the  acm:a acm:b acm:f
even though the specified triple is in the document that is loaded via

Thanks for your kind help.


Received on Monday, 29 March 2004 12:28:58 UTC