# 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.daml.org/2001/03/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#> .

# [ ont:first :a; ont:rest [ ont:first :b; ont:rest [ ont:first :c; ont:rest ont:nil ] ]; :member :c ] . 
# ?x a :schemaInconsistency .
#_:x a _:y . _:x a _:z . _:y ont:complementOf _:z .
?x a ?y . ?x a ?z . ?y ont:complementOf ?z .