# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:02 GMT @prefix log: . ()!log:conjunction => { @prefix e: . @prefix q: . @prefix rdfs: . @prefix log: . @prefix rdf: . # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:02 GMT @prefix log: . ()!log:conjunction => { @prefix e: . @prefix ns0e: . @prefix q: . @prefix rdfs: . @prefix log: . @prefix rdf: . # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:04 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix e: . @prefix q: . @prefix rdfs: . @prefix ns0: . @prefix log: . @prefix : . @prefix test: . @prefix rdf: . { "xxx"} e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/amp-in-url/test001.nt in 1 step (100000 steps/sec) using 1 engine (8 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:04 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix ns0: . @prefix q: . @prefix e: . @prefix : . @prefix eg: . @prefix log: . @prefix rdfs: . @prefix test: . @prefix rdf: . { "10"^^} e:evidence . { "10"^^} e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/test001.nt in 2 steps (199 steps/sec) using 1 engine (177 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:04 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix ns0: . @prefix q: . @prefix e: . @prefix : . @prefix eg: . @prefix log: . @prefix rdfs: . @prefix test: . @prefix rdf: . { "flargh"^^} e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/test002.nt in 1 step (100000 steps/sec) using 1 engine (176 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:05 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { # No proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-charmod-literals/test001.nt in 1 step (100000 steps/sec) using 1 engine (28 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:05 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { # No proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-charmod-uris/test001.nt in 1 step (100000 steps/sec) using 1 engine (47 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:05 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix ns0: . @prefix q: . @prefix e: . @prefix : . @prefix eg: . @prefix log: . @prefix rdfs: . @prefix test: . @prefix rdf: . { "2000"} e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-charmod-uris/test002.nt in 1 step (100000 steps/sec) using 1 engine (47 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:05 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix e: . @prefix q: . @prefix rdfs: . @prefix ns0: . @prefix log: . @prefix : . @prefix test: . @prefix rdf: . {_:9590_11_ "1"} e:evidence . {_:9590_11_ "2"} e:evidence . {_:9590_11_ } e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test001.nt in 31 steps (3096 steps/sec) using 1 engine (79 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:05 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix ns0: . @prefix q: . @prefix e: . @prefix foo: . @prefix : . @prefix log: . @prefix rdfs: . @prefix test: . @prefix rdf: . {_:9838_13_ "_1"} e:evidence . {_:9838_13_ "1"} e:evidence . {_:9838_13_ "_3"} e:evidence . {_:9838_13_ "2"} e:evidence . {_:9838_13_ } e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test002.nt in 34 steps (3400000 steps/sec) using 1 engine (81 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:05 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix ns0: . @prefix q: . @prefix e: . @prefix foo: . @prefix : . @prefix log: . @prefix rdfs: . @prefix test: . @prefix rdf: . {_:10107_14_ "1"} e:evidence . {_:10107_14_ "2"} e:evidence . {_:10107_14_ } e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test003.nt in 31 steps (3100000 steps/sec) using 1 engine (79 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:05 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix ns0: . @prefix q: . @prefix e: . @prefix foo: . @prefix : . @prefix log: . @prefix rdfs: . @prefix test: . @prefix rdf: . {_:b1_15_ "1"} e:evidence . { _:b1_15_} e:evidence . { } e:evidence . { "1"} e:evidence . {_:b1_15_ "2"^^} e:evidence . {_:b1_15_ _:10389_15_} e:evidence . {_:b1_15_ _:b2_15_} e:evidence . { _:b1_15_} e:evidence . { } e:evidence . { _:b2_15_} e:evidence . {_:b2_15_ "foobar"} e:evidence . {_:b1_15_ } e:evidence . { } e:evidence . {_:10389_15_ } e:evidence . { } e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test004.nt in 136 steps (13586 steps/sec) using 1 engine (91 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:05 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix ns0: . @prefix q: . @prefix e: . @prefix foo: . @prefix : . @prefix log: . @prefix rdfs: . @prefix test: . @prefix rdf: . { "3"} e:evidence . { "foobar"} e:evidence . { "2"} e:evidence . { "foobar"} e:evidence . { "barfoo"} e:evidence . { } e:evidence . { } e:evidence . {_:10815_16_ } e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test006.nt in 98 steps (979 steps/sec) using 1 engine (84 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:05 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix ns0: . @prefix q: . @prefix e: . @prefix foo: . @prefix : . @prefix log: . @prefix rdfs: . @prefix test: . @prefix rdf: . {_:11146_17_ _:11153_17_} e:evidence . {_:11153_17_ "1"} e:evidence . {_:11153_17_ "2"} e:evidence . {_:11146_17_ "2"} e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test007.nt in 6 steps (600000 steps/sec) using 1 engine (80 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:06 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix e: . @prefix q: . @prefix rdfs: . @prefix ns0: . @prefix log: . @prefix : . @prefix test: . @prefix rdf: . { "1"} e:evidence . { "1-again"} e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test008.nt in 3 steps (300000 steps/sec) using 1 engine (78 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:06 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix e: . @prefix q: . @prefix rdfs: . @prefix ns0: . @prefix log: . @prefix : . @prefix test: . @prefix rdf: . {_:11438_20_ "Dogs in Hats"} e:evidence . {_:11438_20_ } e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-element-not-mandatory/test001.nt in 5 steps (499 steps/sec) using 1 engine (10 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:06 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix ns0: . @prefix q: . @prefix e: . @prefix : . @prefix eg: . @prefix log: . @prefix rdfs: . @prefix test: . @prefix rdf: . { "bar"} e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/test0001.nt in 1 step (100000 steps/sec) using 1 engine (167 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:06 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix ns0: . @prefix q: . @prefix e: . @prefix : . @prefix eg: . @prefix log: . @prefix rdfs: . @prefix test: . @prefix rdf: . { } e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/test0003.nt in 1 step (100000 steps/sec) using 1 engine (167 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:06 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix ns0: . @prefix q: . @prefix e: . @prefix : . @prefix eg: . @prefix log: . @prefix rdfs: . @prefix test: . @prefix rdf: . { "bar"} e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/test0004.nt in 1 step (100000 steps/sec) using 1 engine (167 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:06 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix ns0: . @prefix q: . @prefix e: . @prefix : . @prefix eg: . @prefix log: . @prefix rdfs: . @prefix test: . @prefix rdf: . { _:13096_25_} e:evidence . {_:13096_25_ "bar"} e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/test0005.nt in 2 steps (200000 steps/sec) using 1 engine (168 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:06 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix e: . @prefix q: . @prefix rdfs: . @prefix ns0: . @prefix log: . @prefix : . @prefix test: . @prefix rdf: . { } e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/test0006.nt in 61 steps (3048 steps/sec) using 1 engine (167 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:06 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix ns0: . @prefix q: . @prefix e: . @prefix : . @prefix eg: . @prefix log: . @prefix rdfs: . @prefix test: . @prefix rdf: . { "bar"} e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/test0009.nt in 1 step (100000 steps/sec) using 1 engine (167 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:06 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix ns0: . @prefix q: . @prefix e: . @prefix : . @prefix eg: . @prefix log: . @prefix rdfs: . @prefix test: . @prefix rdf: . { "bar"} e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/test0010.nt in 1 step (100000 steps/sec) using 1 engine (167 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:06 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { # No proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/test0011.nt in 1 step (100000 steps/sec) using 1 engine (168 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:07 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { # No proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/test0012.nt in 1 step (100000 steps/sec) using 1 engine (168 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:07 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { # No proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/test0013.nt in 1 step (100000 steps/sec) using 1 engine (168 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:07 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { # No proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/test0014.nt in 1 step (100000 steps/sec) using 1 engine (168 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:07 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix e: . @prefix q: . @prefix rdfs: . @prefix ns0: . @prefix log: . @prefix : . @prefix test: . @prefix rdf: . { "abc"} e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-difference-between-ID-and-about/test1.nt in 1 step (100000 steps/sec) using 1 engine (33 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:07 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { # No proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-difference-between-ID-and-about/test2.nt in 1 step (100000 steps/sec) using 1 engine (33 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:07 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { # No proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-difference-between-ID-and-about/test3.nt in 1 step (100000 steps/sec) using 1 engine (33 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:07 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix e: . @prefix q: . @prefix rdfs: . @prefix ns0: . @prefix log: . @prefix : . @prefix test: . @prefix rdf: . { } e:evidence . { } e:evidence . { } e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-duplicate-member-props/test001.nt in 7 steps (700000 steps/sec) using 1 engine (12 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:07 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix ns0: . @prefix q: . @prefix e: . @prefix : . @prefix log: . @prefix random: . @prefix rdfs: . @prefix test: . @prefix rdf: . { } e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test001.nt in 1 step (100000 steps/sec) using 1 engine (157 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:07 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix ns0: . @prefix q: . @prefix e: . @prefix : . @prefix log: . @prefix random: . @prefix rdfs: . @prefix test: . @prefix rdf: . { ""} e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test002.nt in 1 step (100000 steps/sec) using 1 engine (157 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:07 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix ns0: . @prefix q: . @prefix e: . @prefix : . @prefix log: . @prefix random: . @prefix rdfs: . @prefix test: . @prefix rdf: . { ""^^} e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test003.nt in 1 step (100000 steps/sec) using 1 engine (157 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:07 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix ns0: . @prefix q: . @prefix e: . @prefix : . @prefix log: . @prefix random: . @prefix rdfs: . @prefix test: . @prefix rdf: . { _:17981_43_} e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test004.nt in 1 step (9 steps/sec) using 1 engine (157 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:08 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix ns0: . @prefix q: . @prefix e: . @prefix : . @prefix log: . @prefix random: . @prefix rdfs: . @prefix test: . @prefix rdf: . { ""} e:evidence . { } e:evidence . { } e:evidence . { ""} e:evidence . { } e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test005.nt in 62 steps (6200000 steps/sec) using 1 engine (161 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:08 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix ns0: . @prefix q: . @prefix e: . @prefix : . @prefix log: . @prefix random: . @prefix rdfs: . @prefix test: . @prefix rdf: . { _:b1_45_} e:evidence . { } e:evidence . { } e:evidence . { _:b1_45_} e:evidence . { } e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test006.nt in 62 steps (6193 steps/sec) using 1 engine (161 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:08 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix ns0: . @prefix q: . @prefix e: . @prefix : . @prefix log: . @prefix random: . @prefix rdfs: . @prefix test: . @prefix rdf: . { } e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test007.nt in 1 step (100000 steps/sec) using 1 engine (157 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:08 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix ns0: . @prefix q: . @prefix e: . @prefix : . @prefix log: . @prefix random: . @prefix rdfs: . @prefix test: . @prefix rdf: . { ""} e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test008.nt in 1 step (100000 steps/sec) using 1 engine (157 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:08 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix ns0: . @prefix q: . @prefix e: . @prefix : . @prefix log: . @prefix random: . @prefix rdfs: . @prefix test: . @prefix rdf: . { ""^^} e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test009.nt in 1 step (100000 steps/sec) using 1 engine (157 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:08 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix ns0: . @prefix q: . @prefix e: . @prefix : . @prefix log: . @prefix random: . @prefix rdfs: . @prefix test: . @prefix rdf: . { _:20489_49_} e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test010.nt in 1 step (100000 steps/sec) using 1 engine (157 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:08 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix ns0: . @prefix q: . @prefix e: . @prefix : . @prefix log: . @prefix random: . @prefix rdfs: . @prefix test: . @prefix rdf: . { ""} e:evidence . { } e:evidence . { } e:evidence . { ""} e:evidence . { } e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test011.nt in 62 steps (3098 steps/sec) using 1 engine (161 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:08 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix ns0: . @prefix q: . @prefix e: . @prefix : . @prefix log: . @prefix random: . @prefix rdfs: . @prefix test: . @prefix rdf: . { _:b1_51_} e:evidence . { } e:evidence . { } e:evidence . { _:b1_51_} e:evidence . { } e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test012.nt in 62 steps (6200000 steps/sec) using 1 engine (161 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:08 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix ns0: . @prefix q: . @prefix e: . @prefix : . @prefix log: . @prefix random: . @prefix rdfs: . @prefix test: . @prefix rdf: . { } e:evidence . { "baz"} e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test013.nt in 2 steps (200000 steps/sec) using 1 engine (158 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:08 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix ns0: . @prefix q: . @prefix e: . @prefix : . @prefix log: . @prefix random: . @prefix rdfs: . @prefix test: . @prefix rdf: . { _:22225_53_} e:evidence . {_:22225_53_ "baz"} e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test014.nt in 2 steps (200000 steps/sec) using 1 engine (158 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:08 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix ns0: . @prefix q: . @prefix e: . @prefix : . @prefix log: . @prefix random: . @prefix rdfs: . @prefix test: . @prefix rdf: . { _:22623_54_} e:evidence . {_:22623_54_ "baz"} e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test015.nt in 2 steps (200000 steps/sec) using 1 engine (158 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:09 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix ns0: . @prefix q: . @prefix e: . @prefix : . @prefix log: . @prefix random: . @prefix rdfs: . @prefix test: . @prefix rdf: . { } e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test016.nt in 1 step (100000 steps/sec) using 1 engine (157 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:09 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix ns0: . @prefix q: . @prefix e: . @prefix : . @prefix log: . @prefix random: . @prefix rdfs: . @prefix test: . @prefix rdf: . { } e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test017.nt in 1 step (100000 steps/sec) using 1 engine (157 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:09 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix ns0: . @prefix q: . @prefix e: . @prefix : . @prefix eg: . @prefix log: . @prefix rdfs: . @prefix test: . @prefix rdf: . {_:23520_58_ "property value"} e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-identity-anon-resources/test001.nt in 1 step (100000 steps/sec) using 1 engine (41 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:09 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix ns0: . @prefix q: . @prefix e: . @prefix : . @prefix eg: . @prefix log: . @prefix rdfs: . @prefix test: . @prefix rdf: . {_:23635_59_ "property value"} e:evidence . {_:23635_59_ } e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-identity-anon-resources/test002.nt in 17 steps (1700000 steps/sec) using 1 engine (42 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:09 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix ns0: . @prefix q: . @prefix e: . @prefix : . @prefix eg: . @prefix log: . @prefix rdfs: . @prefix test: . @prefix rdf: . {_:23772_60_ } e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-identity-anon-resources/test003.nt in 16 steps (1600000 steps/sec) using 1 engine (41 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:09 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix ns0: . @prefix q: . @prefix e: . @prefix : . @prefix eg: . @prefix log: . @prefix rdfs: . @prefix test: . @prefix rdf: . {_:23902_61_ "some value"} e:evidence . {_:23902_61_ } e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-identity-anon-resources/test004.nt in 17 steps (1700000 steps/sec) using 1 engine (42 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:09 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix ns0: . @prefix q: . @prefix e: . @prefix : . @prefix eg: . @prefix log: . @prefix rdfs: . @prefix test: . @prefix rdf: . {_:24042_62_ } e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-identity-anon-resources/test005.nt in 16 steps (1600000 steps/sec) using 1 engine (41 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:09 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix ns0: . @prefix q: . @prefix e: . @prefix : . @prefix eg: . @prefix log: . @prefix rdfs: . @prefix test: . @prefix rdf: . {_:b1_64_ "val"} e:evidence . {_:24184_64_ _:b1_64_} e:evidence . { _:24184_64_} e:evidence . { } e:evidence . { _:b1_64_} e:evidence . { } e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-not-id-and-resource-attr/test001.nt in 21 steps (2100000 steps/sec) using 1 engine (46 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:09 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix ns0: . @prefix q: . @prefix e: . @prefix : . @prefix eg: . @prefix log: . @prefix rdfs: . @prefix test: . @prefix rdf: . { "val"} e:evidence . {_:24344_65_ } e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-not-id-and-resource-attr/test002.nt in 2 steps (200000 steps/sec) using 1 engine (42 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:09 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix ns0: . @prefix q: . @prefix e: . @prefix : . @prefix eg: . @prefix log: . @prefix rdfs: . @prefix test: . @prefix rdf: . {_:24473_66_ } e:evidence . { _:24473_66_} e:evidence . { } e:evidence . { } e:evidence . { } e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-not-id-and-resource-attr/test004.nt in 20 steps (2000000 steps/sec) using 1 engine (45 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:10 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix ns0: . @prefix q: . @prefix e: . @prefix : . @prefix eg: . @prefix log: . @prefix rdfs: . @prefix test: . @prefix rdf: . { "val"} e:evidence . {_:24633_67_ } e:evidence . { _:24633_67_} e:evidence . { } e:evidence . { } e:evidence . { } e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-not-id-and-resource-attr/test005.nt in 21 steps (2100000 steps/sec) using 1 engine (46 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:10 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix c: . @prefix ns0: . @prefix q: . @prefix e: . @prefix : . @prefix log: . @prefix rdfs: . @prefix test: . @prefix rdf: . { "permitted"} e:evidence . { "also permitted"} e:evidence . { "this one also permitted"} e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-para196/test001.nt in 3 steps (300000 steps/sec) using 1 engine (11 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:10 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { # No proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-001.nt in 1 step (100000 steps/sec) using 1 engine (443 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:10 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix e: . @prefix q: . @prefix rdfs: . @prefix ns0: . @prefix log: . @prefix : . @prefix test: . @prefix rdf: . { } e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-002.nt in 161 steps (16100000 steps/sec) using 1 engine (444 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:10 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix e: . @prefix q: . @prefix rdfs: . @prefix ns0: . @prefix log: . @prefix : . @prefix test: . @prefix rdf: . { } e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-003.nt in 161 steps (16100000 steps/sec) using 1 engine (444 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:11 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix e: . @prefix q: . @prefix rdfs: . @prefix ns0: . @prefix log: . @prefix : . @prefix test: . @prefix rdf: . { } e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-004.nt in 161 steps (16083 steps/sec) using 1 engine (444 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:11 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix e: . @prefix q: . @prefix rdfs: . @prefix ns0: . @prefix log: . @prefix : . @prefix test: . @prefix rdf: . { } e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-005.nt in 161 steps (16100000 steps/sec) using 1 engine (444 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:11 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix e: . @prefix q: . @prefix rdfs: . @prefix ns0: . @prefix log: . @prefix : . @prefix test: . @prefix rdf: . { } e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-006.nt in 161 steps (16100000 steps/sec) using 1 engine (444 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:12 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix e: . @prefix q: . @prefix rdfs: . @prefix ns0: . @prefix log: . @prefix : . @prefix test: . @prefix rdf: . { } e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-007.nt in 161 steps (16100000 steps/sec) using 1 engine (444 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:12 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix e: . @prefix q: . @prefix rdfs: . @prefix ns0: . @prefix log: . @prefix : . @prefix test: . @prefix rdf: . { } e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-008.nt in 161 steps (16100000 steps/sec) using 1 engine (444 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:12 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix e: . @prefix q: . @prefix rdfs: . @prefix ns0: . @prefix log: . @prefix : . @prefix test: . @prefix rdf: . { } e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-009.nt in 161 steps (16100000 steps/sec) using 1 engine (444 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:13 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix e: . @prefix q: . @prefix rdfs: . @prefix ns0: . @prefix log: . @prefix : . @prefix test: . @prefix rdf: . { } e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-010.nt in 161 steps (16100000 steps/sec) using 1 engine (444 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:13 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix e: . @prefix q: . @prefix rdfs: . @prefix ns0: . @prefix log: . @prefix : . @prefix test: . @prefix rdf: . { } e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-011.nt in 161 steps (16100000 steps/sec) using 1 engine (444 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:13 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix e: . @prefix q: . @prefix rdfs: . @prefix ns0: . @prefix log: . @prefix : . @prefix test: . @prefix rdf: . { } e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-012.nt in 161 steps (16100000 steps/sec) using 1 engine (444 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:13 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix e: . @prefix q: . @prefix rdfs: . @prefix ns0: . @prefix log: . @prefix : . @prefix test: . @prefix rdf: . { rdf:first} e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-013.nt in 161 steps (16100000 steps/sec) using 1 engine (444 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:13 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix e: . @prefix q: . @prefix rdfs: . @prefix ns0: . @prefix log: . @prefix : . @prefix test: . @prefix rdf: . { rdf:rest} e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-014.nt in 161 steps (16100000 steps/sec) using 1 engine (444 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:13 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix e: . @prefix q: . @prefix rdfs: . @prefix ns0: . @prefix log: . @prefix : . @prefix test: . @prefix rdf: . { } e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-015.nt in 161 steps (16100000 steps/sec) using 1 engine (444 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:13 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix e: . @prefix q: . @prefix rdfs: . @prefix ns0: . @prefix log: . @prefix : . @prefix test: . @prefix rdf: . { rdf:nil} e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-016.nt in 161 steps (16100000 steps/sec) using 1 engine (444 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:14 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix e: . @prefix q: . @prefix rdfs: . @prefix ns0: . @prefix log: . @prefix : . @prefix test: . @prefix rdf: . { } e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-017.nt in 1 step (100000 steps/sec) using 1 engine (444 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:14 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix e: . @prefix q: . @prefix rdfs: . @prefix ns0: . @prefix log: . @prefix : . @prefix test: . @prefix rdf: . { } e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-018.nt in 1 step (100000 steps/sec) using 1 engine (444 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:14 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix e: . @prefix q: . @prefix rdfs: . @prefix ns0: . @prefix log: . @prefix : . @prefix test: . @prefix rdf: . { } e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-019.nt in 1 step (100000 steps/sec) using 1 engine (444 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:14 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix e: . @prefix q: . @prefix rdfs: . @prefix ns0: . @prefix log: . @prefix : . @prefix test: . @prefix rdf: . { } e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-020.nt in 1 step (100000 steps/sec) using 1 engine (444 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:14 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix e: . @prefix q: . @prefix rdfs: . @prefix ns0: . @prefix log: . @prefix : . @prefix test: . @prefix rdf: . { } e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-021.nt in 1 step (100000 steps/sec) using 1 engine (444 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:14 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix e: . @prefix q: . @prefix rdfs: . @prefix ns0: . @prefix log: . @prefix : . @prefix test: . @prefix rdf: . { } e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-022.nt in 1 step (100000 steps/sec) using 1 engine (444 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:14 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix e: . @prefix q: . @prefix rdfs: . @prefix ns0: . @prefix log: . @prefix : . @prefix test: . @prefix rdf: . { } e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-023.nt in 1 step (100000 steps/sec) using 1 engine (444 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:15 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix e: . @prefix q: . @prefix rdfs: . @prefix ns0: . @prefix log: . @prefix : . @prefix test: . @prefix rdf: . { } e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-024.nt in 1 step (100000 steps/sec) using 1 engine (444 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:15 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix e: . @prefix q: . @prefix rdfs: . @prefix ns0: . @prefix log: . @prefix : . @prefix test: . @prefix rdf: . { } e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-025.nt in 1 step (100000 steps/sec) using 1 engine (444 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:15 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix e: . @prefix q: . @prefix rdfs: . @prefix ns0: . @prefix log: . @prefix : . @prefix test: . @prefix rdf: . { } e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-026.nt in 161 steps (16100000 steps/sec) using 1 engine (444 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:16 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix e: . @prefix q: . @prefix rdfs: . @prefix ns0: . @prefix log: . @prefix : . @prefix test: . @prefix rdf: . { } e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-027.nt in 1 step (100000 steps/sec) using 1 engine (444 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:16 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix e: . @prefix q: . @prefix rdfs: . @prefix ns0: . @prefix log: . @prefix : . @prefix test: . @prefix rdf: . { rdf:first } e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-028.nt in 1 step (100000 steps/sec) using 1 engine (444 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:16 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix e: . @prefix q: . @prefix rdfs: . @prefix ns0: . @prefix log: . @prefix : . @prefix test: . @prefix rdf: . { rdf:rest } e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-029.nt in 1 step (100000 steps/sec) using 1 engine (444 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:17 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix e: . @prefix q: . @prefix rdfs: . @prefix ns0: . @prefix log: . @prefix : . @prefix test: . @prefix rdf: . { } e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-030.nt in 1 step (100000 steps/sec) using 1 engine (444 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:17 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix e: . @prefix q: . @prefix rdfs: . @prefix ns0: . @prefix log: . @prefix : . @prefix test: . @prefix rdf: . { } e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-031.nt in 1 step (100000 steps/sec) using 1 engine (444 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:17 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix e: . @prefix q: . @prefix rdfs: . @prefix ns0: . @prefix log: . @prefix : . @prefix test: . @prefix rdf: . { "string"} e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-032.nt in 1 step (100000 steps/sec) using 1 engine (444 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:17 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix e: . @prefix q: . @prefix rdfs: . @prefix ns0: . @prefix log: . @prefix : . @prefix test: . @prefix rdf: . { "string"} e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-033.nt in 1 step (100000 steps/sec) using 1 engine (444 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:18 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix e: . @prefix q: . @prefix rdfs: . @prefix ns0: . @prefix log: . @prefix : . @prefix test: . @prefix rdf: . { "string"} e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-034.nt in 1 step (100000 steps/sec) using 1 engine (444 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:18 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix e: . @prefix q: . @prefix rdfs: . @prefix ns0: . @prefix log: . @prefix : . @prefix test: . @prefix rdf: . { "string"} e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-035.nt in 1 step (100000 steps/sec) using 1 engine (444 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:18 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix e: . @prefix q: . @prefix rdfs: . @prefix ns0: . @prefix log: . @prefix : . @prefix test: . @prefix rdf: . { "string"} e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-036.nt in 1 step (100000 steps/sec) using 1 engine (444 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:19 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix e: . @prefix q: . @prefix rdfs: . @prefix ns0: . @prefix log: . @prefix : . @prefix test: . @prefix rdf: . { "string"} e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-037.nt in 1 step (100000 steps/sec) using 1 engine (444 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:19 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix e: . @prefix q: . @prefix rdfs: . @prefix ns0: . @prefix log: . @prefix : . @prefix test: . @prefix rdf: . { } e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/warn-001.nt in 161 steps (16100000 steps/sec) using 1 engine (444 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:19 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix e: . @prefix q: . @prefix rdfs: . @prefix ns0: . @prefix log: . @prefix : . @prefix test: . @prefix rdf: . { } e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/warn-002.nt in 1 step (100000 steps/sec) using 1 engine (444 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:19 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix e: . @prefix q: . @prefix rdfs: . @prefix ns0: . @prefix log: . @prefix : . @prefix test: . @prefix rdf: . { "string"} e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/warn-003.nt in 1 step (100000 steps/sec) using 1 engine (444 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:19 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix ns0: . @prefix q: . @prefix e: . @prefix : . @prefix eg: . @prefix log: . @prefix rdfs: . @prefix test: . @prefix rdf: . { "10"} e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-reification-required/test001.nt in 1 step (100000 steps/sec) using 1 engine (8 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:20 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix ns0: . @prefix q: . @prefix e: . @prefix : . @prefix eg: . @prefix log: . @prefix rdfs: . @prefix test: . @prefix rdf: . {_:70198_114_ _:70207_114_} e:evidence . {_:70207_114_ rdf:first } e:evidence . {_:70207_114_ rdf:rest _:70215_114_} e:evidence . {_:70215_114_ rdf:first } e:evidence . {_:70215_114_ rdf:rest rdf:nil} e:evidence . { _:70198_114_} e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-seq-representation/test001.nt in 19 steps (1900000 steps/sec) using 1 engine (43 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:20 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix ns0: . @prefix q: . @prefix e: . @prefix : . @prefix eg: . @prefix log: . @prefix rdfs: . @prefix test: . @prefix rdf: . {_:b1_116_ _:b1_116_} e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-syntax-incomplete/test001.nt in 1 step (100000 steps/sec) using 1 engine (79 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:20 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix ns0: . @prefix q: . @prefix e: . @prefix : . @prefix eg: . @prefix log: . @prefix rdfs: . @prefix test: . @prefix rdf: . {_:b1_117_ _:b1_117_} e:evidence . {_:70673_117_ _:70676_117_} e:evidence . {_:70676_117_ _:b1_117_} e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-syntax-incomplete/test002.nt in 3 steps (300000 steps/sec) using 1 engine (81 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:20 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix ns0: . @prefix q: . @prefix e: . @prefix : . @prefix eg: . @prefix log: . @prefix rdfs: . @prefix test: . @prefix rdf: . {_:70889_118_ "value"} e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-syntax-incomplete/test003.nt in 1 step (100000 steps/sec) using 1 engine (79 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:20 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix ns0: . @prefix q: . @prefix e: . @prefix : . @prefix eg: . @prefix log: . @prefix rdfs: . @prefix test: . @prefix rdf: . {_:71101_119_ _:b1_119_} e:evidence . { _:71101_119_} e:evidence . { } e:evidence . { _:b1_119_} e:evidence . {_:71089_119_ _:b1_119_} e:evidence . { } e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-syntax-incomplete/test004.nt in 30 steps (3000000 steps/sec) using 1 engine (84 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:20 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix ns0: . @prefix q: . @prefix e: . @prefix : . @prefix eg: . @prefix log: . @prefix rdfs: . @prefix test: . @prefix rdf: . {_:71206_121_ "10"} e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-uri-substructure/test001.nt in 1 step (100000 steps/sec) using 1 engine (15 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:20 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { # No proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-xml-literal-namespaces/test001.nt in 1 step (100000 steps/sec) using 1 engine (17 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:20 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { # No proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-xml-literal-namespaces/test002.nt in 1 step (100000 steps/sec) using 1 engine (18 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:20 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix ns0: . @prefix q: . @prefix e: . @prefix : . @prefix eg: . @prefix log: . @prefix rdfs: . @prefix test: . @prefix rdf: . { "chat"^^} e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-xmllang/test001.nt in 1 step (100000 steps/sec) using 1 engine (67 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:20 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix ns0: . @prefix q: . @prefix e: . @prefix : . @prefix eg: . @prefix log: . @prefix rdfs: . @prefix test: . @prefix rdf: . { "chat"^^} e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-xmllang/test002.nt in 1 step (100000 steps/sec) using 1 engine (67 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:20 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix ns0: . @prefix q: . @prefix e: . @prefix : . @prefix eg: . @prefix log: . @prefix rdfs: . @prefix test: . @prefix rdf: . { "chat"} e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-xmllang/test003.nt in 1 step (100000 steps/sec) using 1 engine (67 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:20 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix ns0: . @prefix q: . @prefix e: . @prefix : . @prefix eg: . @prefix log: . @prefix rdfs: . @prefix test: . @prefix rdf: . { "chat"@fr} e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-xmllang/test004.nt in 1 step (100000 steps/sec) using 1 engine (67 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:20 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix ns0: . @prefix q: . @prefix e: . @prefix : . @prefix eg: . @prefix log: . @prefix rdfs: . @prefix test: . @prefix rdf: . { "chat"} e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-xmllang/test005.nt in 1 step (100000 steps/sec) using 1 engine (67 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:20 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix ns0: . @prefix q: . @prefix e: . @prefix : . @prefix eg: . @prefix log: . @prefix rdfs: . @prefix test: . @prefix rdf: . { "chat"@fr} e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-xmllang/test006.nt in 1 step (99 steps/sec) using 1 engine (67 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:20 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix e: . @prefix q: . @prefix rdfs: . @prefix ns0: . @prefix log: . @prefix test: . @prefix : . @prefix rdf: . { } e:evidence . { } e:evidence . { } e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test001.nt in 17 steps (1700000 steps/sec) using 1 engine (43 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:20 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix e: . @prefix q: . @prefix rdfs: . @prefix ns0: . @prefix log: . @prefix test: . @prefix : . @prefix rdf: . { } e:evidence . { } e:evidence . { } e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test002.nt in 17 steps (1700000 steps/sec) using 1 engine (43 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:20 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix ns0: . @prefix q: . @prefix e: . @prefix : . @prefix log: . @prefix rdfs: . @prefix ex: . @prefix test: . @prefix rdf: . { "blah"} e:evidence . { "more"} e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/unrecognised-xml-attributes/test001.nt in 2 steps (200000 steps/sec) using 1 engine (16 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:20 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix ns0: . @prefix q: . @prefix e: . @prefix : . @prefix log: . @prefix rdfs: . @prefix ex: . @prefix test: . @prefix rdf: . { "stuff"} e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/unrecognised-xml-attributes/test002.nt in 1 step (100000 steps/sec) using 1 engine (15 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:21 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix ns0: . @prefix q: . @prefix e: . @prefix : . @prefix eg: . @prefix log: . @prefix rdfs: . @prefix test: . @prefix rdf: . { "

