2006-06-05T16:45:52Z 2006-06-05T16:45:52Z 2006-06-05T16:45:52Z 2006-06-05T16:45:53Z 2006-06-05T16:45:52Z 2006-06-05T16:45:52Z 2006-06-05T16:45:53Z 2006-06-05T16:45:52Z 2006-06-05T16:45:53Z 2006-06-05T16:45:52Z 2006-06-05T16:45:52Z 2006-06-05T16:45:52Z 2006-06-05T16:45:52Z 2006-06-05T16:45:52Z 2006-06-05T16:45:53Z 2006-06-05T16:45:52Z 2006-06-05T16:45:53Z 2006-06-05T16:45:52Z 2006-06-05T16:45:53Z 2006-06-05T16:45:52Z 2006-06-05T16:45:53Z 2006-06-05T16:45:52Z 2006-06-05T16:45:53Z 2006-06-05T16:45:52Z 2006-06-05T16:45:53Z 2006-06-05T16:45:52Z 2006-06-05T16:45:53Z 2006-06-05T16:45:52Z 2006-06-05T16:45:52Z 2006-06-05T16:45:52Z 2006-06-05T16:45:52Z 2006-06-05T16:45:53Z 2006-06-05T16:45:52Z 2006-06-05T16:45:52Z 2006-06-05T16:45:52Z 2006-06-05T16:45:52Z 2006-06-05T16:45:53Z 2006-06-05T16:45:52Z 2006-06-05T16:45:53Z 2006-06-05T16:45:52Z 2006-06-05T16:45:53Z 2006-06-05T16:45:52Z 2006-06-05T16:45:53Z 2006-06-05T16:45:52Z 2006-06-05T16:45:52Z 2006-06-05T16:45:52Z 2006-06-05T16:45:53Z 2006-06-05T16:45:52Z 2006-06-05T16:45:52Z 2006-06-05T16:45:52Z 2006-06-05T16:45:53Z 2006-06-05T16:45:52Z 2006-06-05T16:45:52Z 2006-06-05T16:45:52Z 2006-06-05T16:45:52Z 2006-06-05T16:45:53Z 2006-06-05T16:45:52Z 2006-06-05T16:45:53Z 2006-06-05T16:45:52Z 2006-06-05T16:45:53Z 2006-06-05T16:45:52Z 2006-06-05T16:45:53Z 2006-06-05T16:45:52Z 2006-06-05T16:45:53Z 2006-06-05T16:45:52Z 2006-06-05T16:45:52Z 2006-06-05T16:45:52Z 2006-06-05T16:45:52Z 2006-06-05T16:45:52Z 2006-06-05T16:45:52Z 2006-06-05T16:45:53Z 2006-06-05T16:45:52Z 2006-06-05T16:45:53Z 2006-06-05T16:45:52Z 2006-06-05T16:45:52Z 2006-06-05T16:45:53Z 2006-06-05T16:45:52Z 2006-06-05T16:45:53Z 2006-06-05T16:45:52Z 2006-06-05T16:45:53Z 2006-06-05T16:45:52Z 2006-06-05T16:45:53Z 2006-06-05T16:45:52Z 2006-06-05T16:45:52Z 2006-06-05T16:45:52Z 2006-06-05T16:45:52Z 2006-06-05T16:45:53Z 2006-06-05T16:45:52Z 2006-06-05T16:45:53Z 2006-06-05T16:45:52Z 2006-06-05T16:45:52Z 2006-06-05T16:45:53Z 2006-06-05T16:45:52Z file:/home/connolly/w3ccvs/WWW/2000/10/swap/test/reason/animal-goal.n3#who http://www.daml.org/2000/12/daml+oil-ex#chevy1 file:/home/connolly/w3ccvs/WWW/2000/10/swap/util/owlth.n3#v http://www.daml.org/2000/12/daml+oil-ex#chevy1 file:/home/connolly/w3ccvs/WWW/2000/10/swap/util/owlth.n3#w http://www.daml.org/2000/12/daml+oil-ex#bob file:/home/connolly/w3ccvs/WWW/2000/10/swap/util/owlth.n3#p http://www.w3.org/2002/07/owl#differentFrom file:/home/connolly/w3ccvs/WWW/2000/10/swap/util/owlth.n3#y http://www.daml.org/2000/12/daml+oil-ex#bob file:/home/connolly/w3ccvs/WWW/2000/10/swap/util/owlth.n3#x http://www.daml.org/2000/12/daml+oil-ex#chevy1 file:/home/connolly/w3ccvs/WWW/2000/10/swap/util/rdfs-nice.n3#yyy http://www.daml.org/2000/12/daml+oil-ex#Person file:/home/connolly/w3ccvs/WWW/2000/10/swap/util/rdfs-nice.n3#bbb http://www.w3.org/2002/07/owl#disjointWith file:/home/connolly/w3ccvs/WWW/2000/10/swap/util/rdfs-nice.n3#aaa http://www.daml.org/2000/12/daml+oil-ex#chevy1 file:/home/connolly/w3ccvs/WWW/2000/10/swap/test/reason/animal-goal.n3#who http://www.daml.org/2000/12/daml+oil-ex#fred file:/home/connolly/w3ccvs/WWW/2000/10/swap/util/owlth.n3#v http://www.daml.org/2000/12/daml+oil-ex#fredo file:/home/connolly/w3ccvs/WWW/2000/10/swap/util/owlth.n3#u http://www.daml.org/2000/12/daml+oil-ex#bob file:/home/connolly/w3ccvs/WWW/2000/10/swap/util/owlth.n3#p http://www.w3.org/2002/07/owl#differentFrom file:/home/connolly/w3ccvs/WWW/2000/10/swap/util/owlth.n3#vv http://www.daml.org/2000/12/daml+oil-ex#fred file:/home/connolly/w3ccvs/WWW/2000/10/swap/util/owlth.n3#v2 http://www.daml.org/2000/12/daml+oil-ex#fred file:/home/connolly/w3ccvs/WWW/2000/10/swap/util/owlth.n3#p http://www.daml.org/2000/12/daml+oil-ex#hasSpouse file:/home/connolly/w3ccvs/WWW/2000/10/swap/util/owlth.n3#x http://www.daml.org/2000/12/daml+oil-ex#wilma file:/home/connolly/w3ccvs/WWW/2000/10/swap/util/owlth.n3#v1 http://www.daml.org/2000/12/daml+oil-ex#fredo file:/home/connolly/w3ccvs/WWW/2000/10/swap/util/rdfs-nice.n3#aaa http://www.daml.org/2000/12/daml+oil-ex#wilma file:/home/connolly/w3ccvs/WWW/2000/10/swap/util/owlth.n3#x http://www.daml.org/2000/12/daml+oil-ex#wilma file:/home/connolly/w3ccvs/WWW/2000/10/swap/util/owlth.n3#p http://www.daml.org/2000/12/daml+oil-ex#hasParent file:/home/connolly/w3ccvs/WWW/2000/10/swap/util/owlth.n3#u http://www.daml.org/2000/12/daml+oil-ex#bob file:/home/connolly/w3ccvs/WWW/2000/10/swap/util/owlth.n3#w http://www.daml.org/2000/12/daml+oil-ex#Person file:/home/connolly/w3ccvs/WWW/2000/10/swap/util/rdfs-nice.n3#aaa http://www.daml.org/2000/12/daml+oil-ex#bob file:/home/connolly/w3ccvs/WWW/2000/10/swap/test/reason/animal-goal.n3#who http://www.daml.org/2000/12/daml+oil-ex#jill file:/home/connolly/w3ccvs/WWW/2000/10/swap/util/owlth.n3#y http://www.daml.org/2000/12/daml+oil-ex#jill file:/home/connolly/w3ccvs/WWW/2000/10/swap/util/owlth.n3#x http://www.daml.org/2000/12/daml+oil-ex#bob file:/home/connolly/w3ccvs/WWW/2000/10/swap/util/rdfs-nice.n3#zzz http://www.daml.org/2000/12/daml+oil-ex#Woman file:/home/connolly/w3ccvs/WWW/2000/10/swap/util/rdfs-nice.n3#xxx http://www.daml.org/2000/12/daml+oil-ex#jill file:/home/connolly/w3ccvs/WWW/2000/10/swap/util/owlth.n3#v http://www.daml.org/2000/12/daml+oil-ex#lawrence file:/home/connolly/w3ccvs/WWW/2000/10/swap/util/owlth.n3#q http://www.daml.org/2000/12/daml+oil-ex#husband file:/home/connolly/w3ccvs/WWW/2000/10/swap/util/owlth.n3#w http://www.daml.org/2000/12/daml+oil-ex#jill file:/home/connolly/w3ccvs/WWW/2000/10/swap/test/reason/animal-goal.n3#who http://www.daml.org/2000/12/daml+oil-ex#wilma file:/home/connolly/w3ccvs/WWW/2000/10/swap/util/rdfs-nice.n3#yyy http://www.daml.org/2000/12/daml+oil-ex#wilma file:/home/connolly/w3ccvs/WWW/2000/10/swap/util/rdfs-nice.n3#bbb http://www.w3.org/2002/07/owl#differentFrom file:/home/connolly/w3ccvs/WWW/2000/10/swap/util/rdfs-nice.n3#xxx http://www.daml.org/2000/12/daml+oil-ex#bob file:/home/connolly/w3ccvs/WWW/2000/10/swap/test/reason/animal-goal.n3#who http://www.daml.org/2000/12/daml+oil-ex#fredo file:/home/connolly/w3ccvs/WWW/2000/10/swap/test/reason/animal-goal.n3#who http://www.daml.org/2000/12/daml+oil-ex#lawrence file:/home/connolly/w3ccvs/WWW/2000/10/swap/util/rdfs-nice.n3#yyy http://www.daml.org/2000/12/daml+oil-ex#lawrence file:/home/connolly/w3ccvs/WWW/2000/10/swap/util/rdfs-nice.n3#bbb http://www.w3.org/2002/07/owl#differentFrom file:/home/connolly/w3ccvs/WWW/2000/10/swap/util/rdfs-nice.n3#xxx http://www.daml.org/2000/12/daml+oil-ex#bob file:/home/connolly/w3ccvs/WWW/2000/10/swap/util/owlth.n3#p http://www.daml.org/2000/12/daml+oil-ex#hasAncestor file:/home/connolly/w3ccvs/WWW/2000/10/swap/util/owlth.n3#u http://www.daml.org/2000/12/daml+oil-ex#bob file:/home/connolly/w3ccvs/WWW/2000/10/swap/util/owlth.n3#w http://www.daml.org/2000/12/daml+oil-ex#lawrence file:/home/connolly/w3ccvs/WWW/2000/10/swap/util/rdfs-nice.n3#yyy http://www.daml.org/2000/12/daml+oil-ex#lawrence file:/home/connolly/w3ccvs/WWW/2000/10/swap/util/rdfs-nice.n3#bbb http://www.daml.org/2000/12/daml+oil-ex#hasAncestor file:/home/connolly/w3ccvs/WWW/2000/10/swap/util/rdfs-nice.n3#xxx http://www.daml.org/2000/12/daml+oil-ex#wilma file:/home/connolly/w3ccvs/WWW/2000/10/swap/util/rdfs-nice.n3#yyy http://www.daml.org/2000/12/daml+oil-ex#lawrence file:/home/connolly/w3ccvs/WWW/2000/10/swap/util/rdfs-nice.n3#bbb http://www.daml.org/2000/12/daml+oil-ex#hasParent file:/home/connolly/w3ccvs/WWW/2000/10/swap/util/rdfs-nice.n3#xxx http://www.daml.org/2000/12/daml+oil-ex#wilma file:/home/connolly/w3ccvs/WWW/2000/10/swap/util/rdfs-nice.n3#yyy http://www.daml.org/2000/12/daml+oil-ex#Person file:/home/connolly/w3ccvs/WWW/2000/10/swap/util/rdfs-nice.n3#aaa http://www.daml.org/2000/12/daml+oil-ex#bob file:/home/connolly/w3ccvs/WWW/2000/10/swap/util/rdfs-nice.n3#yyy http://www.daml.org/2000/12/daml+oil-ex#fredo file:/home/connolly/w3ccvs/WWW/2000/10/swap/util/rdfs-nice.n3#bbb http://www.w3.org/2002/07/owl#differentFrom file:/home/connolly/w3ccvs/WWW/2000/10/swap/util/rdfs-nice.n3#xxx http://www.daml.org/2000/12/daml+oil-ex#bob file:/home/connolly/w3ccvs/WWW/2000/10/swap/util/rdfs-nice.n3#yyy http://www.daml.org/2000/12/daml+oil-ex#fredo file:/home/connolly/w3ccvs/WWW/2000/10/swap/util/rdfs-nice.n3#bbb http://www.daml.org/2000/12/daml+oil-ex#hasAncestor file:/home/connolly/w3ccvs/WWW/2000/10/swap/util/rdfs-nice.n3#xxx http://www.daml.org/2000/12/daml+oil-ex#bob file:/home/connolly/w3ccvs/WWW/2000/10/swap/util/owlth.n3#v http://www.daml.org/2000/12/daml+oil-ex#fredo file:/home/connolly/w3ccvs/WWW/2000/10/swap/util/owlth.n3#q http://www.daml.org/2000/12/daml+oil-ex#hasParent file:/home/connolly/w3ccvs/WWW/2000/10/swap/util/owlth.n3#w http://www.daml.org/2000/12/daml+oil-ex#bob file:/home/connolly/w3ccvs/WWW/2000/10/swap/util/rdfs-nice.n3#yyy http://www.daml.org/2000/12/daml+oil-ex#wilma file:/home/connolly/w3ccvs/WWW/2000/10/swap/util/rdfs-nice.n3#bbb http://www.daml.org/2000/12/daml+oil-ex#hasParent file:/home/connolly/w3ccvs/WWW/2000/10/swap/util/rdfs-nice.n3#xxx http://www.daml.org/2000/12/daml+oil-ex#bob file:/home/connolly/w3ccvs/WWW/2000/10/swap/util/rdfs-nice.n3#yyy http://www.daml.org/2000/12/daml+oil-ex#wilma file:/home/connolly/w3ccvs/WWW/2000/10/swap/util/rdfs-nice.n3#bbb http://www.daml.org/2000/12/daml+oil-ex#hasAncestor file:/home/connolly/w3ccvs/WWW/2000/10/swap/util/rdfs-nice.n3#xxx http://www.daml.org/2000/12/daml+oil-ex#bob @prefix : <http://www.daml.org/2000/12/daml+oil-ex#> . @prefix daml: <http://www.w3.org/2002/07/owl#> . :bob daml:differentFrom :chevy1, :fred, :fredo, :jill, :lawrence, :wilma . @prefix : <http://www.daml.org/2000/12/daml+oil-ex#> . @prefix daml: <http://www.w3.org/2002/07/owl#> . :bob daml:differentFrom :chevy1 . @prefix : <http://www.w3.org/2002/07/owl#> . :differentFrom a :SymmetricProperty . @prefix : <http://www.daml.org/2000/12/daml+oil-ex#> . @prefix daml: <http://www.w3.org/2002/07/owl#> . :chevy1 daml:differentFrom :bob . @prefix : <file:/home/connolly/w3ccvs/WWW/2000/10/swap/test/reason/animals-proof.n3#> . @prefix daml: <http://www.w3.org/2002/07/owl#> . @prefix ex: <http://www.daml.org/2000/12/daml+oil-ex#> . @forSome :_g9 . :_g9 daml:disjointWith ex:Person . @prefix : <http://www.w3.org/2002/07/owl#> . @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . :complementOf rdfs:subPropertyOf :disjointWith . @prefix : <file:/home/connolly/w3ccvs/WWW/2000/10/swap/test/reason/animals-proof.n3#> . @prefix daml: <http://www.w3.org/2002/07/owl#> . @prefix ex: <http://www.daml.org/2000/12/daml+oil-ex#> . @forSome :_g9 . :_g9 daml:complementOf ex:Person . @prefix : <file:/home/connolly/w3ccvs/WWW/2000/10/swap/util/rdfs-nice.n3#> . @prefix foo: <file:/home/connolly/w3ccvs/WWW/2000/10/swap/test/reason/animals-proof.n3#> . @prefix log: <http://www.w3.org/2000/10/swap/log#> . @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . @forAll :bbb, :xxx, :yyy . { @forSome foo:_g10 . foo:_g10 rdfs:subPropertyOf :bbb . :xxx foo:_g10 :yyy . } log:implies {:xxx :bbb :yyy . } . @prefix : <file:/home/connolly/w3ccvs/WWW/2000/10/swap/test/reason/animals-proof.n3#> . @prefix ex: <http://www.daml.org/2000/12/daml+oil-ex#> . @forSome :_g9 . ex:chevy1 a :_g9 . @prefix : <file:/home/connolly/w3ccvs/WWW/2000/10/swap/test/reason/animals-proof.n3#> . @prefix ex: <http://www.daml.org/2000/12/daml+oil-ex#> . @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . @forSome :_g9 . ex:Car rdfs:subClassOf :_g9 . @prefix : <http://www.daml.org/2000/12/daml+oil-ex#> . :chevy1 a :Car . @prefix : <file:/home/connolly/w3ccvs/WWW/2000/10/swap/util/rdfs-nice.n3#> . @prefix foo: <file:/home/connolly/w3ccvs/WWW/2000/10/swap/test/reason/animals-proof.n3#> . @prefix log: <http://www.w3.org/2000/10/swap/log#> . @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . @forAll :aaa, :yyy . { @forSome foo:_g11 . foo:_g11 rdfs:subClassOf :yyy . :aaa a foo:_g11 . } log:implies {:aaa a :yyy . } . @prefix : <http://www.daml.org/2000/12/daml+oil-ex#> . :bob a :Person . @prefix : <file:/home/connolly/w3ccvs/WWW/2000/10/swap/test/reason/animals-proof.n3#> . @prefix daml: <http://www.w3.org/2002/07/owl#> . @prefix log: <http://www.w3.org/2000/10/swap/log#> . @prefix owlth: <file:/home/connolly/w3ccvs/WWW/2000/10/swap/util/owlth.n3#> . @forAll owlth:x, owlth:y . { @forSome :_g12, :_g13 . :_g12 daml:disjointWith :_g13 . owlth:x a :_g12 . owlth:y a :_g13 . } log:implies {owlth:x daml:differentFrom owlth:y . } . @prefix : <file:/home/connolly/w3ccvs/WWW/2000/10/swap/util/owlth.n3#> . @prefix daml: <http://www.w3.org/2002/07/owl#> . @prefix log: <http://www.w3.org/2000/10/swap/log#> . @forAll :p, :v, :w . { :p a daml:SymmetricProperty . :v :p :w . } log:implies {:w :p :v . } . @prefix : <file:/home/connolly/w3ccvs/WWW/2000/10/swap/test/reason/animal-goal.n3#> . @prefix daml: <http://www.w3.org/2002/07/owl#> . @prefix ex: <http://www.daml.org/2000/12/daml+oil-ex#> . @prefix log: <http://www.w3.org/2000/10/swap/log#> . @forAll :who . { ex:bob daml:differentFrom :who . } log:implies {ex:bob daml:differentFrom :who . } . @prefix : <http://www.daml.org/2000/12/daml+oil-ex#> . @prefix daml: <http://www.w3.org/2002/07/owl#> . :bob daml:differentFrom :fred . @prefix : <http://www.daml.org/2000/12/daml+oil-ex#> . @prefix daml: <http://www.w3.org/2002/07/owl#> . :bob daml:differentFrom :fredo . @prefix : <http://www.daml.org/2000/12/daml+oil-ex#> . :fredo = :fred . @prefix : <file:/home/connolly/w3ccvs/WWW/2000/10/swap/test/reason/animals-proof.n3#> . @prefix daml: <http://www.w3.org/2002/07/owl#> . @forSome :_g14 . :_g14 daml:maxCardinality 1 . @prefix : <file:/home/connolly/w3ccvs/WWW/2000/10/swap/test/reason/animals-proof.n3#> . @prefix daml: <http://www.w3.org/2002/07/owl#> . @prefix ex: <http://www.daml.org/2000/12/daml+oil-ex#> . @forSome :_g14 . :_g14 daml:onProperty ex:hasSpouse . @prefix : <http://www.daml.org/2000/12/daml+oil-ex#> . :wilma :hasSpouse :fred . @prefix : <file:/home/connolly/w3ccvs/WWW/2000/10/swap/test/reason/animals-proof.n3#> . @prefix ex: <http://www.daml.org/2000/12/daml+oil-ex#> . @forSome :_g14 . ex:wilma a :_g14 . @prefix : <file:/home/connolly/w3ccvs/WWW/2000/10/swap/test/reason/animals-proof.n3#> . @prefix ex: <http://www.daml.org/2000/12/daml+oil-ex#> . @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . @forSome :_g14 . ex:Person rdfs:subClassOf :_g14 . @prefix : <http://www.daml.org/2000/12/daml+oil-ex#> . :wilma a :Person . @prefix : <file:/home/connolly/w3ccvs/WWW/2000/10/swap/test/reason/animals-proof.n3#> . @prefix daml: <http://www.w3.org/2002/07/owl#> . @prefix ex: <http://www.daml.org/2000/12/daml+oil-ex#> . @forSome :_g15 . :_g15 daml:allValuesFrom ex:Person . @prefix : <file:/home/connolly/w3ccvs/WWW/2000/10/swap/test/reason/animals-proof.n3#> . @prefix daml: <http://www.w3.org/2002/07/owl#> . @prefix ex: <http://www.daml.org/2000/12/daml+oil-ex#> . @forSome :_g15 . :_g15 daml:onProperty ex:hasParent . @prefix : <file:/home/connolly/w3ccvs/WWW/2000/10/swap/test/reason/animals-proof.n3#> . @prefix ex: <http://www.daml.org/2000/12/daml+oil-ex#> . @forSome :_g15 . ex:bob a :_g15 . @prefix : <file:/home/connolly/w3ccvs/WWW/2000/10/swap/test/reason/animals-proof.n3#> . @prefix ex: <http://www.daml.org/2000/12/daml+oil-ex#> . @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . @forSome :_g15 . ex:Person rdfs:subClassOf :_g15 . @prefix : <http://www.daml.org/2000/12/daml+oil-ex#> . :bob a :Person . @prefix : <file:/home/connolly/w3ccvs/WWW/2000/10/swap/util/rdfs-nice.n3#> . @prefix foo: <file:/home/connolly/w3ccvs/WWW/2000/10/swap/test/reason/animals-proof.n3#> . @prefix log: <http://www.w3.org/2000/10/swap/log#> . @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . @forAll :aaa, :yyy . { @forSome foo:_g11 . foo:_g11 rdfs:subClassOf :yyy . :aaa a foo:_g11 . } log:implies {:aaa a :yyy . } . @prefix : <http://www.daml.org/2000/12/daml+oil-ex#> . :bob :hasParent :wilma . @prefix : <file:/home/connolly/w3ccvs/WWW/2000/10/swap/util/owlth.n3#> . @prefix daml: <http://www.w3.org/2002/07/owl#> . @prefix log: <http://www.w3.org/2000/10/swap/log#> . @forAll :p, :u, :w, :x . { :u a [ daml:allValuesFrom :w; daml:onProperty :p ]; :p :x . } log:implies {:x a :w . } . @prefix : <file:/home/connolly/w3ccvs/WWW/2000/10/swap/util/rdfs-nice.n3#> . @prefix foo: <file:/home/connolly/w3ccvs/WWW/2000/10/swap/test/reason/animals-proof.n3#> . @prefix log: <http://www.w3.org/2000/10/swap/log#> . @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . @forAll :aaa, :yyy . { @forSome foo:_g11 . foo:_g11 rdfs:subClassOf :yyy . :aaa a foo:_g11 . } log:implies {:aaa a :yyy . } . @prefix : <http://www.daml.org/2000/12/daml+oil-ex#> . :wilma :hasSpouse :fredo . @prefix : <file:/home/connolly/w3ccvs/WWW/2000/10/swap/util/owlth.n3#> . @prefix daml: <http://www.w3.org/2002/07/owl#> . @prefix log: <http://www.w3.org/2000/10/swap/log#> . @forAll :p, :v1, :v2, :x . { :x a [ daml:maxCardinality 1; daml:onProperty :p ]; :p :v1, :v2 . } log:implies {:v1 = :v2 . } . @prefix : <file:/home/connolly/w3ccvs/WWW/2000/10/swap/util/owlth.n3#> . @prefix log: <http://www.w3.org/2000/10/swap/log#> . @forAll :p, :u, :v, :vv . { :u :p :v . :v = :vv . } log:implies {:u :p :vv . } . @prefix : <file:/home/connolly/w3ccvs/WWW/2000/10/swap/test/reason/animal-goal.n3#> . @prefix daml: <http://www.w3.org/2002/07/owl#> . @prefix ex: <http://www.daml.org/2000/12/daml+oil-ex#> . @prefix log: <http://www.w3.org/2000/10/swap/log#> . @forAll :who . { ex:bob daml:differentFrom :who . } log:implies {ex:bob daml:differentFrom :who . } . @prefix : <http://www.daml.org/2000/12/daml+oil-ex#> . @prefix daml: <http://www.w3.org/2002/07/owl#> . :bob daml:differentFrom :jill . @prefix : <http://www.daml.org/2000/12/daml+oil-ex#> . @prefix daml: <http://www.w3.org/2002/07/owl#> . :Man daml:disjointWith :Woman . @prefix : <http://www.daml.org/2000/12/daml+oil-ex#> . :jill a :Woman . @prefix : <http://www.daml.org/2000/12/daml+oil-ex#> . @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . :husband rdfs:domain :Woman . @prefix : <http://www.daml.org/2000/12/daml+oil-ex#> . :jill :husband :lawrence . @prefix : <http://www.daml.org/2000/12/daml+oil-ex#> . @prefix daml: <http://www.w3.org/2002/07/owl#> . :wife daml:inverseOf :husband . @prefix : <http://www.daml.org/2000/12/daml+oil-ex#> . :lawrence :wife :jill . @prefix : <file:/home/connolly/w3ccvs/WWW/2000/10/swap/util/owlth.n3#> . @prefix daml: <http://www.w3.org/2002/07/owl#> . @prefix foo: <file:/home/connolly/w3ccvs/WWW/2000/10/swap/test/reason/animals-proof.n3#> . @prefix log: <http://www.w3.org/2000/10/swap/log#> . @forAll :q, :v, :w . { @forSome foo:_g16 . foo:_g16 daml:inverseOf :q . :v foo:_g16 :w . } log:implies {:w :q :v . } . @prefix : <file:/home/connolly/w3ccvs/WWW/2000/10/swap/util/rdfs-nice.n3#> . @prefix foo: <file:/home/connolly/w3ccvs/WWW/2000/10/swap/test/reason/animals-proof.n3#> . @prefix log: <http://www.w3.org/2000/10/swap/log#> . @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . @forAll :xxx, :zzz . { @forSome foo:_g17 . foo:_g17 rdfs:domain :zzz . :xxx foo:_g17 [ ] . } log:implies {:xxx a :zzz . } . @prefix : <http://www.daml.org/2000/12/daml+oil-ex#> . :bob a :Man . @prefix : <file:/home/connolly/w3ccvs/WWW/2000/10/swap/test/reason/animals-proof.n3#> . @prefix daml: <http://www.w3.org/2002/07/owl#> . @prefix log: <http://www.w3.org/2000/10/swap/log#> . @prefix owlth: <file:/home/connolly/w3ccvs/WWW/2000/10/swap/util/owlth.n3#> . @forAll owlth:x, owlth:y . { @forSome :_g12, :_g13 . :_g12 daml:disjointWith :_g13 . owlth:x a :_g12 . owlth:y a :_g13 . } log:implies {owlth:x daml:differentFrom owlth:y . } . @prefix : <file:/home/connolly/w3ccvs/WWW/2000/10/swap/test/reason/animal-goal.n3#> . @prefix daml: <http://www.w3.org/2002/07/owl#> . @prefix ex: <http://www.daml.org/2000/12/daml+oil-ex#> . @prefix log: <http://www.w3.org/2000/10/swap/log#> . @forAll :who . { ex:bob daml:differentFrom :who . } log:implies {ex:bob daml:differentFrom :who . } . @prefix : <http://www.daml.org/2000/12/daml+oil-ex#> . @prefix daml: <http://www.w3.org/2002/07/owl#> . :bob daml:differentFrom :wilma . @prefix : <http://www.daml.org/2000/12/daml+oil-ex#> . @prefix daml: <http://www.w3.org/2002/07/owl#> . @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . :hasAncestor rdfs:subPropertyOf daml:differentFrom . @prefix : <http://www.daml.org/2000/12/daml+oil-ex#> . :bob :hasAncestor :wilma . @prefix : <file:/home/connolly/w3ccvs/WWW/2000/10/swap/util/rdfs-nice.n3#> . @prefix foo: <file:/home/connolly/w3ccvs/WWW/2000/10/swap/test/reason/animals-proof.n3#> . @prefix log: <http://www.w3.org/2000/10/swap/log#> . @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . @forAll :bbb, :xxx, :yyy . { @forSome foo:_g10 . foo:_g10 rdfs:subPropertyOf :bbb . :xxx foo:_g10 :yyy . } log:implies {:xxx :bbb :yyy . } . @prefix : <file:/home/connolly/w3ccvs/WWW/2000/10/swap/test/reason/animal-goal.n3#> . @prefix daml: <http://www.w3.org/2002/07/owl#> . @prefix ex: <http://www.daml.org/2000/12/daml+oil-ex#> . @prefix log: <http://www.w3.org/2000/10/swap/log#> . @forAll :who . { ex:bob daml:differentFrom :who . } log:implies {ex:bob daml:differentFrom :who . } . @prefix : <http://www.daml.org/2000/12/daml+oil-ex#> . @prefix daml: <http://www.w3.org/2002/07/owl#> . :bob daml:differentFrom :fredo . @prefix : <file:/home/connolly/w3ccvs/WWW/2000/10/swap/test/reason/animal-goal.n3#> . @prefix daml: <http://www.w3.org/2002/07/owl#> . @prefix ex: <http://www.daml.org/2000/12/daml+oil-ex#> . @prefix log: <http://www.w3.org/2000/10/swap/log#> . @forAll :who . { ex:bob daml:differentFrom :who . } log:implies {ex:bob daml:differentFrom :who . } . @prefix : <http://www.daml.org/2000/12/daml+oil-ex#> . @prefix daml: <http://www.w3.org/2002/07/owl#> . :bob daml:differentFrom :lawrence . @prefix : <http://www.daml.org/2000/12/daml+oil-ex#> . @prefix daml: <http://www.w3.org/2002/07/owl#> . @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . :hasAncestor rdfs:subPropertyOf daml:differentFrom . @prefix : <http://www.daml.org/2000/12/daml+oil-ex#> . :bob :hasAncestor :lawrence . @prefix : <http://www.daml.org/2000/12/daml+oil-ex#> . @prefix daml: <http://www.w3.org/2002/07/owl#> . :hasAncestor a daml:TransitiveProperty . @prefix : <http://www.daml.org/2000/12/daml+oil-ex#> . :wilma :hasAncestor :lawrence . @prefix : <http://www.daml.org/2000/12/daml+oil-ex#> . @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . :hasParent rdfs:subPropertyOf :hasAncestor . @prefix : <http://www.daml.org/2000/12/daml+oil-ex#> . :wilma :hasParent :lawrence . @prefix : <http://www.daml.org/2000/12/daml+oil-ex#> . @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . :hasFather rdfs:subPropertyOf :hasParent . @prefix : <http://www.daml.org/2000/12/daml+oil-ex#> . :wilma :hasFather :lawrence . @prefix : <file:/home/connolly/w3ccvs/WWW/2000/10/swap/util/rdfs-nice.n3#> . @prefix foo: <file:/home/connolly/w3ccvs/WWW/2000/10/swap/test/reason/animals-proof.n3#> . @prefix log: <http://www.w3.org/2000/10/swap/log#> . @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . @forAll :bbb, :xxx, :yyy . { @forSome foo:_g10 . foo:_g10 rdfs:subPropertyOf :bbb . :xxx foo:_g10 :yyy . } log:implies {:xxx :bbb :yyy . } . @prefix : <file:/home/connolly/w3ccvs/WWW/2000/10/swap/util/rdfs-nice.n3#> . @prefix foo: <file:/home/connolly/w3ccvs/WWW/2000/10/swap/test/reason/animals-proof.n3#> . @prefix log: <http://www.w3.org/2000/10/swap/log#> . @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . @forAll :bbb, :xxx, :yyy . { @forSome foo:_g10 . foo:_g10 rdfs:subPropertyOf :bbb . :xxx foo:_g10 :yyy . } log:implies {:xxx :bbb :yyy . } . @prefix : <http://www.daml.org/2000/12/daml+oil-ex#> . :bob :hasAncestor :wilma . @prefix : <file:/home/connolly/w3ccvs/WWW/2000/10/swap/util/owlth.n3#> . @prefix daml: <http://www.w3.org/2002/07/owl#> . @prefix log: <http://www.w3.org/2000/10/swap/log#> . @forAll :p, :u, :w . { :p a daml:TransitiveProperty . :u :p [ :p :w ] . } log:implies {:u :p :w . } . @prefix : <file:/home/connolly/w3ccvs/WWW/2000/10/swap/util/rdfs-nice.n3#> . @prefix foo: <file:/home/connolly/w3ccvs/WWW/2000/10/swap/test/reason/animals-proof.n3#> . @prefix log: <http://www.w3.org/2000/10/swap/log#> . @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . @forAll :bbb, :xxx, :yyy . { @forSome foo:_g10 . foo:_g10 rdfs:subPropertyOf :bbb . :xxx foo:_g10 :yyy . } log:implies {:xxx :bbb :yyy . } . @prefix : <file:/home/connolly/w3ccvs/WWW/2000/10/swap/test/reason/animal-goal.n3#> . @prefix daml: <http://www.w3.org/2002/07/owl#> . @prefix ex: <http://www.daml.org/2000/12/daml+oil-ex#> . @prefix log: <http://www.w3.org/2000/10/swap/log#> . @forAll :who . { ex:bob daml:differentFrom :who . } log:implies {ex:bob daml:differentFrom :who . } . @prefix : <http://www.daml.org/2000/12/daml+oil-ex#> . @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . :Man rdfs:subClassOf :Person . @prefix : <http://www.daml.org/2000/12/daml+oil-ex#> . :bob a :Man . @prefix : <file:/home/connolly/w3ccvs/WWW/2000/10/swap/util/rdfs-nice.n3#> . @prefix foo: <file:/home/connolly/w3ccvs/WWW/2000/10/swap/test/reason/animals-proof.n3#> . @prefix log: <http://www.w3.org/2000/10/swap/log#> . @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . @forAll :aaa, :yyy . { @forSome foo:_g11 . foo:_g11 rdfs:subClassOf :yyy . :aaa a foo:_g11 . } log:implies {:aaa a :yyy . } . @prefix : <http://www.daml.org/2000/12/daml+oil-ex#> . @prefix daml: <http://www.w3.org/2002/07/owl#> . @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . :hasAncestor rdfs:subPropertyOf daml:differentFrom . @prefix : <http://www.daml.org/2000/12/daml+oil-ex#> . :bob :hasAncestor :fredo . @prefix : <http://www.daml.org/2000/12/daml+oil-ex#> . @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . :hasParent rdfs:subPropertyOf :hasAncestor . @prefix : <http://www.daml.org/2000/12/daml+oil-ex#> . :bob :hasParent :fredo . @prefix : <http://www.daml.org/2000/12/daml+oil-ex#> . @prefix daml: <http://www.w3.org/2002/07/owl#> . :hasChild daml:inverseOf :hasParent . @prefix : <http://www.daml.org/2000/12/daml+oil-ex#> . :fredo :hasChild :bob . @prefix : <file:/home/connolly/w3ccvs/WWW/2000/10/swap/util/owlth.n3#> . @prefix daml: <http://www.w3.org/2002/07/owl#> . @prefix foo: <file:/home/connolly/w3ccvs/WWW/2000/10/swap/test/reason/animals-proof.n3#> . @prefix log: <http://www.w3.org/2000/10/swap/log#> . @forAll :q, :v, :w . { @forSome foo:_g16 . foo:_g16 daml:inverseOf :q . :v foo:_g16 :w . } log:implies {:w :q :v . } . @prefix : <file:/home/connolly/w3ccvs/WWW/2000/10/swap/util/rdfs-nice.n3#> . @prefix foo: <file:/home/connolly/w3ccvs/WWW/2000/10/swap/test/reason/animals-proof.n3#> . @prefix log: <http://www.w3.org/2000/10/swap/log#> . @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . @forAll :bbb, :xxx, :yyy . { @forSome foo:_g10 . foo:_g10 rdfs:subPropertyOf :bbb . :xxx foo:_g10 :yyy . } log:implies {:xxx :bbb :yyy . } . @prefix : <file:/home/connolly/w3ccvs/WWW/2000/10/swap/util/rdfs-nice.n3#> . @prefix foo: <file:/home/connolly/w3ccvs/WWW/2000/10/swap/test/reason/animals-proof.n3#> . @prefix log: <http://www.w3.org/2000/10/swap/log#> . @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . @forAll :bbb, :xxx, :yyy . { @forSome foo:_g10 . foo:_g10 rdfs:subPropertyOf :bbb . :xxx foo:_g10 :yyy . } log:implies {:xxx :bbb :yyy . } . @prefix : <http://www.daml.org/2000/12/daml+oil-ex#> . @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . :hasMother rdfs:subPropertyOf :hasParent . @prefix : <http://www.daml.org/2000/12/daml+oil-ex#> . :bob :hasMother :wilma . @prefix : <file:/home/connolly/w3ccvs/WWW/2000/10/swap/util/rdfs-nice.n3#> . @prefix foo: <file:/home/connolly/w3ccvs/WWW/2000/10/swap/test/reason/animals-proof.n3#> . @prefix log: <http://www.w3.org/2000/10/swap/log#> . @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . @forAll :bbb, :xxx, :yyy . { @forSome foo:_g10 . foo:_g10 rdfs:subPropertyOf :bbb . :xxx foo:_g10 :yyy . } log:implies {:xxx :bbb :yyy . } . @prefix : <http://www.daml.org/2000/12/daml+oil-ex#> . @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . :hasParent rdfs:subPropertyOf :hasAncestor . @prefix : <http://www.daml.org/2000/12/daml+oil-ex#> . :bob :hasParent :wilma . @prefix : <file:/home/connolly/w3ccvs/WWW/2000/10/swap/util/rdfs-nice.n3#> . @prefix foo: <file:/home/connolly/w3ccvs/WWW/2000/10/swap/test/reason/animals-proof.n3#> . @prefix log: <http://www.w3.org/2000/10/swap/log#> . @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . @forAll :bbb, :xxx, :yyy . { @forSome foo:_g10 . foo:_g10 rdfs:subPropertyOf :bbb . :xxx foo:_g10 :yyy . } log:implies {:xxx :bbb :yyy . } . @prefix : <http://www.daml.org/2000/12/daml+oil-ex#> . @prefix daml: <http://www.w3.org/2002/07/owl#> . :bob daml:differentFrom :chevy1, :fred, :fredo, :jill, :lawrence, :wilma . @prefix : <http://www.daml.org/2000/12/daml+oil-ex#> . @prefix daml: <http://www.w3.org/2002/07/owl#> . :bob daml:differentFrom :chevy1 . @prefix : <http://www.daml.org/2000/12/daml+oil-ex#> . @prefix daml: <http://www.w3.org/2002/07/owl#> . :chevy1 daml:differentFrom :bob . @prefix : <file:/home/connolly/w3ccvs/WWW/2000/10/swap/test/reason/animals-proof.n3#> . @prefix daml: <http://www.w3.org/2002/07/owl#> . @prefix ex: <http://www.daml.org/2000/12/daml+oil-ex#> . @forSome :_g9 . :_g9 daml:disjointWith ex:Person . @prefix : <file:/home/connolly/w3ccvs/WWW/2000/10/swap/test/reason/animals-proof.n3#> . @prefix ex: <http://www.daml.org/2000/12/daml+oil-ex#> . @forSome :_g9 . ex:chevy1 a :_g9 . @prefix : <http://www.daml.org/2000/12/daml+oil-ex#> . @prefix daml: <http://www.w3.org/2002/07/owl#> . :bob daml:differentFrom :chevy1, :fred, :fredo, :jill, :lawrence, :wilma . @prefix : <http://www.daml.org/2000/12/daml+oil-ex#> . @prefix daml: <http://www.w3.org/2002/07/owl#> . :bob daml:differentFrom :fred . @prefix : <http://www.daml.org/2000/12/daml+oil-ex#> . :fredo = :fred . @prefix : <file:/home/connolly/w3ccvs/WWW/2000/10/swap/test/reason/animals-proof.n3#> . @prefix ex: <http://www.daml.org/2000/12/daml+oil-ex#> . @forSome :_g14 . ex:wilma a :_g14 . @prefix : <http://www.daml.org/2000/12/daml+oil-ex#> . :wilma a :Person . @prefix : <file:/home/connolly/w3ccvs/WWW/2000/10/swap/test/reason/animals-proof.n3#> . @prefix ex: <http://www.daml.org/2000/12/daml+oil-ex#> . @forSome :_g15 . ex:bob a :_g15 . @prefix : <http://www.daml.org/2000/12/daml+oil-ex#> . @prefix daml: <http://www.w3.org/2002/07/owl#> . :bob daml:differentFrom :chevy1, :fred, :fredo, :jill, :lawrence, :wilma . @prefix : <http://www.daml.org/2000/12/daml+oil-ex#> . @prefix daml: <http://www.w3.org/2002/07/owl#> . :bob daml:differentFrom :jill . @prefix : <http://www.daml.org/2000/12/daml+oil-ex#> . :jill a :Woman . @prefix : <http://www.daml.org/2000/12/daml+oil-ex#> . :jill :husband :lawrence . @prefix : <http://www.daml.org/2000/12/daml+oil-ex#> . @prefix daml: <http://www.w3.org/2002/07/owl#> . :bob daml:differentFrom :chevy1, :fred, :fredo, :jill, :lawrence, :wilma . @prefix : <http://www.daml.org/2000/12/daml+oil-ex#> . @prefix daml: <http://www.w3.org/2002/07/owl#> . :bob daml:differentFrom :wilma . @prefix : <http://www.daml.org/2000/12/daml+oil-ex#> . @prefix daml: <http://www.w3.org/2002/07/owl#> . :bob daml:differentFrom :chevy1, :fred, :fredo, :jill, :lawrence, :wilma . @prefix : <http://www.daml.org/2000/12/daml+oil-ex#> . @prefix daml: <http://www.w3.org/2002/07/owl#> . :bob daml:differentFrom :chevy1, :fred, :fredo, :jill, :lawrence, :wilma . @prefix : <http://www.daml.org/2000/12/daml+oil-ex#> . @prefix daml: <http://www.w3.org/2002/07/owl#> . :bob daml:differentFrom :lawrence . @prefix : <http://www.daml.org/2000/12/daml+oil-ex#> . :bob :hasAncestor :lawrence . @prefix : <http://www.daml.org/2000/12/daml+oil-ex#> . :wilma :hasAncestor :lawrence . @prefix : <http://www.daml.org/2000/12/daml+oil-ex#> . :wilma :hasParent :lawrence . @prefix : <http://www.daml.org/2000/12/daml+oil-ex#> . :bob a :Person . @prefix : <http://www.daml.org/2000/12/daml+oil-ex#> . @prefix daml: <http://www.w3.org/2002/07/owl#> . :bob daml:differentFrom :fredo . @prefix : <http://www.daml.org/2000/12/daml+oil-ex#> . :bob :hasAncestor :fredo . @prefix : <http://www.daml.org/2000/12/daml+oil-ex#> . :bob :hasParent :fredo . @prefix : <http://www.daml.org/2000/12/daml+oil-ex#> . :bob :hasParent :wilma . @prefix : <http://www.daml.org/2000/12/daml+oil-ex#> . :bob :hasAncestor :wilma .