W3C home > Mailing lists > Public > www-rdf-interest@w3.org > March 2004

Closed World Negation with CWM

From: Raphael Volz <rvo@aifb.uni-karlsruhe.de>
Date: Mon, 29 Mar 2004 19:27:51 +0200
To: <www-rdf-interest@w3.org>
Message-ID: <000001c415b3$298bbed0$148316ac@aifbkreon>

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}.

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

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

Thanks for your kind help.

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

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 22:44:48 UTC