"^^} e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/xml-canon/test001.nt in 1 step (100000 steps/sec) using 1 engine (9 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:21 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix ns0: . @prefix q: . @prefix e: . @prefix : . @prefix eg: . @prefix log: . @prefix rdfs: . @prefix test: . @prefix rdf: . { "v"} e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/xmlbase/test001.nt in 1 step (100000 steps/sec) using 1 engine (139 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:21 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix ns0: . @prefix q: . @prefix e: . @prefix : . @prefix eg: . @prefix log: . @prefix rdfs: . @prefix test: . @prefix rdf: . {_:73528_142_ } e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/xmlbase/test002.nt in 1 step (100000 steps/sec) using 1 engine (139 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:21 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix ns0: . @prefix q: . @prefix e: . @prefix : . @prefix eg: . @prefix log: . @prefix rdfs: . @prefix test: . @prefix rdf: . { } e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/xmlbase/test003.nt in 51 steps (5100000 steps/sec) using 1 engine (139 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:21 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix ns0: . @prefix q: . @prefix e: . @prefix : . @prefix eg: . @prefix log: . @prefix rdfs: . @prefix test: . @prefix rdf: . {_:74278_144_ "v"} e:evidence . { _:74278_144_} e:evidence . { } e:evidence . { "v"} e:evidence . { } e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/xmlbase/test004.nt in 55 steps (5500000 steps/sec) using 1 engine (143 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:21 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix ns0: . @prefix q: . @prefix e: . @prefix : . @prefix eg: . @prefix log: . @prefix rdfs: . @prefix test: . @prefix rdf: . { "v"} e:evidence . { } e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/xmlbase/test006.nt in 52 steps (5200000 steps/sec) using 1 engine (140 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:21 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix ns0: . @prefix q: . @prefix e: . @prefix : . @prefix eg: . @prefix log: . @prefix rdfs: . @prefix test: . @prefix rdf: . { } e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/xmlbase/test007.nt in 51 steps (5100000 steps/sec) using 1 engine (139 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:21 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix ns0: . @prefix q: . @prefix e: . @prefix : . @prefix eg: . @prefix log: . @prefix rdfs: . @prefix test: . @prefix rdf: . { } e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/xmlbase/test008.nt in 51 steps (5100000 steps/sec) using 1 engine (139 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:21 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix ns0: . @prefix q: . @prefix e: . @prefix : . @prefix eg: . @prefix log: . @prefix rdfs: . @prefix test: . @prefix rdf: . { } e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/xmlbase/test009.nt in 51 steps (5100000 steps/sec) using 1 engine (139 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:21 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix ns0: . @prefix q: . @prefix e: . @prefix : . @prefix eg: . @prefix log: . @prefix rdfs: . @prefix test: . @prefix rdf: . { } e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/xmlbase/test010.nt in 51 steps (5100000 steps/sec) using 1 engine (139 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:21 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix ns0: . @prefix q: . @prefix e: . @prefix : . @prefix eg: . @prefix log: . @prefix rdfs: . @prefix test: . @prefix rdf: . { } e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/xmlbase/test011.nt in 51 steps (5100000 steps/sec) using 1 engine (139 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:22 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix ns0: . @prefix q: . @prefix e: . @prefix : . @prefix eg: . @prefix log: . @prefix rdfs: . @prefix test: . @prefix rdf: . { } e:evidence . { } e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/xmlbase/test013.nt in 52 steps (5200000 steps/sec) using 1 engine (140 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:22 GMT @prefix log: . (!log:semantics !log:semantics)!log:conjunction => { @prefix ns0: . @prefix q: . @prefix e: . @prefix : . @prefix eg: . @prefix log: . @prefix rdfs: . @prefix test: . @prefix rdf: . { "v"} e:evidence . { "v"} e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/xmlbase/test014.nt in 3 steps (300000 steps/sec) using 1 engine (140 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:22 GMT @prefix log: . (!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction => { @prefix str: . @prefix ns0: . @prefix q: . @prefix e: . @prefix xsd: . @prefix : . @prefix log: . @prefix rdfs: . @prefix test: . @prefix ns1: . @prefix math: . @prefix owl: . @prefix rdf: . {{xsd:integer rdfs:subClassOf xsd:decimal} e:evidence . {xsd:integer rdfs:subClassOf xsd:string} e:evidence } => { {} e:evidence }. # Proof found for http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3 in 3231 steps (161469 steps/sec) using 1 engine (213 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:22 GMT @prefix log: . (!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction => { @prefix str: . @prefix ns0: . @prefix q: . @prefix e: . @prefix xsd: . @prefix : . @prefix log: . @prefix rdfs: . @prefix test: . @prefix ns1: . @prefix math: . @prefix owl: . @prefix rdf: . { "flargh"^^} e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/test002.nt in 1 step (100000 steps/sec) using 1 engine (362 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:22 GMT @prefix log: . (!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction => { @prefix str: . @prefix ns0: . @prefix q: . @prefix e: . @prefix xsd: . @prefix : . @prefix log: . @prefix rdfs: . @prefix test: . @prefix ns1: . @prefix math: . @prefix owl: . @prefix rdf: . { "a string"} e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/test011b.nt in 1 step (100000 steps/sec) using 1 engine (362 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:22 GMT @prefix log: . (!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction => { @prefix str: . @prefix ns0: . @prefix q: . @prefix e: . @prefix xsd: . @prefix : . @prefix log: . @prefix rdfs: . @prefix test: . @prefix ns1: . @prefix math: . @prefix owl: . @prefix rdf: . {{ rdfs:range xsd:string} e:evidence . { "25"^^xsd:decimal} e:evidence } => { {} e:evidence }. # Proof found for http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3 in 100 steps (10000000 steps/sec) using 1 engine (363 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:22 GMT @prefix log: . (!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction => { @prefix str: . @prefix ns0: . @prefix q: . @prefix e: . @prefix xsd: . @prefix : . @prefix log: . @prefix rdfs: . @prefix test: . @prefix ns1: . @prefix math: . @prefix owl: . @prefix rdf: . { "10.0"^^} e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/test005b.nt in 1 step (100000 steps/sec) using 1 engine (362 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:22 GMT @prefix log: . (!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction => { @prefix str: . @prefix ns0: . @prefix q: . @prefix e: . @prefix xsd: . @prefix : . @prefix log: . @prefix rdfs: . @prefix test: . @prefix ns1: . @prefix math: . @prefix owl: . @prefix rdf: . { "10"^^} e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/test003b.nt in 1 step (100000 steps/sec) using 1 engine (362 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:22 GMT @prefix log: . (!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction => { @prefix str: . @prefix ns0: . @prefix q: . @prefix e: . @prefix xsd: . @prefix : . @prefix log: . @prefix rdfs: . @prefix test: . @prefix ns1: . @prefix math: . @prefix owl: . @prefix rdf: . { "010"^^} e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/test003a.nt in 1 step (100000 steps/sec) using 1 engine (362 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:22 GMT @prefix log: . (!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction => { @prefix str: . @prefix ns0: . @prefix q: . @prefix e: . @prefix xsd: . @prefix : . @prefix log: . @prefix rdfs: . @prefix test: . @prefix ns1: . @prefix math: . @prefix owl: . @prefix rdf: . { "10"} e:evidence . { "10"} e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/test008b.nt in 2 steps (200000 steps/sec) using 1 engine (363 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:22 GMT @prefix log: . (!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction => { @prefix str: . @prefix ns0: . @prefix q: . @prefix e: . @prefix xsd: . @prefix : . @prefix log: . @prefix rdfs: . @prefix test: . @prefix ns1: . @prefix math: . @prefix owl: . @prefix rdf: . {{ rdfs:range } e:evidence . { a rdfs:Datatype} e:evidence . { "25"} e:evidence . {"25" a xsd:string} e:evidence } => { {} e:evidence }. # Proof found for http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3 in 191 steps (19100000 steps/sec) using 1 engine (363 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:22 GMT @prefix log: . (!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction => { @prefix str: . @prefix ns0: . @prefix q: . @prefix e: . @prefix xsd: . @prefix : . @prefix log: . @prefix rdfs: . @prefix test: . @prefix ns1: . @prefix math: . @prefix owl: . @prefix rdf: . { "a"} e:evidence . {"a" } e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/pfps-10/test001b.nt in 2 steps (200000 steps/sec) using 1 engine (197 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:22 GMT @prefix log: . (!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction => { @prefix str: . @prefix ns0: . @prefix q: . @prefix e: . @prefix xsd: . @prefix : . @prefix log: . @prefix rdfs: . @prefix test: . @prefix ns1: . @prefix math: . @prefix owl: . @prefix rdf: . { } e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-seq-representation/test002.nt in 1 step (100000 steps/sec) using 1 engine (223 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:23 GMT @prefix log: . (!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction => { @prefix str: . @prefix ns0: . @prefix q: . @prefix e: . @prefix xsd: . @prefix : . @prefix log: . @prefix rdfs: . @prefix test: . @prefix ns1: . @prefix math: . @prefix owl: . @prefix rdf: . {{ rdfs:subPropertyOf } e:evidence . { } e:evidence } => { { } e:evidence }. # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-seq-representation/test003b.nt in 4 steps (400000 steps/sec) using 1 engine (224 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:23 GMT @prefix log: . (!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction => { @prefix str: . @prefix ns0: . @prefix q: . @prefix e: . @prefix xsd: . @prefix : . @prefix log: . @prefix rdfs: . @prefix test: . @prefix ns1: . @prefix math: . @prefix owl: . @prefix rdf: . { { a rdfs:ContainerMembershipProperty} e:evidence } => { { } e:evidence }. # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-seq-representation/test004.nt in 245 steps (24500000 steps/sec) using 1 engine (223 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:23 GMT @prefix log: . (!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction => { @prefix str: . @prefix ns0: . @prefix q: . @prefix e: . @prefix xsd: . @prefix : . @prefix log: . @prefix rdfs: . @prefix test: . @prefix ns1: . @prefix math: . @prefix owl: . @prefix rdf: . {{{ rdfs:range rdf:XMLLiteral} e:evidence . { "<"^^} e:evidence } => { {"<"^^ a rdf:XMLLiteral} e:evidence }. {"<"^^ e:clashesWith rdf:XMLLiteral} e:evidence } => { {} e:evidence }. # Proof found for http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3 in 385192 steps (291368 steps/sec) using 1 engine (210 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:24 GMT @prefix log: . (!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction => { # No proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-entailment/test002.nt in 182 steps (18200000 steps/sec) using 1 engine (208 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:24 GMT @prefix log: . (!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction => { @prefix str: . @prefix ns0: . @prefix q: . @prefix e: . @prefix ns2: . @prefix xsd: . @prefix : . @prefix log: . @prefix rdfs: . @prefix test: . @prefix ns1: . @prefix math: . @prefix owl: . @prefix rdf: . { } e:evidence . { } e:evidence . { } e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subClassOf/test001.nt in 6 steps (600000 steps/sec) using 1 engine (200 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:24 GMT @prefix log: . (!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction => { @prefix str: . @prefix ns0: . @prefix q: . @prefix e: . @prefix ns2: . @prefix xsd: . @prefix : . @prefix log: . @prefix rdfs: . @prefix test: . @prefix ns1: . @prefix math: . @prefix owl: . @prefix rdf: . { } e:evidence . { } e:evidence . { } e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subPropertyOf/test001.nt in 4 steps (400000 steps/sec) using 1 engine (200 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:24 GMT @prefix log: . (!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction => { @prefix str: . @prefix ns0: . @prefix q: . @prefix e: . @prefix xsd: . @prefix : . @prefix log: . @prefix rdfs: . @prefix test: . @prefix ns1: . @prefix math: . @prefix owl: . @prefix rdf: . {{ rdfs:domain } e:evidence . {{ rdfs:subPropertyOf } e:evidence . { } e:evidence } => { { } e:evidence }} => { { } e:evidence }. {{ rdfs:domain } e:evidence . { } e:evidence } => { { } e:evidence }. {{ rdfs:range } e:evidence . {{ rdfs:subPropertyOf } e:evidence . { } e:evidence } => { { } e:evidence }} => { { } e:evidence }. {{ rdfs:range } e:evidence . { } e:evidence } => { { } e:evidence }. # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-subPropertyOf-semantics/test002.nt in 260 steps (26000000 steps/sec) using 1 engine (203 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:24 GMT @prefix log: . (!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction => { @prefix ns3: . @prefix str: . @prefix ns0: . @prefix q: . @prefix e: . @prefix ns2: . @prefix xsd: . @prefix : . @prefix eg: . @prefix log: . @prefix rdfs: . @prefix test: . @prefix ns1: . @prefix math: . @prefix owl: . @prefix rdf: . {_:869179_179_ eg:prop "a"@en-US} e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/tex-01/test002.rdf in 1 step (100000 steps/sec) using 1 engine (203 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:24 GMT @prefix log: . (!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction => { @prefix ns3: . @prefix str: . @prefix ns0: . @prefix q: . @prefix e: . @prefix ns2: . @prefix xsd: . @prefix : . @prefix eg: . @prefix log: . @prefix rdfs: . @prefix test: . @prefix ns1: . @prefix math: . @prefix owl: . @prefix rdf: . {_:870789_180_ eg:prop "a"@en-US} e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/tex-01/test001.rdf in 1 step (100000 steps/sec) using 1 engine (203 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:24 GMT @prefix log: . (!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction => { @prefix ns3: . @prefix str: . @prefix ns0: . @prefix q: . @prefix e: . @prefix ns2: . @prefix xsd: . @prefix : . @prefix eg: . @prefix log: . @prefix rdfs: . @prefix test: . @prefix ns1: . @prefix math: . @prefix owl: . @prefix rdf: . { eg:prop "3"^^} e:evidence . {"3"^^ a rdfs:Literal} e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/xmlsch-02/test003.rdf in 2 steps (200000 steps/sec) using 1 engine (230 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:25 GMT @prefix log: . (!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction => { # No proof found for http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3 in 400013 steps (387605 steps/sec) using 1 engine (213 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:26 GMT @prefix log: . (!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction => { # No proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/test002b.nt in 400015 steps (44779 steps/sec) using 1 engine (362 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:35 GMT @prefix log: . (!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction => { # No proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/test009b.nt in 8 steps (800000 steps/sec) using 1 engine (363 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:35 GMT @prefix log: . (!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction => { # No proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/horst-01/test002.rdf in 93 steps (9300000 steps/sec) using 1 engine (210 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:35 GMT @prefix log: . (!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction => { @prefix ns3: . @prefix str: . @prefix ns0: . @prefix q: . @prefix e: . @prefix ns2: . @prefix xsd: . @prefix : . @prefix log: . @prefix rdfs: . @prefix test: . @prefix ns1: . @prefix math: . @prefix owl: . @prefix rdf: . {{ rdfs:range xsd:integer} e:evidence . { rdfs:range xsd:string} e:evidence } => { { rdfs:subPropertyOf } e:evidence }. { a rdf:Property} e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/horst-01/test004.rdf in 10 steps (1000000 steps/sec) using 1 engine (212 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:35 GMT @prefix log: . (!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction => { # No proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-charmod-uris/test002.rdf in 4 steps (400000 steps/sec) using 1 engine (233 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:35 GMT @prefix log: . (!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction => { # No proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-charmod-uris/test001.rdf in 4 steps (400000 steps/sec) using 1 engine (233 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:35 GMT @prefix log: . (!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction => { # No proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-xmllang/test007b.nt in 4 steps (400000 steps/sec) using 1 engine (253 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:35 GMT @prefix log: . (!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction => { # No proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-xmllang/test007c.nt in 4 steps (400000 steps/sec) using 1 engine (253 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:35 GMT @prefix log: . (!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction => { # No proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-xmllang/test007a.nt in 4 steps (400000 steps/sec) using 1 engine (253 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:35 GMT @prefix log: . (!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction => { # No proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-container-membership-superProperty/not1C.n3 in 3 steps (300000 steps/sec) using 1 engine (197 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:35 GMT @prefix log: . (!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction => { # No proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/nonconclusions006.rdf in 20 steps (2000000 steps/sec) using 1 engine (231 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:35 GMT @prefix log: . (!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction => { # No proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/nonconclusions005.rdf in 25 steps (2500000 steps/sec) using 1 engine (231 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:35 GMT @prefix log: . (!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction => { # No proof found for http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3 in 321551 steps (396482 steps/sec) using 1 engine (199 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:36 GMT @prefix log: . (!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction => { # No proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test001b.nt in 4 steps (400000 steps/sec) using 1 engine (215 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:36 GMT @prefix log: . (!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction => { # No proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test002b.nt in 3 steps (300000 steps/sec) using 1 engine (207 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:36 GMT @prefix log: . (!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction => { # No proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test001b.nt in 4 steps (400000 steps/sec) using 1 engine (215 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:36 GMT @prefix log: . (!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction => { # No proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test002b.nt in 3 steps (300000 steps/sec) using 1 engine (207 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:36 GMT @prefix log: . (!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction => { @prefix ns3: . @prefix str: . @prefix ns0: . @prefix q: . @prefix e: . @prefix ns2: . @prefix xsd: . @prefix : . @prefix eg: . @prefix log: . @prefix rdfs: . @prefix test: . @prefix ns1: . @prefix math: . @prefix owl: . @prefix rdf: . { eg:prop " 3 "^^} e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/xmlsch-02/test002.rdf in 1 step (100000 steps/sec) using 1 engine (230 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:37 GMT @prefix log: . (!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction => { @prefix ns3: . @prefix str: . @prefix ns0: . @prefix q: . @prefix e: . @prefix ns2: . @prefix xsd: . @prefix : . @prefix eg: . @prefix log: . @prefix rdfs: . @prefix test: . @prefix ns1: . @prefix math: . @prefix owl: . @prefix rdf: . { eg:prop "3"^^} e:evidence . # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/xmlsch-02/test001.rdf in 1 step (100000 steps/sec) using 1 engine (230 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:37 GMT @prefix log: . (!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction => { # No proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/xmlsch-02/test003.rdf in 400007 steps (113155 steps/sec) using 1 engine (230 triples) }. # Proof found for http://eulersharp.sourceforge.net/2003/03swap/etc1.n3 in 1915543 steps (50777 steps/sec) using 171 engines (0 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:40 GMT @prefix log: . ()!log:conjunction => { @prefix e: . @prefix ns0e: . @prefix q: . @prefix rdfs: . @prefix log: . @prefix rdf: . # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:41 GMT @prefix log: . (!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction => { @prefix math: . @prefix otest: . @prefix first: . @prefix ns0: . @prefix ns3: . @prefix e: . @prefix q: . @prefix xsd: . @prefix log: . @prefix ns1: . @prefix ns4: . @prefix rtest: . @prefix rdfs: . @prefix : . @prefix rdf: . @prefix dc: . @prefix ns2: . @prefix str: . @prefix owl: . {{owl:differentFrom rdf:type owl:SymmetricProperty} e:evidence . {{_:4623083_202_ rdf:first first:Fred} e:evidence . {_:4623083_202_ rdf:rest _:4623097_202_} e:evidence . {{_:4623097_202_ rdf:rest _:4623108_202_} e:evidence . {{_:4623108_202_ rdf:first first:Barney} e:evidence } => { {_:4623108_202_ ns1:item first:Barney} e:evidence }} => { {_:4623097_202_ ns1:item first:Barney} e:evidence }. {_:4623067_202_ owl:distinctMembers _:4623083_202_} e:evidence } => { {first:Fred owl:differentFrom first:Barney} e:evidence }} => { {first:Barney owl:differentFrom first:Fred} e:evidence }. # Proof found for http://www.w3.org/2002/03owlt/AllDifferent/conclusions001.rdf in 1734 steps (173226 steps/sec) using 1 engine (445 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:41 GMT @prefix log: . (!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction => { @prefix math: . @prefix otest: . @prefix first: . @prefix ns0: . @prefix ns3: . @prefix e: . @prefix q: . @prefix xsd: . @prefix log: . @prefix ns1: . @prefix ns4: . @prefix rtest: . @prefix rdfs: . @prefix : . @prefix rdf: . @prefix dc: . @prefix ns2: . @prefix str: . @prefix owl: . {first:A first:ap first:B} e:evidence . {first:ap a owl:AnnotationProperty} e:evidence . {first:A a owl:Class} e:evidence . {first:B a owl:Thing} e:evidence . # Proof found for http://www.w3.org/2002/03owlt/AnnotationProperty/conclusions002.rdf in 11 steps (1100000 steps/sec) using 1 engine (435 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:41 GMT @prefix log: . (!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction => { @prefix math: . @prefix otest: . @prefix ns0: . @prefix ns3: . @prefix e: . @prefix q: . @prefix xsd: . @prefix log: . @prefix ns1: . @prefix ns4: . @prefix rtest: . @prefix rdfs: . @prefix : . @prefix rdf: . @prefix dc: . @prefix ns2: . @prefix str: . @prefix owl: . {{rdfs:Class rdfs:subClassOf owl:Class} e:evidence . { a rdfs:Class} e:evidence } => { { a owl:Class} e:evidence }. # Proof found for http://www.w3.org/2002/03owlt/Class/conclusions002.rdf in 43733 steps (150280 steps/sec) using 1 engine (432 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:42 GMT @prefix log: . (!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction => { @prefix math: . @prefix otest: . @prefix ns0: . @prefix ns3: . @prefix e: . @prefix q: . @prefix xsd: . @prefix log: . @prefix ns1: . @prefix ns4: . @prefix rtest: . @prefix rdfs: . @prefix : . @prefix rdf: . @prefix dc: . @prefix ns2: . @prefix str: . @prefix owl: . {{rdfs:subClassOf rdfs:domain rdfs:Class} e:evidence . {{{rdfs:Resource rdfs:subClassOf owl:Thing} e:evidence . {rdf:type rdfs:domain rdfs:Resource} e:evidence } => { {rdf:type rdfs:domain owl:Thing} e:evidence }. {{owl:Class rdfs:subClassOf rdfs:Class} e:evidence . { a owl:Class} e:evidence } => { { a rdfs:Class} e:evidence }} => { { rdfs:subClassOf owl:Thing} e:evidence }} => { { a rdfs:Class} e:evidence }. # Proof found for http://www.w3.org/2002/03owlt/Class/conclusions003.rdf in 21448 steps (164971 steps/sec) using 1 engine (432 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:42 GMT @prefix log: . (!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction => { @prefix math: . @prefix otest: . @prefix ns0: . @prefix ns3: . @prefix e: . @prefix q: . @prefix xsd: . @prefix log: . @prefix ns1: . @prefix ns4: . @prefix rtest: . @prefix rdfs: . @prefix : . @prefix rdf: . @prefix dc: . @prefix ns2: . @prefix str: . @prefix owl: . {_:4849318_157_ owl:unionOf _:4849332_157_} e:evidence . {_:4849332_157_ rdf:first } e:evidence . {_:4849332_157_ rdf:rest _:4849343_157_} e:evidence . {_:4849343_157_ rdf:first _:4849351_157_} e:evidence . {{owl:complementOf rdf:type owl:SymmetricProperty} e:evidence . {{owl:complementOf rdf:type owl:SymmetricProperty} e:evidence . {_:4849351_157_ owl:complementOf } e:evidence } => { { owl:complementOf _:4849351_157_} e:evidence }} => { {_:4849351_157_ owl:complementOf } e:evidence }. {_:4849343_157_ rdf:rest rdf:nil} e:evidence . { a owl:Class} e:evidence . {{_:4849318_157_ owl:unionOf _:4849332_157_} e:evidence . {{_:4849332_157_ rdf:first } e:evidence } => { {_:4849332_157_ ns1:item } e:evidence }. {{_:4849332_157_ rdf:rest _:4849343_157_} e:evidence . {{_:4849343_157_ rdf:first _:4849351_157_} e:evidence } => { {_:4849343_157_ ns1:item _:4849351_157_} e:evidence }} => { {_:4849332_157_ ns1:item _:4849351_157_} e:evidence }. {{owl:complementOf rdf:type owl:SymmetricProperty} e:evidence . {_:4849351_157_ owl:complementOf } e:evidence } => { { owl:complementOf _:4849351_157_} e:evidence }} => { { a _:4849318_157_} e:evidence }. {_:4849318_157_ a owl:Class} e:evidence . {{rdfs:subClassOf rdfs:domain rdfs:Class} e:evidence . {{{rdfs:Resource rdfs:subClassOf owl:Thing} e:evidence . {rdf:type rdfs:domain rdfs:Resource} e:evidence } => { {rdf:type rdfs:domain owl:Thing} e:evidence }. {{owl:Class rdfs:subClassOf rdfs:Class} e:evidence . {{owl:complementOf rdfs:domain owl:Class} e:evidence . {_:4849351_157_ owl:complementOf } e:evidence } => { {_:4849351_157_ a owl:Class} e:evidence }} => { {_:4849351_157_ a rdfs:Class} e:evidence }} => { {_:4849351_157_ rdfs:subClassOf owl:Thing} e:evidence }} => { {_:4849351_157_ a rdfs:Class} e:evidence }. # Proof found for http://www.w3.org/2002/03owlt/Class/conclusions006.rdf in 93489 steps (176058 steps/sec) using 1 engine (433 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:43 GMT @prefix log: . (!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction => { @prefix math: . @prefix otest: . @prefix first: . @prefix ns0: . @prefix ns3: . @prefix e: . @prefix q: . @prefix xsd: . @prefix log: . @prefix ns1: . @prefix ns4: . @prefix rtest: . @prefix rdfs: . @prefix : . @prefix rdf: . @prefix dc: . @prefix ns2: . @prefix str: . @prefix owl: . { = } e:evidence . # Proof found for http://www.w3.org/2002/03owlt/FunctionalProperty/conclusions001.rdf in 1 step (100000 steps/sec) using 1 engine (435 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:43 GMT @prefix log: . (!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction => { @prefix math: . @prefix otest: . @prefix first: . @prefix ns0: . @prefix ns3: . @prefix e: . @prefix q: . @prefix xsd: . @prefix log: . @prefix ns1: . @prefix ns4: . @prefix rtest: . @prefix rdfs: . @prefix eg: . @prefix : . @prefix rdf: . @prefix dc: . @prefix ns2: . @prefix str: . @prefix owl: . { eg:prop2 "value"} e:evidence . # Proof found for http://www.w3.org/2002/03owlt/FunctionalProperty/conclusions002.rdf in 1 step (100000 steps/sec) using 1 engine (436 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:43 GMT @prefix log: . (!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction => { @prefix math: . @prefix otest: . @prefix ns0: . @prefix ns3: . @prefix e: . @prefix q: . @prefix xsd: . @prefix log: . @prefix ns1: . @prefix ns4: . @prefix rtest: . @prefix rdfs: . @prefix : . @prefix rdf: . @prefix dc: . @prefix ns2: . @prefix str: . @prefix owl: . {{{owl:inverseOf rdf:type owl:SymmetricProperty} e:evidence . { owl:inverseOf } e:evidence } => { { owl:inverseOf } e:evidence }. { a owl:FunctionalProperty} e:evidence } => { { a owl:InverseFunctionalProperty} e:evidence }. # Proof found for http://www.w3.org/2002/03owlt/FunctionalProperty/conclusions003.rdf in 153 steps (15300000 steps/sec) using 1 engine (434 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:43 GMT @prefix log: . (!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction => { @prefix math: . @prefix otest: . @prefix ns0: . @prefix ns3: . @prefix e: . @prefix q: . @prefix xsd: . @prefix log: . @prefix ns1: . @prefix ns4: . @prefix rtest: . @prefix rdfs: . @prefix : . @prefix rdf: . @prefix dc: . @prefix ns2: . @prefix str: . @prefix owl: . {{ owl:oneOf _:5072425_219_} e:evidence . {_:5072425_219_ rdf:first _:5072426_219_} e:evidence . {_:5072425_219_ rdf:rest rdf:nil} e:evidence . { rdfs:range } e:evidence } => { { a owl:FunctionalProperty} e:evidence }. # Proof found for http://www.w3.org/2002/03owlt/FunctionalProperty/conclusions004.rdf in 334 steps (33400000 steps/sec) using 1 engine (438 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:43 GMT @prefix log: . (!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction => { @prefix math: . @prefix otest: . @prefix ns0: . @prefix ns3: . @prefix e: . @prefix q: . @prefix xsd: . @prefix log: . @prefix ns1: . @prefix ns4: . @prefix rtest: . @prefix rdfs: . @prefix eg: . @prefix : . @prefix rdf: . @prefix dc: . @prefix ns2: . @prefix str: . @prefix owl: . {_:5096417_157_ owl:maxCardinality "1"^^} e:evidence . {_:5096417_157_ owl:onProperty } e:evidence . { a owl:Thing} e:evidence . {{_:5096417_157_ owl:onProperty } e:evidence . {_:5096417_157_ owl:maxCardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . { a owl:FunctionalProperty} e:evidence } => { { a _:5096417_157_} e:evidence }. {_:5096417_157_ a owl:Restriction} e:evidence . { a owl:FunctionalProperty} e:evidence . # Proof found for http://www.w3.org/2002/03owlt/FunctionalProperty/conclusions005.rdf in 2368 steps (236563 steps/sec) using 1 engine (434 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:44 GMT @prefix log: . (!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction => { @prefix math: . @prefix otest: . @prefix first: . @prefix ns0: . @prefix ns3: . @prefix e: . @prefix q: . @prefix xsd: . @prefix log: . @prefix ns1: . @prefix ns4: . @prefix rtest: . @prefix rdfs: . @prefix : . @prefix rdf: . @prefix dc: . @prefix ns2: . @prefix str: . @prefix owl: . {{first:EuroMP owl:equivalentClass _:5101241_223_} e:evidence . {_:5101241_223_ owl:onProperty first:isEuroMPFrom} e:evidence . {_:5101241_223_ owl:someValuesFrom owl:Thing} e:evidence . {{_:5101241_223_ owl:onProperty first:isEuroMPFrom} e:evidence . {_:5101241_223_ owl:someValuesFrom owl:Thing} e:evidence . {first:EuroMP rdfs:subClassOf _:5101241_223_} e:evidence . {{_:5101241_223_ rdfs:subClassOf first:EuroMP} e:evidence . {{_:5101241_223_ owl:onProperty first:isEuroMPFrom} e:evidence . {_:5101241_223_ owl:someValuesFrom owl:Thing} e:evidence . {first:isEuroMPFrom owl:inverseOf first:hasEuroMP} e:evidence . {{{owl:inverseOf rdf:type owl:SymmetricProperty} e:evidence . {first:isEuroMPFrom owl:inverseOf first:hasEuroMP} e:evidence } => { {first:hasEuroMP owl:inverseOf first:isEuroMPFrom} e:evidence }. {first:hasEuroMP rdfs:domain first:EUCountry} e:evidence } => { {first:isEuroMPFrom rdfs:range first:EUCountry} e:evidence }. {first:UK first:hasEuroMP first:Kinnock} e:evidence . {{first:EUCountry owl:oneOf _:5101290_223_} e:evidence . {{_:5101290_223_ rdf:first first:UK} e:evidence } => { {_:5101290_223_ ns1:item first:UK} e:evidence }} => { {first:UK a first:EUCountry} e:evidence }} => { {first:Kinnock a _:5101241_223_} e:evidence }} => { {first:Kinnock a first:EuroMP} e:evidence }} => { {first:Kinnock first:isEuroMPFrom _:O_203_} e:evidence }. {_:O_203_ a owl:Thing} e:evidence } => { {first:Kinnock a first:EuroMP} e:evidence }. {first:EuroMP a owl:Class} e:evidence . # Proof found for http://www.w3.org/2002/03owlt/I4.5/conclusions001.rdf in 6381 steps (212629 steps/sec) using 1 engine (465 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:44 GMT @prefix log: . (!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction => { @prefix math: . @prefix otest: . @prefix ns0: . @prefix ns3: . @prefix e: . @prefix q: . @prefix xsd: . @prefix log: . @prefix ns1: . @prefix ns4: . @prefix rtest: . @prefix rdfs: . @prefix : . @prefix rdf: . @prefix dc: . @prefix ns2: . @prefix str: . @prefix owl: . { owl:equivalentClass } e:evidence . { a owl:Class} e:evidence . { a owl:Class} e:evidence . # Proof found for http://www.w3.org/2002/03owlt/I4.6/conclusions003.rdf in 9 steps (900000 steps/sec) using 1 engine (435 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:44 GMT @prefix log: . (!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction => { @prefix math: . @prefix otest: . @prefix ns0: . @prefix ns3: . @prefix e: . @prefix q: . @prefix xsd: . @prefix log: . @prefix ns1: . @prefix ns4: . @prefix rtest: . @prefix rdfs: . @prefix NS0: . @prefix : . @prefix rdf: . @prefix dc: . @prefix ns2: . @prefix str: . @prefix owl: . {_:5243006_227_ NS0:population "2688418"} e:evidence . {_:5243006_227_ NS0:stateBird NS0:WesternMeadowlark} e:evidence . # Proof found for http://www.w3.org/2002/03owlt/I5.1/conclusions001.rdf in 2 steps (200000 steps/sec) using 1 engine (436 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:44 GMT @prefix log: . (!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction => { @prefix math: . @prefix otest: . @prefix ns0: . @prefix ns3: . @prefix e: . @prefix q: . @prefix xsd: . @prefix log: . @prefix ns1: . @prefix ns4: . @prefix rtest: . @prefix rdfs: . @prefix : . @prefix rdf: . @prefix dc: . @prefix ns2: . @prefix str: . @prefix owl: . {{_:5254791_229_ owl:onProperty } e:evidence . {_:5254791_229_ owl:maxCardinality "0"^^} e:evidence . {_:5254782_229_ owl:onProperty } e:evidence . {_:5254782_229_ owl:minCardinality "1"^^} e:evidence . {"0"^^ math:lessThan "1"^^} e:evidence . { rdfs:subClassOf _:5254791_229_} e:evidence . { rdfs:subClassOf _:5254782_229_} e:evidence } => { { owl:equivalentClass owl:Nothing} e:evidence }. { a owl:Class} e:evidence . {{owl:unionOf rdfs:domain owl:Class} e:evidence . {{owl:Nothing owl:oneOf rdf:nil} e:evidence . {rdf:nil ns1:ones rdf:nil} e:evidence } => { {owl:Nothing owl:unionOf rdf:nil} e:evidence }} => { {owl:Nothing a owl:Class} e:evidence }. # Proof found for http://www.w3.org/2002/03owlt/I5.2/conclusions002.rdf in 29554 steps (184700 steps/sec) using 1 engine (442 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:44 GMT @prefix log: . (!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction => { @prefix math: . @prefix otest: . @prefix first: . @prefix ns0: . @prefix ns3: . @prefix e: . @prefix q: . @prefix xsd: . @prefix log: . @prefix ns1: . @prefix ns4: . @prefix rtest: . @prefix rdfs: . @prefix second: . @prefix : . @prefix rdf: . @prefix dc: . @prefix ns2: . @prefix str: . @prefix owl: . {{owl:complementOf rdf:type owl:SymmetricProperty} e:evidence . {{ owl:equivalentClass _:5329533_231_} e:evidence . {_:5329533_231_ owl:onProperty first:q} e:evidence . {_:5329533_231_ owl:someValuesFrom owl:Thing} e:evidence . {owl:Thing owl:equivalentClass owl:Thing} e:evidence . { owl:equivalentClass _:5329510_231_} e:evidence . {_:5329510_231_ owl:onProperty first:q} e:evidence . {_:5329510_231_ owl:allValuesFrom first:Nothing} e:evidence . {{_:5329561_231_ owl:onProperty first:p} e:evidence . {_:5329561_231_ owl:maxCardinality "0"^^} e:evidence . {_:5329570_231_ owl:onProperty first:p} e:evidence . {_:5329570_231_ owl:minCardinality "1"^^} e:evidence . {"0"^^ math:lessThan "1"^^} e:evidence . {first:Nothing rdfs:subClassOf _:5329561_231_} e:evidence . {first:Nothing rdfs:subClassOf _:5329570_231_} e:evidence } => { {first:Nothing owl:equivalentClass owl:Nothing} e:evidence }} => { { owl:complementOf } e:evidence }} => { { owl:complementOf } e:evidence }. { a owl:Class} e:evidence . { a owl:Class} e:evidence . # Proof found for http://www.w3.org/2002/03owlt/I5.2/conclusions004.rdf in 8594 steps (214796 steps/sec) using 1 engine (455 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:45 GMT @prefix log: . (!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction => { @prefix math: . @prefix otest: . @prefix ns0: . @prefix ns3: . @prefix e: . @prefix q: . @prefix xsd: . @prefix log: . @prefix ns1: . @prefix ns4: . @prefix rtest: . @prefix rdfs: . @prefix : . @prefix rdf: . @prefix dc: . @prefix ns2: . @prefix str: . @prefix owl: . {{{ owl:equivalentClass _:5360093_233_} e:evidence . {_:5360093_233_ owl:onProperty } e:evidence . {_:5360093_233_ owl:someValuesFrom owl:Thing} e:evidence . {owl:Thing owl:equivalentClass owl:Thing} e:evidence . { owl:equivalentClass _:5359947_233_} e:evidence . {_:5359947_233_ owl:onProperty } e:evidence . {_:5359947_233_ owl:allValuesFrom } e:evidence . {{_:5359997_233_ owl:onProperty } e:evidence . {_:5359997_233_ owl:maxCardinality "0"^^} e:evidence . {_:5359988_233_ owl:onProperty } e:evidence . {_:5359988_233_ owl:minCardinality "1"^^} e:evidence . {"0"^^ math:lessThan "1"^^} e:evidence . { rdfs:subClassOf _:5359997_233_} e:evidence . { rdfs:subClassOf _:5359988_233_} e:evidence } => { { owl:equivalentClass owl:Nothing} e:evidence }} => { { owl:complementOf } e:evidence }. { owl:intersectionOf _:5359954_233_} e:evidence . {_:5359954_233_ rdf:first } e:evidence . {_:5359954_233_ rdf:rest _:5359962_233_} e:evidence . {_:5359962_233_ rdf:first } e:evidence . {_:5359962_233_ rdf:rest rdf:nil} e:evidence . {{ owl:equivalentClass _:5360053_233_} e:evidence . {_:5360053_233_ owl:onProperty } e:evidence . {_:5360053_233_ owl:someValuesFrom owl:Thing} e:evidence . {owl:Thing owl:equivalentClass owl:Thing} e:evidence . { owl:equivalentClass _:5360019_233_} e:evidence . {_:5360019_233_ owl:onProperty } e:evidence . {_:5360019_233_ owl:allValuesFrom } e:evidence . {{_:5359997_233_ owl:onProperty } e:evidence . {_:5359997_233_ owl:maxCardinality "0"^^} e:evidence . {_:5359988_233_ owl:onProperty } e:evidence . {_:5359988_233_ owl:minCardinality "1"^^} e:evidence . {"0"^^ math:lessThan "1"^^} e:evidence . { rdfs:subClassOf _:5359997_233_} e:evidence . { rdfs:subClassOf _:5359988_233_} e:evidence } => { { owl:equivalentClass owl:Nothing} e:evidence }} => { { owl:complementOf } e:evidence }. {_:5404699_157_ rdf:first } e:evidence . {_:5404699_157_ rdf:rest _:5404707_157_} e:evidence . {_:5404707_157_ rdf:first } e:evidence . {_:5404707_157_ rdf:rest rdf:nil} e:evidence . {{owl:complementOf rdf:type owl:SymmetricProperty} e:evidence . {{owl:complementOf rdf:type owl:SymmetricProperty} e:evidence . {{ owl:equivalentClass _:5360036_233_} e:evidence . {_:5360036_233_ owl:onProperty } e:evidence . {_:5360036_233_ owl:someValuesFrom owl:Thing} e:evidence . {owl:Thing owl:equivalentClass owl:Thing} e:evidence . { owl:equivalentClass _:5360070_233_} e:evidence . {_:5360070_233_ owl:onProperty } e:evidence . {_:5360070_233_ owl:allValuesFrom } e:evidence . {{_:5359997_233_ owl:onProperty } e:evidence . {_:5359997_233_ owl:maxCardinality "0"^^} e:evidence . {_:5359988_233_ owl:onProperty } e:evidence . {_:5359988_233_ owl:minCardinality "1"^^} e:evidence . {"0"^^ math:lessThan "1"^^} e:evidence . { rdfs:subClassOf _:5359997_233_} e:evidence . { rdfs:subClassOf _:5359988_233_} e:evidence } => { { owl:equivalentClass owl:Nothing} e:evidence }} => { { owl:complementOf } e:evidence }} => { { owl:complementOf } e:evidence }} => { { owl:complementOf } e:evidence }} => { { owl:unionOf _:5404699_157_} e:evidence }. {_:5404699_157_ rdf:first } e:evidence . {_:5404699_157_ rdf:rest _:5404707_157_} e:evidence . {_:5404707_157_ rdf:first } e:evidence . {_:5404707_157_ rdf:rest rdf:nil} e:evidence . { a owl:Class} e:evidence . { a owl:Class} e:evidence . { a owl:Class} e:evidence . # Proof found for http://www.w3.org/2002/03owlt/I5.2/conclusions006.rdf in 41575 steps (217658 steps/sec) using 1 engine (482 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:45 GMT @prefix log: . (!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction => { @prefix math: . @prefix otest: . @prefix first: . @prefix ns0: . @prefix ns3: . @prefix e: . @prefix q: . @prefix xsd: . @prefix log: . @prefix ns1: . @prefix ns4: . @prefix rtest: . @prefix rdfs: . @prefix : . @prefix rdf: . @prefix dc: . @prefix ns2: . @prefix str: . @prefix owl: . {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{_:5474083_235_ owl:onProperty first:family-name} e:evidence . {_:5474083_235_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . {first:Reptile rdfs:subClassOf _:5474083_235_} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474145_235_} e:evidence . {_:5474145_235_ owl:onProperty first:family-name} e:evidence . {_:5474145_235_ owl:hasValue "Gekkonidae"} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474240_235_} e:evidence . {_:5474240_235_ owl:onProperty first:family-name} e:evidence . {_:5474240_235_ owl:hasValue "Xantusiidae"} e:evidence } => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }. {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{_:5474083_235_ owl:onProperty first:family-name} e:evidence . {_:5474083_235_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . {first:Reptile rdfs:subClassOf _:5474083_235_} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474145_235_} e:evidence . {_:5474145_235_ owl:onProperty first:family-name} e:evidence . {_:5474145_235_ owl:hasValue "Gekkonidae"} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474045_235_} e:evidence . {_:5474045_235_ owl:onProperty first:family-name} e:evidence . {_:5474045_235_ owl:hasValue "Leptotyphlopidae"} e:evidence } => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }. {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{_:5474083_235_ owl:onProperty first:family-name} e:evidence . {_:5474083_235_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . {first:Reptile rdfs:subClassOf _:5474083_235_} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474145_235_} e:evidence . {_:5474145_235_ owl:onProperty first:family-name} e:evidence . {_:5474145_235_ owl:hasValue "Gekkonidae"} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474164_235_} e:evidence . {_:5474164_235_ owl:onProperty first:family-name} e:evidence . {_:5474164_235_ owl:hasValue "Loxocemidae"} e:evidence } => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }. {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{_:5474083_235_ owl:onProperty first:family-name} e:evidence . {_:5474083_235_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . {first:Reptile rdfs:subClassOf _:5474083_235_} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474145_235_} e:evidence . {_:5474145_235_ owl:onProperty first:family-name} e:evidence . {_:5474145_235_ owl:hasValue "Gekkonidae"} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474221_235_} e:evidence . {_:5474221_235_ owl:onProperty first:family-name} e:evidence . {_:5474221_235_ owl:hasValue "Bipedidae"} e:evidence } => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }. {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{_:5474083_235_ owl:onProperty first:family-name} e:evidence . {_:5474083_235_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . {first:Reptile rdfs:subClassOf _:5474083_235_} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474145_235_} e:evidence . {_:5474145_235_ owl:onProperty first:family-name} e:evidence . {_:5474145_235_ owl:hasValue "Gekkonidae"} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474107_235_} e:evidence . {_:5474107_235_ owl:onProperty first:family-name} e:evidence . {_:5474107_235_ owl:hasValue "Sphenodontidae"} e:evidence } => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }. {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{_:5474083_235_ owl:onProperty first:family-name} e:evidence . {_:5474083_235_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . {first:Reptile rdfs:subClassOf _:5474083_235_} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474145_235_} e:evidence . {_:5474145_235_ owl:onProperty first:family-name} e:evidence . {_:5474145_235_ owl:hasValue "Gekkonidae"} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474202_235_} e:evidence . {_:5474202_235_ owl:onProperty first:family-name} e:evidence . {_:5474202_235_ owl:hasValue "Cordylidae"} e:evidence } => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }. {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{_:5474083_235_ owl:onProperty first:family-name} e:evidence . {_:5474083_235_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . {first:Reptile rdfs:subClassOf _:5474083_235_} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474240_235_} e:evidence . {_:5474240_235_ owl:onProperty first:family-name} e:evidence . {_:5474240_235_ owl:hasValue "Xantusiidae"} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474164_235_} e:evidence . {_:5474164_235_ owl:onProperty first:family-name} e:evidence . {_:5474164_235_ owl:hasValue "Loxocemidae"} e:evidence } => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }. {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{_:5474083_235_ owl:onProperty first:family-name} e:evidence . {_:5474083_235_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . {first:Reptile rdfs:subClassOf _:5474083_235_} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474045_235_} e:evidence . {_:5474045_235_ owl:onProperty first:family-name} e:evidence . {_:5474045_235_ owl:hasValue "Leptotyphlopidae"} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474240_235_} e:evidence . {_:5474240_235_ owl:onProperty first:family-name} e:evidence . {_:5474240_235_ owl:hasValue "Xantusiidae"} e:evidence } => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }. {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{_:5474083_235_ owl:onProperty first:family-name} e:evidence . {_:5474083_235_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . {first:Reptile rdfs:subClassOf _:5474083_235_} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474045_235_} e:evidence . {_:5474045_235_ owl:onProperty first:family-name} e:evidence . {_:5474045_235_ owl:hasValue "Leptotyphlopidae"} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474164_235_} e:evidence . {_:5474164_235_ owl:onProperty first:family-name} e:evidence . {_:5474164_235_ owl:hasValue "Loxocemidae"} e:evidence } => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }. {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{_:5474083_235_ owl:onProperty first:family-name} e:evidence . {_:5474083_235_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . {first:Reptile rdfs:subClassOf _:5474083_235_} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474183_235_} e:evidence . {_:5474183_235_ owl:onProperty first:family-name} e:evidence . {_:5474183_235_ owl:hasValue "Amphisbaenidae"} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474240_235_} e:evidence . {_:5474240_235_ owl:onProperty first:family-name} e:evidence . {_:5474240_235_ owl:hasValue "Xantusiidae"} e:evidence } => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }. {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{_:5474083_235_ owl:onProperty first:family-name} e:evidence . {_:5474083_235_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . {first:Reptile rdfs:subClassOf _:5474083_235_} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474183_235_} e:evidence . {_:5474183_235_ owl:onProperty first:family-name} e:evidence . {_:5474183_235_ owl:hasValue "Amphisbaenidae"} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474145_235_} e:evidence . {_:5474145_235_ owl:onProperty first:family-name} e:evidence . {_:5474145_235_ owl:hasValue "Gekkonidae"} e:evidence } => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }. {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{_:5474083_235_ owl:onProperty first:family-name} e:evidence . {_:5474083_235_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . {first:Reptile rdfs:subClassOf _:5474083_235_} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474183_235_} e:evidence . {_:5474183_235_ owl:onProperty first:family-name} e:evidence . {_:5474183_235_ owl:hasValue "Amphisbaenidae"} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474045_235_} e:evidence . {_:5474045_235_ owl:onProperty first:family-name} e:evidence . {_:5474045_235_ owl:hasValue "Leptotyphlopidae"} e:evidence } => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }. {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{_:5474083_235_ owl:onProperty first:family-name} e:evidence . {_:5474083_235_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . {first:Reptile rdfs:subClassOf _:5474083_235_} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474183_235_} e:evidence . {_:5474183_235_ owl:onProperty first:family-name} e:evidence . {_:5474183_235_ owl:hasValue "Amphisbaenidae"} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474164_235_} e:evidence . {_:5474164_235_ owl:onProperty first:family-name} e:evidence . {_:5474164_235_ owl:hasValue "Loxocemidae"} e:evidence } => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }. {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{_:5474083_235_ owl:onProperty first:family-name} e:evidence . {_:5474083_235_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . {first:Reptile rdfs:subClassOf _:5474083_235_} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474183_235_} e:evidence . {_:5474183_235_ owl:onProperty first:family-name} e:evidence . {_:5474183_235_ owl:hasValue "Amphisbaenidae"} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474202_235_} e:evidence . {_:5474202_235_ owl:onProperty first:family-name} e:evidence . {_:5474202_235_ owl:hasValue "Cordylidae"} e:evidence } => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }. {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{_:5474083_235_ owl:onProperty first:family-name} e:evidence . {_:5474083_235_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . {first:Reptile rdfs:subClassOf _:5474083_235_} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474183_235_} e:evidence . {_:5474183_235_ owl:onProperty first:family-name} e:evidence . {_:5474183_235_ owl:hasValue "Amphisbaenidae"} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474107_235_} e:evidence . {_:5474107_235_ owl:onProperty first:family-name} e:evidence . {_:5474107_235_ owl:hasValue "Sphenodontidae"} e:evidence } => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }. {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{_:5474083_235_ owl:onProperty first:family-name} e:evidence . {_:5474083_235_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . {first:Reptile rdfs:subClassOf _:5474083_235_} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474183_235_} e:evidence . {_:5474183_235_ owl:onProperty first:family-name} e:evidence . {_:5474183_235_ owl:hasValue "Amphisbaenidae"} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474221_235_} e:evidence . {_:5474221_235_ owl:onProperty first:family-name} e:evidence . {_:5474221_235_ owl:hasValue "Bipedidae"} e:evidence } => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }. {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{_:5474083_235_ owl:onProperty first:family-name} e:evidence . {_:5474083_235_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . {first:Reptile rdfs:subClassOf _:5474083_235_} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474183_235_} e:evidence . {_:5474183_235_ owl:onProperty first:family-name} e:evidence . {_:5474183_235_ owl:hasValue "Amphisbaenidae"} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474126_235_} e:evidence . {_:5474126_235_ owl:onProperty first:family-name} e:evidence . {_:5474126_235_ owl:hasValue "Crocodylidae"} e:evidence } => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }. {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{_:5474083_235_ owl:onProperty first:family-name} e:evidence . {_:5474083_235_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . {first:Reptile rdfs:subClassOf _:5474083_235_} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474183_235_} e:evidence . {_:5474183_235_ owl:onProperty first:family-name} e:evidence . {_:5474183_235_ owl:hasValue "Amphisbaenidae"} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474278_235_} e:evidence . {_:5474278_235_ owl:onProperty first:family-name} e:evidence . {_:5474278_235_ owl:hasValue "Emydidae"} e:evidence } => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }. {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{_:5474083_235_ owl:onProperty first:family-name} e:evidence . {_:5474083_235_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . {first:Reptile rdfs:subClassOf _:5474083_235_} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474183_235_} e:evidence . {_:5474183_235_ owl:onProperty first:family-name} e:evidence . {_:5474183_235_ owl:hasValue "Amphisbaenidae"} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474259_235_} e:evidence . {_:5474259_235_ owl:onProperty first:family-name} e:evidence . {_:5474259_235_ owl:hasValue "Anomalepidae"} e:evidence } => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }. {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{_:5474083_235_ owl:onProperty first:family-name} e:evidence . {_:5474083_235_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . {first:Reptile rdfs:subClassOf _:5474083_235_} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474183_235_} e:evidence . {_:5474183_235_ owl:onProperty first:family-name} e:evidence . {_:5474183_235_ owl:hasValue "Amphisbaenidae"} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474064_235_} e:evidence . {_:5474064_235_ owl:onProperty first:family-name} e:evidence . {_:5474064_235_ owl:hasValue "Agamidae"} e:evidence } => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }. {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{_:5474083_235_ owl:onProperty first:family-name} e:evidence . {_:5474083_235_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . {first:Reptile rdfs:subClassOf _:5474083_235_} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474107_235_} e:evidence . {_:5474107_235_ owl:onProperty first:family-name} e:evidence . {_:5474107_235_ owl:hasValue "Sphenodontidae"} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474240_235_} e:evidence . {_:5474240_235_ owl:onProperty first:family-name} e:evidence . {_:5474240_235_ owl:hasValue "Xantusiidae"} e:evidence } => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }. {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{_:5474083_235_ owl:onProperty first:family-name} e:evidence . {_:5474083_235_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . {first:Reptile rdfs:subClassOf _:5474083_235_} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474107_235_} e:evidence . {_:5474107_235_ owl:onProperty first:family-name} e:evidence . {_:5474107_235_ owl:hasValue "Sphenodontidae"} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474045_235_} e:evidence . {_:5474045_235_ owl:onProperty first:family-name} e:evidence . {_:5474045_235_ owl:hasValue "Leptotyphlopidae"} e:evidence } => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }. {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{_:5474083_235_ owl:onProperty first:family-name} e:evidence . {_:5474083_235_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . {first:Reptile rdfs:subClassOf _:5474083_235_} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474107_235_} e:evidence . {_:5474107_235_ owl:onProperty first:family-name} e:evidence . {_:5474107_235_ owl:hasValue "Sphenodontidae"} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474164_235_} e:evidence . {_:5474164_235_ owl:onProperty first:family-name} e:evidence . {_:5474164_235_ owl:hasValue "Loxocemidae"} e:evidence } => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }. {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{_:5474083_235_ owl:onProperty first:family-name} e:evidence . {_:5474083_235_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . {first:Reptile rdfs:subClassOf _:5474083_235_} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474107_235_} e:evidence . {_:5474107_235_ owl:onProperty first:family-name} e:evidence . {_:5474107_235_ owl:hasValue "Sphenodontidae"} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474202_235_} e:evidence . {_:5474202_235_ owl:onProperty first:family-name} e:evidence . {_:5474202_235_ owl:hasValue "Cordylidae"} e:evidence } => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }. {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{_:5474083_235_ owl:onProperty first:family-name} e:evidence . {_:5474083_235_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . {first:Reptile rdfs:subClassOf _:5474083_235_} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474107_235_} e:evidence . {_:5474107_235_ owl:onProperty first:family-name} e:evidence . {_:5474107_235_ owl:hasValue "Sphenodontidae"} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474221_235_} e:evidence . {_:5474221_235_ owl:onProperty first:family-name} e:evidence . {_:5474221_235_ owl:hasValue "Bipedidae"} e:evidence } => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }. {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{_:5474083_235_ owl:onProperty first:family-name} e:evidence . {_:5474083_235_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . {first:Reptile rdfs:subClassOf _:5474083_235_} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474202_235_} e:evidence . {_:5474202_235_ owl:onProperty first:family-name} e:evidence . {_:5474202_235_ owl:hasValue "Cordylidae"} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474240_235_} e:evidence . {_:5474240_235_ owl:onProperty first:family-name} e:evidence . {_:5474240_235_ owl:hasValue "Xantusiidae"} e:evidence } => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }. {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{_:5474083_235_ owl:onProperty first:family-name} e:evidence . {_:5474083_235_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . {first:Reptile rdfs:subClassOf _:5474083_235_} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474202_235_} e:evidence . {_:5474202_235_ owl:onProperty first:family-name} e:evidence . {_:5474202_235_ owl:hasValue "Cordylidae"} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474045_235_} e:evidence . {_:5474045_235_ owl:onProperty first:family-name} e:evidence . {_:5474045_235_ owl:hasValue "Leptotyphlopidae"} e:evidence } => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }. {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{_:5474083_235_ owl:onProperty first:family-name} e:evidence . {_:5474083_235_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . {first:Reptile rdfs:subClassOf _:5474083_235_} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474202_235_} e:evidence . {_:5474202_235_ owl:onProperty first:family-name} e:evidence . {_:5474202_235_ owl:hasValue "Cordylidae"} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474164_235_} e:evidence . {_:5474164_235_ owl:onProperty first:family-name} e:evidence . {_:5474164_235_ owl:hasValue "Loxocemidae"} e:evidence } => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }. {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{_:5474083_235_ owl:onProperty first:family-name} e:evidence . {_:5474083_235_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . {first:Reptile rdfs:subClassOf _:5474083_235_} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474202_235_} e:evidence . {_:5474202_235_ owl:onProperty first:family-name} e:evidence . {_:5474202_235_ owl:hasValue "Cordylidae"} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474221_235_} e:evidence . {_:5474221_235_ owl:onProperty first:family-name} e:evidence . {_:5474221_235_ owl:hasValue "Bipedidae"} e:evidence } => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }. {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{_:5474083_235_ owl:onProperty first:family-name} e:evidence . {_:5474083_235_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . {first:Reptile rdfs:subClassOf _:5474083_235_} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474221_235_} e:evidence . {_:5474221_235_ owl:onProperty first:family-name} e:evidence . {_:5474221_235_ owl:hasValue "Bipedidae"} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474240_235_} e:evidence . {_:5474240_235_ owl:onProperty first:family-name} e:evidence . {_:5474240_235_ owl:hasValue "Xantusiidae"} e:evidence } => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }. {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{_:5474083_235_ owl:onProperty first:family-name} e:evidence . {_:5474083_235_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . {first:Reptile rdfs:subClassOf _:5474083_235_} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474221_235_} e:evidence . {_:5474221_235_ owl:onProperty first:family-name} e:evidence . {_:5474221_235_ owl:hasValue "Bipedidae"} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474045_235_} e:evidence . {_:5474045_235_ owl:onProperty first:family-name} e:evidence . {_:5474045_235_ owl:hasValue "Leptotyphlopidae"} e:evidence } => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }. {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{_:5474083_235_ owl:onProperty first:family-name} e:evidence . {_:5474083_235_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . {first:Reptile rdfs:subClassOf _:5474083_235_} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474221_235_} e:evidence . {_:5474221_235_ owl:onProperty first:family-name} e:evidence . {_:5474221_235_ owl:hasValue "Bipedidae"} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474164_235_} e:evidence . {_:5474164_235_ owl:onProperty first:family-name} e:evidence . {_:5474164_235_ owl:hasValue "Loxocemidae"} e:evidence } => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }. {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{_:5474083_235_ owl:onProperty first:family-name} e:evidence . {_:5474083_235_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . {first:Reptile rdfs:subClassOf _:5474083_235_} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474126_235_} e:evidence . {_:5474126_235_ owl:onProperty first:family-name} e:evidence . {_:5474126_235_ owl:hasValue "Crocodylidae"} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474145_235_} e:evidence . {_:5474145_235_ owl:onProperty first:family-name} e:evidence . {_:5474145_235_ owl:hasValue "Gekkonidae"} e:evidence } => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }. {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{_:5474083_235_ owl:onProperty first:family-name} e:evidence . {_:5474083_235_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . {first:Reptile rdfs:subClassOf _:5474083_235_} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474126_235_} e:evidence . {_:5474126_235_ owl:onProperty first:family-name} e:evidence . {_:5474126_235_ owl:hasValue "Crocodylidae"} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474240_235_} e:evidence . {_:5474240_235_ owl:onProperty first:family-name} e:evidence . {_:5474240_235_ owl:hasValue "Xantusiidae"} e:evidence } => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }. {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{_:5474083_235_ owl:onProperty first:family-name} e:evidence . {_:5474083_235_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . {first:Reptile rdfs:subClassOf _:5474083_235_} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474126_235_} e:evidence . {_:5474126_235_ owl:onProperty first:family-name} e:evidence . {_:5474126_235_ owl:hasValue "Crocodylidae"} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474045_235_} e:evidence . {_:5474045_235_ owl:onProperty first:family-name} e:evidence . {_:5474045_235_ owl:hasValue "Leptotyphlopidae"} e:evidence } => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }. {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{_:5474083_235_ owl:onProperty first:family-name} e:evidence . {_:5474083_235_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . {first:Reptile rdfs:subClassOf _:5474083_235_} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474126_235_} e:evidence . {_:5474126_235_ owl:onProperty first:family-name} e:evidence . {_:5474126_235_ owl:hasValue "Crocodylidae"} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474164_235_} e:evidence . {_:5474164_235_ owl:onProperty first:family-name} e:evidence . {_:5474164_235_ owl:hasValue "Loxocemidae"} e:evidence } => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }. {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{_:5474083_235_ owl:onProperty first:family-name} e:evidence . {_:5474083_235_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . {first:Reptile rdfs:subClassOf _:5474083_235_} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474126_235_} e:evidence . {_:5474126_235_ owl:onProperty first:family-name} e:evidence . {_:5474126_235_ owl:hasValue "Crocodylidae"} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474107_235_} e:evidence . {_:5474107_235_ owl:onProperty first:family-name} e:evidence . {_:5474107_235_ owl:hasValue "Sphenodontidae"} e:evidence } => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }. {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{_:5474083_235_ owl:onProperty first:family-name} e:evidence . {_:5474083_235_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . {first:Reptile rdfs:subClassOf _:5474083_235_} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474126_235_} e:evidence . {_:5474126_235_ owl:onProperty first:family-name} e:evidence . {_:5474126_235_ owl:hasValue "Crocodylidae"} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474221_235_} e:evidence . {_:5474221_235_ owl:onProperty first:family-name} e:evidence . {_:5474221_235_ owl:hasValue "Bipedidae"} e:evidence } => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }. {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{_:5474083_235_ owl:onProperty first:family-name} e:evidence . {_:5474083_235_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . {first:Reptile rdfs:subClassOf _:5474083_235_} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474126_235_} e:evidence . {_:5474126_235_ owl:onProperty first:family-name} e:evidence . {_:5474126_235_ owl:hasValue "Crocodylidae"} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474202_235_} e:evidence . {_:5474202_235_ owl:onProperty first:family-name} e:evidence . {_:5474202_235_ owl:hasValue "Cordylidae"} e:evidence } => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }. {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{_:5474083_235_ owl:onProperty first:family-name} e:evidence . {_:5474083_235_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . {first:Reptile rdfs:subClassOf _:5474083_235_} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474259_235_} e:evidence . {_:5474259_235_ owl:onProperty first:family-name} e:evidence . {_:5474259_235_ owl:hasValue "Anomalepidae"} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474240_235_} e:evidence . {_:5474240_235_ owl:onProperty first:family-name} e:evidence . {_:5474240_235_ owl:hasValue "Xantusiidae"} e:evidence } => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }. {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{_:5474083_235_ owl:onProperty first:family-name} e:evidence . {_:5474083_235_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . {first:Reptile rdfs:subClassOf _:5474083_235_} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474259_235_} e:evidence . {_:5474259_235_ owl:onProperty first:family-name} e:evidence . {_:5474259_235_ owl:hasValue "Anomalepidae"} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474145_235_} e:evidence . {_:5474145_235_ owl:onProperty first:family-name} e:evidence . {_:5474145_235_ owl:hasValue "Gekkonidae"} e:evidence } => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }. {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{_:5474083_235_ owl:onProperty first:family-name} e:evidence . {_:5474083_235_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . {first:Reptile rdfs:subClassOf _:5474083_235_} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474259_235_} e:evidence . {_:5474259_235_ owl:onProperty first:family-name} e:evidence . {_:5474259_235_ owl:hasValue "Anomalepidae"} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474045_235_} e:evidence . {_:5474045_235_ owl:onProperty first:family-name} e:evidence . {_:5474045_235_ owl:hasValue "Leptotyphlopidae"} e:evidence } => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }. {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{_:5474083_235_ owl:onProperty first:family-name} e:evidence . {_:5474083_235_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . {first:Reptile rdfs:subClassOf _:5474083_235_} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474259_235_} e:evidence . {_:5474259_235_ owl:onProperty first:family-name} e:evidence . {_:5474259_235_ owl:hasValue "Anomalepidae"} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474164_235_} e:evidence . {_:5474164_235_ owl:onProperty first:family-name} e:evidence . {_:5474164_235_ owl:hasValue "Loxocemidae"} e:evidence } => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }. {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{_:5474083_235_ owl:onProperty first:family-name} e:evidence . {_:5474083_235_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . {first:Reptile rdfs:subClassOf _:5474083_235_} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474259_235_} e:evidence . {_:5474259_235_ owl:onProperty first:family-name} e:evidence . {_:5474259_235_ owl:hasValue "Anomalepidae"} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474202_235_} e:evidence . {_:5474202_235_ owl:onProperty first:family-name} e:evidence . {_:5474202_235_ owl:hasValue "Cordylidae"} e:evidence } => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }. {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{_:5474083_235_ owl:onProperty first:family-name} e:evidence . {_:5474083_235_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . {first:Reptile rdfs:subClassOf _:5474083_235_} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474259_235_} e:evidence . {_:5474259_235_ owl:onProperty first:family-name} e:evidence . {_:5474259_235_ owl:hasValue "Anomalepidae"} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474221_235_} e:evidence . {_:5474221_235_ owl:onProperty first:family-name} e:evidence . {_:5474221_235_ owl:hasValue "Bipedidae"} e:evidence } => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }. {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{_:5474083_235_ owl:onProperty first:family-name} e:evidence . {_:5474083_235_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . {first:Reptile rdfs:subClassOf _:5474083_235_} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474259_235_} e:evidence . {_:5474259_235_ owl:onProperty first:family-name} e:evidence . {_:5474259_235_ owl:hasValue "Anomalepidae"} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474107_235_} e:evidence . {_:5474107_235_ owl:onProperty first:family-name} e:evidence . {_:5474107_235_ owl:hasValue "Sphenodontidae"} e:evidence } => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }. {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{_:5474083_235_ owl:onProperty first:family-name} e:evidence . {_:5474083_235_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . {first:Reptile rdfs:subClassOf _:5474083_235_} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474259_235_} e:evidence . {_:5474259_235_ owl:onProperty first:family-name} e:evidence . {_:5474259_235_ owl:hasValue "Anomalepidae"} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474126_235_} e:evidence . {_:5474126_235_ owl:onProperty first:family-name} e:evidence . {_:5474126_235_ owl:hasValue "Crocodylidae"} e:evidence } => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }. {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{_:5474083_235_ owl:onProperty first:family-name} e:evidence . {_:5474083_235_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . {first:Reptile rdfs:subClassOf _:5474083_235_} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474259_235_} e:evidence . {_:5474259_235_ owl:onProperty first:family-name} e:evidence . {_:5474259_235_ owl:hasValue "Anomalepidae"} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474278_235_} e:evidence . {_:5474278_235_ owl:onProperty first:family-name} e:evidence . {_:5474278_235_ owl:hasValue "Emydidae"} e:evidence } => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }. {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{_:5474083_235_ owl:onProperty first:family-name} e:evidence . {_:5474083_235_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . {first:Reptile rdfs:subClassOf _:5474083_235_} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474278_235_} e:evidence . {_:5474278_235_ owl:onProperty first:family-name} e:evidence . {_:5474278_235_ owl:hasValue "Emydidae"} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474240_235_} e:evidence . {_:5474240_235_ owl:onProperty first:family-name} e:evidence . {_:5474240_235_ owl:hasValue "Xantusiidae"} e:evidence } => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }. {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{_:5474083_235_ owl:onProperty first:family-name} e:evidence . {_:5474083_235_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . {first:Reptile rdfs:subClassOf _:5474083_235_} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474278_235_} e:evidence . {_:5474278_235_ owl:onProperty first:family-name} e:evidence . {_:5474278_235_ owl:hasValue "Emydidae"} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474145_235_} e:evidence . {_:5474145_235_ owl:onProperty first:family-name} e:evidence . {_:5474145_235_ owl:hasValue "Gekkonidae"} e:evidence } => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }. {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{_:5474083_235_ owl:onProperty first:family-name} e:evidence . {_:5474083_235_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . {first:Reptile rdfs:subClassOf _:5474083_235_} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474278_235_} e:evidence . {_:5474278_235_ owl:onProperty first:family-name} e:evidence . {_:5474278_235_ owl:hasValue "Emydidae"} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474045_235_} e:evidence . {_:5474045_235_ owl:onProperty first:family-name} e:evidence . {_:5474045_235_ owl:hasValue "Leptotyphlopidae"} e:evidence } => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }. {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{_:5474083_235_ owl:onProperty first:family-name} e:evidence . {_:5474083_235_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . {first:Reptile rdfs:subClassOf _:5474083_235_} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474278_235_} e:evidence . {_:5474278_235_ owl:onProperty first:family-name} e:evidence . {_:5474278_235_ owl:hasValue "Emydidae"} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474164_235_} e:evidence . {_:5474164_235_ owl:onProperty first:family-name} e:evidence . {_:5474164_235_ owl:hasValue "Loxocemidae"} e:evidence } => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }. {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{_:5474083_235_ owl:onProperty first:family-name} e:evidence . {_:5474083_235_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . {first:Reptile rdfs:subClassOf _:5474083_235_} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474278_235_} e:evidence . {_:5474278_235_ owl:onProperty first:family-name} e:evidence . {_:5474278_235_ owl:hasValue "Emydidae"} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474202_235_} e:evidence . {_:5474202_235_ owl:onProperty first:family-name} e:evidence . {_:5474202_235_ owl:hasValue "Cordylidae"} e:evidence } => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }. {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{_:5474083_235_ owl:onProperty first:family-name} e:evidence . {_:5474083_235_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . {first:Reptile rdfs:subClassOf _:5474083_235_} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474278_235_} e:evidence . {_:5474278_235_ owl:onProperty first:family-name} e:evidence . {_:5474278_235_ owl:hasValue "Emydidae"} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474107_235_} e:evidence . {_:5474107_235_ owl:onProperty first:family-name} e:evidence . {_:5474107_235_ owl:hasValue "Sphenodontidae"} e:evidence } => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }. {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{_:5474083_235_ owl:onProperty first:family-name} e:evidence . {_:5474083_235_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . {first:Reptile rdfs:subClassOf _:5474083_235_} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474278_235_} e:evidence . {_:5474278_235_ owl:onProperty first:family-name} e:evidence . {_:5474278_235_ owl:hasValue "Emydidae"} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474221_235_} e:evidence . {_:5474221_235_ owl:onProperty first:family-name} e:evidence . {_:5474221_235_ owl:hasValue "Bipedidae"} e:evidence } => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }. {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{_:5474083_235_ owl:onProperty first:family-name} e:evidence . {_:5474083_235_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . {first:Reptile rdfs:subClassOf _:5474083_235_} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474278_235_} e:evidence . {_:5474278_235_ owl:onProperty first:family-name} e:evidence . {_:5474278_235_ owl:hasValue "Emydidae"} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474126_235_} e:evidence . {_:5474126_235_ owl:onProperty first:family-name} e:evidence . {_:5474126_235_ owl:hasValue "Crocodylidae"} e:evidence } => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }. {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{_:5474083_235_ owl:onProperty first:family-name} e:evidence . {_:5474083_235_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . {first:Reptile rdfs:subClassOf _:5474083_235_} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474064_235_} e:evidence . {_:5474064_235_ owl:onProperty first:family-name} e:evidence . {_:5474064_235_ owl:hasValue "Agamidae"} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474145_235_} e:evidence . {_:5474145_235_ owl:onProperty first:family-name} e:evidence . {_:5474145_235_ owl:hasValue "Gekkonidae"} e:evidence } => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }. {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{_:5474083_235_ owl:onProperty first:family-name} e:evidence . {_:5474083_235_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . {first:Reptile rdfs:subClassOf _:5474083_235_} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474064_235_} e:evidence . {_:5474064_235_ owl:onProperty first:family-name} e:evidence . {_:5474064_235_ owl:hasValue "Agamidae"} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474240_235_} e:evidence . {_:5474240_235_ owl:onProperty first:family-name} e:evidence . {_:5474240_235_ owl:hasValue "Xantusiidae"} e:evidence } => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }. {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{_:5474083_235_ owl:onProperty first:family-name} e:evidence . {_:5474083_235_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . {first:Reptile rdfs:subClassOf _:5474083_235_} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474064_235_} e:evidence . {_:5474064_235_ owl:onProperty first:family-name} e:evidence . {_:5474064_235_ owl:hasValue "Agamidae"} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474045_235_} e:evidence . {_:5474045_235_ owl:onProperty first:family-name} e:evidence . {_:5474045_235_ owl:hasValue "Leptotyphlopidae"} e:evidence } => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }. {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{_:5474083_235_ owl:onProperty first:family-name} e:evidence . {_:5474083_235_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . {first:Reptile rdfs:subClassOf _:5474083_235_} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474064_235_} e:evidence . {_:5474064_235_ owl:onProperty first:family-name} e:evidence . {_:5474064_235_ owl:hasValue "Agamidae"} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474164_235_} e:evidence . {_:5474164_235_ owl:onProperty first:family-name} e:evidence . {_:5474164_235_ owl:hasValue "Loxocemidae"} e:evidence } => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }. {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{_:5474083_235_ owl:onProperty first:family-name} e:evidence . {_:5474083_235_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . {first:Reptile rdfs:subClassOf _:5474083_235_} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474064_235_} e:evidence . {_:5474064_235_ owl:onProperty first:family-name} e:evidence . {_:5474064_235_ owl:hasValue "Agamidae"} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474107_235_} e:evidence . {_:5474107_235_ owl:onProperty first:family-name} e:evidence . {_:5474107_235_ owl:hasValue "Sphenodontidae"} e:evidence } => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }. {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{_:5474083_235_ owl:onProperty first:family-name} e:evidence . {_:5474083_235_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . {first:Reptile rdfs:subClassOf _:5474083_235_} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474064_235_} e:evidence . {_:5474064_235_ owl:onProperty first:family-name} e:evidence . {_:5474064_235_ owl:hasValue "Agamidae"} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474221_235_} e:evidence . {_:5474221_235_ owl:onProperty first:family-name} e:evidence . {_:5474221_235_ owl:hasValue "Bipedidae"} e:evidence } => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }. {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{_:5474083_235_ owl:onProperty first:family-name} e:evidence . {_:5474083_235_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . {first:Reptile rdfs:subClassOf _:5474083_235_} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474064_235_} e:evidence . {_:5474064_235_ owl:onProperty first:family-name} e:evidence . {_:5474064_235_ owl:hasValue "Agamidae"} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474202_235_} e:evidence . {_:5474202_235_ owl:onProperty first:family-name} e:evidence . {_:5474202_235_ owl:hasValue "Cordylidae"} e:evidence } => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }. {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{_:5474083_235_ owl:onProperty first:family-name} e:evidence . {_:5474083_235_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . {first:Reptile rdfs:subClassOf _:5474083_235_} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474064_235_} e:evidence . {_:5474064_235_ owl:onProperty first:family-name} e:evidence . {_:5474064_235_ owl:hasValue "Agamidae"} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474126_235_} e:evidence . {_:5474126_235_ owl:onProperty first:family-name} e:evidence . {_:5474126_235_ owl:hasValue "Crocodylidae"} e:evidence } => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }. {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{_:5474083_235_ owl:onProperty first:family-name} e:evidence . {_:5474083_235_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . {first:Reptile rdfs:subClassOf _:5474083_235_} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474064_235_} e:evidence . {_:5474064_235_ owl:onProperty first:family-name} e:evidence . {_:5474064_235_ owl:hasValue "Agamidae"} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474259_235_} e:evidence . {_:5474259_235_ owl:onProperty first:family-name} e:evidence . {_:5474259_235_ owl:hasValue "Anomalepidae"} e:evidence } => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }. {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{owl:disjointWith rdf:type owl:SymmetricProperty} e:evidence . {{_:5474083_235_ owl:onProperty first:family-name} e:evidence . {_:5474083_235_ owl:cardinality "1"^^} e:evidence . {"1"^^ math:equalTo 1} e:evidence . {first:Reptile rdfs:subClassOf _:5474083_235_} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474064_235_} e:evidence . {_:5474064_235_ owl:onProperty first:family-name} e:evidence . {_:5474064_235_ owl:hasValue "Agamidae"} e:evidence . { rdfs:subClassOf first:Reptile} e:evidence . { rdfs:subClassOf _:5474278_235_} e:evidence . {_:5474278_235_ owl:onProperty first:family-name} e:evidence . {_:5474278_235_ owl:hasValue "Emydidae"} e:evidence } => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }} => { { owl:disjointWith } e:evidence }. { a owl:Class} e:evidence . { a owl:Class} e:evidence . { a owl:Class} e:evidence . { a owl:Class} e:evidence . { a owl:Class} e:evidence . { a owl:Class} e:evidence . { a owl:Class} e:evidence . { a owl:Class} e:evidence . { a owl:Class} e:evidence . { a owl:Class} e:evidence . { a owl:Class} e:evidence . { a owl:Class} e:evidence . # Proof found for http://www.w3.org/2002/03owlt/I5.21/conclusions002.rdf in 177684 steps (219089 steps/sec) using 1 engine (510 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:46 GMT @prefix log: . (!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction => { @prefix math: . @prefix otest: . @prefix ns0: . @prefix ns3: . @prefix e: . @prefix q: . @prefix xsd: . @prefix log: . @prefix ns1: . @prefix ns4: . @prefix rtest: . @prefix rdfs: . @prefix : . @prefix rdf: . @prefix dc: . @prefix ns2: . @prefix str: . @prefix owl: . {{ rdfs:subClassOf } e:evidence . { rdfs:range } e:evidence } => { { rdfs:range } e:evidence }. { a rdf:Property} e:evidence . { a owl:Class} e:evidence . # Proof found for http://www.w3.org/2002/03owlt/I5.24/conclusions001.rdf in 156 steps (15600000 steps/sec) using 1 engine (436 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:46 GMT @prefix log: . (!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction => { @prefix math: . @prefix otest: . @prefix ns0: . @prefix ns3: . @prefix e: . @prefix q: . @prefix xsd: . @prefix log: . @prefix ns1: . @prefix ns4: . @prefix rtest: . @prefix rdfs: . @prefix : . @prefix rdf: . @prefix dc: . @prefix ns2: . @prefix str: . @prefix owl: . {{_:5783688_157_ owl:intersectionOf _:5783699_157_} e:evidence . {{_:5783699_157_ rdf:first } e:evidence } => { {_:5783699_157_ ns1:item } e:evidence }. {{_:5783699_157_ rdf:first } e:evidence } => { {_:5783699_157_ ns1:item } e:evidence }. { rdfs:range } e:evidence . { rdfs:range } e:evidence } => { { rdfs:range _:5783688_157_} e:evidence }. {_:5783688_157_ owl:intersectionOf _:5783699_157_} e:evidence . {_:5783699_157_ rdf:first } e:evidence . {_:5783699_157_ rdf:rest _:5783707_157_} e:evidence . {_:5783707_157_ rdf:first } e:evidence . {_:5783707_157_ rdf:rest rdf:nil} e:evidence . { a rdf:Property} e:evidence . {_:5783688_157_ a owl:Class} e:evidence . # Proof found for http://www.w3.org/2002/03owlt/I5.24/conclusions002.rdf in 16643 steps (184901 steps/sec) using 1 engine (434 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:47 GMT @prefix log: . (!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction => { @prefix math: . @prefix otest: . @prefix ns0: . @prefix ns3: . @prefix e: . @prefix q: . @prefix xsd: . @prefix log: . @prefix ns1: . @prefix ns4: . @prefix rtest: . @prefix rdfs: . @prefix : . @prefix rdf: . @prefix dc: . @prefix ns2: . @prefix str: . @prefix owl: . {{_:5825215_157_ owl:onProperty } e:evidence . {_:5825215_157_ owl:allValuesFrom } e:evidence . { rdfs:range } e:evidence } => { {owl:Thing rdfs:subClassOf _:5825215_157_} e:evidence }. {_:5825215_157_ owl:allValuesFrom } e:evidence . {_:5825215_157_ owl:onProperty } e:evidence . {{rdfs:Class rdfs:subClassOf owl:Class} e:evidence . {{rdfs:subClassOf rdfs:domain rdfs:Class} e:evidence . {owl:Thing rdfs:subClassOf rdfs:Resource} e:evidence } => { {owl:Thing a rdfs:Class} e:evidence }} => { {owl:Thing a owl:Class} e:evidence }. {_:5825215_157_ a owl:Restriction} e:evidence . { a owl:ObjectProperty} e:evidence . { a owl:Class} e:evidence . # Proof found for http://www.w3.org/2002/03owlt/I5.24/conclusions003.rdf in 50607 steps (180089 steps/sec) using 1 engine (435 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:47 GMT @prefix log: . (!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction => { @prefix math: . @prefix otest: . @prefix ns0: . @prefix ns3: . @prefix e: . @prefix q: . @prefix xsd: . @prefix log: . @prefix ns1: . @prefix ns4: . @prefix rtest: . @prefix rdfs: . @prefix : . @prefix rdf: . @prefix dc: . @prefix ns2: . @prefix str: . @prefix owl: . {{_:5936379_243_ owl:onProperty } e:evidence . {_:5936379_243_ owl:allValuesFrom } e:evidence . {owl:Thing rdfs:subClassOf _:5936379_243_} e:evidence } => { { rdfs:range } e:evidence }. { a owl:Class} e:evidence . { a owl:ObjectProperty} e:evidence . # Proof found for http://www.w3.org/2002/03owlt/I5.24/conclusions004.rdf in 427 steps (42700000 steps/sec) using 1 engine (439 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:47 GMT @prefix log: . (!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction => { @prefix math: . @prefix otest: . @prefix first: . @prefix ns0: . @prefix ns3: . @prefix e: . @prefix q: . @prefix xsd: . @prefix log: . @prefix ns1: . @prefix ns4: . @prefix rtest: . @prefix rdfs: . @prefix : . @prefix rdf: . @prefix dc: . @prefix ns2: . @prefix str: . @prefix owl: . {_:b1_157_ owl:equivalentClass _:b1_157_} e:evidence . {_:b1_157_ owl:minCardinality "1"^^} e:evidence . {_:b1_157_ owl:onProperty } e:evidence . { a owl:ObjectProperty} e:evidence . {_:b1_157_ a owl:Restriction} e:evidence . # Proof found for http://www.w3.org/2002/03owlt/I5.26/conclusions009.rdf in 460 steps (45954 steps/sec) using 1 engine (433 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:47 GMT @prefix log: . (!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction => { @prefix math: . @prefix otest: . @prefix first: . @prefix ns0: . @prefix ns3: . @prefix e: . @prefix q: . @prefix xsd: . @prefix log: . @prefix ns1: . @prefix ns4: . @prefix rtest: . @prefix rdfs: . @prefix : . @prefix rdf: . @prefix dc: . @prefix ns2: . @prefix str: . @prefix owl: . {_:5970886_157_ owl:minCardinality "1"^^} e:evidence . {_:5970886_157_ owl:onProperty } e:evidence . { a owl:ObjectProperty} e:evidence . {_:5970886_157_ a owl:Restriction} e:evidence . # Proof found for http://www.w3.org/2002/03owlt/I5.26/conclusions010.rdf in 459 steps (45900000 steps/sec) using 1 engine (433 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:48 GMT @prefix log: . (!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction => { @prefix math: . @prefix otest: . @prefix ns0: . @prefix ns3: . @prefix e: . @prefix q: . @prefix xsd: . @prefix log: . @prefix ns1: . @prefix ns4: . @prefix rtest: . @prefix rdfs: . @prefix : . @prefix rdf: . @prefix dc: . @prefix ns2: . @prefix str: . @prefix owl: . {{rdf:type rdfs:domain } e:evidence . { a rdfs:Class} e:evidence } => { { rdfs:subClassOf } e:evidence }. # Proof found for http://www.w3.org/2002/03owlt/I5.3/conclusions014.rdf in 1635 steps (148501 steps/sec) using 1 engine (433 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:48 GMT @prefix log: . (!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction => { @prefix math: . @prefix otest: . @prefix ns0: . @prefix ns3: . @prefix e: . @prefix q: . @prefix xsd: . @prefix log: . @prefix ns1: . @prefix ns4: . @prefix rtest: . @prefix rdfs: . @prefix : . @prefix rdf: . @prefix dc: . @prefix ns2: . @prefix str: . @prefix owl: . {{ rdfs:range xsd:integer} e:evidence . { rdfs:range xsd:string} e:evidence } => { { rdfs:subPropertyOf } e:evidence }. { a rdf:Property} e:evidence . # Proof found for http://www.w3.org/2002/03owlt/I5.3/conclusions015.rdf in 599 steps (59900000 steps/sec) using 1 engine (435 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:48 GMT @prefix log: . (!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction => { @prefix math: . @prefix otest: . @prefix ns0: . @prefix ns3: . @prefix e: . @prefix q: . @prefix xsd: . @prefix log: . @prefix ns1: . @prefix ns4: . @prefix rtest: . @prefix rdfs: . @prefix : . @prefix rdf: . @prefix dc: . @prefix ns2: . @prefix str: . @prefix owl: . {_:6009249_157_ owl:unionOf _:6009256_157_} e:evidence . {_:6009256_157_ rdf:first } e:evidence . {_:6009256_157_ rdf:rest rdf:nil} e:evidence . {_:6009249_157_ a owl:Class} e:evidence . { a owl:Class} e:evidence . # Proof found for http://www.w3.org/2002/03owlt/I5.5/conclusions005.rdf in 1261 steps (126100000 steps/sec) using 1 engine (433 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:48 GMT @prefix log: . (!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction => { @prefix math: . @prefix first: . @prefix otest: . @prefix ns0: . @prefix ns3: . @prefix e: . @prefix q: . @prefix xsd: . @prefix log: . @prefix ns1: . @prefix ns4: . @prefix rtest: . @prefix rdfs: . @prefix : . @prefix rdf: . @prefix dc: . @prefix ns2: . @prefix str: . @prefix owl: . {{_:6011893_255_ owl:onProperty first:p} e:evidence . {_:6011893_255_ owl:cardinality "128"^^} e:evidence . {first:p rdfs:range xsd:byte} e:evidence . {first:p rdfs:range xsd:unsignedInt} e:evidence . {"128"^^ math:notLessThan 128} e:evidence . {"5"^^ math:lessThan "128"^^} e:evidence . {first:john a _:6011893_255_} e:evidence } => { {first:john first:p "5"^^} e:evidence }. {first:john a owl:Thing} e:evidence . {first:p a owl:DatatypeProperty} e:evidence . # Proof found for http://www.w3.org/2002/03owlt/I5.8/conclusions004.rdf in 543 steps (54245 steps/sec) using 1 engine (441 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:48 GMT @prefix log: . (!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction => { @prefix math: . @prefix otest: . @prefix first: . @prefix ns0: . @prefix ns3: . @prefix e: . @prefix q: . @prefix xsd: . @prefix log: . @prefix ns1: . @prefix ns4: . @prefix rtest: . @prefix rdfs: . @prefix second: . @prefix : . @prefix rdf: . @prefix dc: . @prefix ns2: . @prefix str: . @prefix owl: . {{xsd:byte rdfs:subClassOf } e:evidence . {first:p rdfs:range xsd:byte} e:evidence } => { {first:p rdfs:range } e:evidence }. {first:p a owl:DatatypeProperty} e:evidence . # Proof found for http://www.w3.org/2002/03owlt/I5.8/conclusions006.rdf in 172 steps (17200000 steps/sec) using 1 engine (436 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:48 GMT @prefix log: . (!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction => { @prefix math: . @prefix otest: . @prefix ns0: . @prefix ns3: . @prefix e: . @prefix q: . @prefix xsd: . @prefix log: . @prefix ns1: . @prefix ns4: . @prefix rtest: . @prefix rdfs: . @prefix : . @prefix rdf: . @prefix dc: . @prefix ns2: . @prefix str: . @prefix owl: . {{ rdfs:range xsd:short} e:evidence . { rdfs:range xsd:unsignedInt} e:evidence } => { { rdfs:range } e:evidence }. { a owl:DatatypeProperty} e:evidence . # Proof found for http://www.w3.org/2002/03owlt/I5.8/conclusions008.rdf in 576 steps (57600000 steps/sec) using 1 engine (438 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:48 GMT @prefix log: . (!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction => { @prefix math: . @prefix otest: . @prefix ns0: . @prefix ns3: . @prefix e: . @prefix q: . @prefix xsd: . @prefix log: . @prefix ns1: . @prefix ns4: . @prefix rtest: . @prefix rdfs: . @prefix : . @prefix rdf: . @prefix dc: . @prefix ns2: . @prefix str: . @prefix owl: . {{ rdfs:range xsd:nonNegativeInteger} e:evidence . { rdfs:range xsd:nonPositiveInteger} e:evidence } => { { rdfs:range } e:evidence }. { a owl:DatatypeProperty} e:evidence . # Proof found for http://www.w3.org/2002/03owlt/I5.8/conclusions009.rdf in 616 steps (61600000 steps/sec) using 1 engine (438 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:48 GMT @prefix log: . (!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction => { @prefix math: . @prefix first: . @prefix otest: . @prefix ns0: . @prefix ns3: . @prefix e: . @prefix q: . @prefix xsd: . @prefix log: . @prefix ns1: . @prefix ns4: . @prefix rtest: . @prefix rdfs: . @prefix : . @prefix rdf: . @prefix dc: . @prefix ns2: . @prefix str: . @prefix owl: . {{_:6059173_263_ owl:onProperty first:p} e:evidence . {_:6059173_263_ owl:someValuesFrom xsd:nonPositiveInteger} e:evidence . {first:p rdfs:range xsd:nonNegativeInteger} e:evidence . {"0"^^ math:equalTo 0} e:evidence . {first:john a _:6059173_263_} e:evidence } => { {first:john first:p "0"^^} e:evidence }. {first:john a owl:Thing} e:evidence . {first:p a owl:DatatypeProperty} e:evidence . # Proof found for http://www.w3.org/2002/03owlt/I5.8/conclusions010.rdf in 671 steps (67032 steps/sec) using 1 engine (441 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:49 GMT @prefix log: . (!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction => { @prefix math: . @prefix otest: . @prefix first: . @prefix ns0: . @prefix ns3: . @prefix e: . @prefix q: . @prefix xsd: . @prefix log: . @prefix ns1: . @prefix ns4: . @prefix rtest: . @prefix rdfs: . @prefix : . @prefix rdf: . @prefix dc: . @prefix ns2: . @prefix str: . @prefix owl: . {first:xx first:yy "1"^^} e:evidence . # Proof found for http://www.w3.org/2002/03owlt/I5.8/conclusions017.rdf in 1 step (100000 steps/sec) using 1 engine (434 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:49 GMT @prefix log: . (!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction => { @prefix math: . @prefix otest: . @prefix first: . @prefix ns0: . @prefix ns3: . @prefix e: . @prefix q: . @prefix xsd: . @prefix log: . @prefix ns1: . @prefix ns4: . @prefix rtest: . @prefix rdfs: . @prefix : . @prefix rdf: . @prefix dc: . @prefix ns2: . @prefix str: . @prefix owl: . { = } e:evidence . # Proof found for http://www.w3.org/2002/03owlt/InverseFunctionalProperty/conclusions001.rdf in 1 step (100000 steps/sec) using 1 engine (435 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:49 GMT @prefix log: . (!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction => { @prefix math: . @prefix otest: . @prefix first: . @prefix ns0: . @prefix ns3: . @prefix e: . @prefix q: . @prefix xsd: . @prefix log: . @prefix ns1: . @prefix ns4: . @prefix rtest: . @prefix rdfs: . @prefix eg: . @prefix : . @prefix rdf: . @prefix dc: . @prefix ns2: . @prefix str: . @prefix owl: . { eg:prop2 "value"} e:evidence . # Proof found for http://www.w3.org/2002/03owlt/InverseFunctionalProperty/conclusions002.rdf in 1 step (100000 steps/sec) using 1 engine (436 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:49 GMT @prefix log: . (!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction => { @prefix math: . @prefix otest: . @prefix ns0: . @prefix ns3: . @prefix e: . @prefix q: . @prefix xsd: . @prefix log: . @prefix ns1: . @prefix ns4: . @prefix rtest: . @prefix rdfs: . @prefix : . @prefix rdf: . @prefix dc: . @prefix ns2: . @prefix str: . @prefix owl: . {{{owl:inverseOf rdf:type owl:SymmetricProperty} e:evidence . { owl:inverseOf } e:evidence } => { { owl:inverseOf } e:evidence }. { a owl:InverseFunctionalProperty} e:evidence } => { { a owl:FunctionalProperty} e:evidence }. # Proof found for http://www.w3.org/2002/03owlt/InverseFunctionalProperty/conclusions003.rdf in 469 steps (46900000 steps/sec) using 1 engine (434 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:49 GMT @prefix log: . (!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction => { @prefix math: . @prefix otest: . @prefix ns0: . @prefix ns3: . @prefix e: . @prefix q: . @prefix xsd: . @prefix log: . @prefix ns1: . @prefix ns4: . @prefix rtest: . @prefix rdfs: . @prefix : . @prefix rdf: . @prefix dc: . @prefix ns2: . @prefix str: . @prefix owl: . {{ owl:oneOf _:6117987_273_} e:evidence . {_:6117987_273_ rdf:first _:6117988_273_} e:evidence . {_:6117987_273_ rdf:rest rdf:nil} e:evidence . { rdfs:domain } e:evidence } => { { a owl:InverseFunctionalProperty} e:evidence }. # Proof found for http://www.w3.org/2002/03owlt/InverseFunctionalProperty/conclusions004.rdf in 348 steps (34800000 steps/sec) using 1 engine (438 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:49 GMT @prefix log: . (!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction => { @prefix math: . @prefix otest: . @prefix first: . @prefix ns0: . @prefix ns3: . @prefix e: . @prefix q: . @prefix xsd: . @prefix log: . @prefix ns1: . @prefix ns4: . @prefix rtest: . @prefix rdfs: . @prefix : . @prefix rdf: . @prefix dc: . @prefix ns2: . @prefix str: . @prefix owl: . {first:Car a owl:Class} e:evidence . {first:auto a owl:Thing} e:evidence . {{first:Automobile rdfs:subClassOf first:Car} e:evidence . {first:auto a first:Automobile} e:evidence } => { {first:auto a first:Car} e:evidence }. {first:Automobile a owl:Class} e:evidence