# $Id: wol-query.n3,v 1.5 2002/01/03 01:23:01 amdus Exp $

# PxButton | test | java Euler wol-facts.n3 wol-rules.n3 wol-query.n3 |
# PxButton | trace | java Euler -trace wol-facts.n3 wol-rules.n3 wol-query.n3 |
# PxButton | cwm | cwm wol-facts.n3 wol-rules.n3 --think |

@prefix log: <http://www.w3.org/2000/10/swap/log#> .
@prefix ont: <http://www.w3.org/2001/10/daml+oil#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix : <wol-rules#> .

?x a :complementOfInconsistency .
?y a :sameClassAsInconsistency .
:j ont:sameIndividualAs :i .
:o ont:sameIndividualAs :m .
( :a :b :c ) ont:item :c . 
( ?z ( :c ) ) :append ( :a :b :c ) .