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: <http://www.w3.org/2001/XMLSchema#> .
@prefix acm: <http://daml.umbc.edu/ontologies/topic-ont#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix sam:
<http://www.aifb.uni-karlsruhe.de/WBS/pha/rdf-query/sample2.rdf#> .
@prefix log: <http://www.w3.org/2000/10/swap/log#> .

this log:forAll :x.
{ <http://www.aifb.uni-karlsruhe.de/WBS/rvo/sample2.rdf>.log:semantics
log:notIncludes {sam:Human a rdfs:Class.}}
    => {acm:a acm:b acm:f}.
# END

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

C:\Dateien\papers\2004\vldb04\queries\n3>c:\Programme\Python23\python
cwm.py 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
log:semantics.

Thanks for your kind help.

Raphael

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