# Generated with http://www.agfa.com/w3c/euler/#R29003 on Fri Jan 04 11:32:06 GMT+01:00 2002 # for query file:/euler/wol-query.n3 # given [file:/euler/wol-facts.n3, file:/euler/wol-rules.n3] @prefix log: . @prefix rdfs: . @prefix : . @prefix ont: . @prefix rdf: . @prefix xsd: . {:a a :b. :a a :c. :b ont:complementOf :c} log:implies {:a a :complementOfInconsistency}. {:b ont:complementOf :c. {:a ont:complementOf :b. :c ont:complementOf :a} log:implies {:c ont:sameClassAs :b}} log:implies {:b a :sameClassAsInconsistency}. {:p a ont:UniqueProperty. :s :p :j. :s :p :i} log:implies {:j ont:sameIndividualAs :i}. :o ont:sameIndividualAs :m. {{[ :c; ] ont:item :c} log:implies {[ :b; [ :c; ]] ont:item :c}} log:implies {[ :a; [ :b; [ :c; ]]] ont:item :c}. {{[ ; [ [ :c; ]; ]] :append [ :c; ]} log:implies {[ [ :b; ]; [ [ :c; ]; ]] :append [ :b; [ :c; ]]}} log:implies {[ [ :a; [ :b; ]]; [ [ :c; ]; ]] :append [ :a; [ :b; [ :c; ]]]}. # Proof found for file:/euler/wol-query.n3 in 94 steps (11730 steps/sec)