Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

reacto unsatisfiable when all imports loaded #88

Closed
goodb opened this issue Apr 4, 2020 · 8 comments
Closed

reacto unsatisfiable when all imports loaded #88

goodb opened this issue Apr 4, 2020 · 8 comments
Assignees
@goodb

Comments

@goodb
Copy link
Contributor

goodb commented Apr 4, 2020

trace from running go-ontology makefile to build a go-lego.owl that includes reacto:

2020-04-03 22:56:12,194 ERROR org.obolibrary.robot.ReasonerHelper - There are 534 unsatisfiable classes in the ontology.
2020-04-03 22:56:12,194 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_136972
2020-04-03 22:56:12,194 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_136975
2020-04-03 22:56:12,194 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GOCHE_35703
2020-04-03 22:56:12,194 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_28088
2020-04-03 22:56:12,194 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/go/extensions/reacto.owl#REACTO_R-ALL-9008262
2020-04-03 22:56:12,194 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_23872
2020-04-03 22:56:12,194 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_9337
2020-04-03 22:56:12,194 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0046239
2020-04-03 22:56:12,194 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0071316
2020-04-03 22:56:12,194 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0071314
2020-04-03 22:56:12,194 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0071315
2020-04-03 22:56:12,194 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0018901
2020-04-03 22:56:12,194 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0018903
2020-04-03 22:56:12,194 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0018902
2020-04-03 22:56:12,194 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0046232
2020-04-03 22:56:12,194 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_42156
2020-04-03 22:56:12,194 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0018905
2020-04-03 22:56:12,194 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0046230
2020-04-03 22:56:12,194 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0018906
2020-04-03 22:56:12,194 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0018909
2020-04-03 22:56:12,195 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_1901785
2020-04-03 22:56:12,195 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0061772
2020-04-03 22:56:12,195 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/go/extensions/reacto.owl#REACTO_R-ALL-427523
2020-04-03 22:56:12,195 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_77149
2020-04-03 22:56:12,195 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/go/extensions/reacto.owl#REACTO_R-ALL-29360
2020-04-03 22:56:12,195 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0015638
2020-04-03 22:56:12,195 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_1902518
2020-04-03 22:56:12,195 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_48923
2020-04-03 22:56:12,195 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0006805
2020-04-03 22:56:12,195 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_22319
2020-04-03 22:56:12,195 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0071548
2020-04-03 22:56:12,195 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_65004
2020-04-03 22:56:12,195 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/go/extensions/reacto.owl#REACTO_R-ALL-176619
2020-04-03 22:56:12,195 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0018912
2020-04-03 22:56:12,195 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0071549
2020-04-03 22:56:12,196 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_64273
2020-04-03 22:56:12,196 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0046265
2020-04-03 22:56:12,196 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/go/extensions/reacto.owl#REACTO_R-ALL-9008239
2020-04-03 22:56:12,196 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0061621
2020-04-03 22:56:12,196 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0018919
2020-04-03 22:56:12,196 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0046267
2020-04-03 22:56:12,196 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_4903
2020-04-03 22:56:12,196 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0005967
2020-04-03 22:56:12,196 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_23738
2020-04-03 22:56:12,196 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0071313
2020-04-03 22:56:12,196 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0071419
2020-04-03 22:56:12,196 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_28197
2020-04-03 22:56:12,196 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0046254
2020-04-03 22:56:12,197 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_62081
2020-04-03 22:56:12,197 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0018926
2020-04-03 22:56:12,197 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0018929
2020-04-03 22:56:12,197 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0018928
2020-04-03 22:56:12,197 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_17192
2020-04-03 22:56:12,197 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0006703
2020-04-03 22:56:12,197 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0015896
2020-04-03 22:56:12,197 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0015411
2020-04-03 22:56:12,197 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0015894
2020-04-03 22:56:12,197 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0018930
2020-04-03 22:56:12,197 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_224037
2020-04-03 22:56:12,197 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0042920
2020-04-03 22:56:12,197 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0018934
2020-04-03 22:56:12,197 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0018933
2020-04-03 22:56:12,197 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0018936
2020-04-03 22:56:12,197 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0018935
2020-04-03 22:56:12,197 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0018938
2020-04-03 22:56:12,198 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_2000869
2020-04-03 22:56:12,198 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0018937
2020-04-03 22:56:12,198 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_2000868
2020-04-03 22:56:12,198 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_1904843
2020-04-03 22:56:12,198 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0018939
2020-04-03 22:56:12,198 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_1904842
2020-04-03 22:56:12,199 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0015308
2020-04-03 22:56:12,199 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0015549
2020-04-03 22:56:12,199 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0006711
2020-04-03 22:56:12,199 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0015547
2020-04-03 22:56:12,199 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/go/extensions/reacto.owl#REACTO_R-ALL-193066
2020-04-03 22:56:12,199 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0015546
2020-04-03 22:56:12,199 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0042912
2020-04-03 22:56:12,199 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_17263
2020-04-03 22:56:12,199 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0042913
2020-04-03 22:56:12,199 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0036127
2020-04-03 22:56:12,199 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_16052
2020-04-03 22:56:12,199 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_16294
2020-04-03 22:56:12,199 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0042918
2020-04-03 22:56:12,200 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0042919
2020-04-03 22:56:12,200 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_45869
2020-04-03 22:56:12,200 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_42355
2020-04-03 22:56:12,200 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0050799
2020-04-03 22:56:12,200 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0018945
2020-04-03 22:56:12,200 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0042910
2020-04-03 22:56:12,201 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0042911
2020-04-03 22:56:12,201 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0018947
2020-04-03 22:56:12,201 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0018946
2020-04-03 22:56:12,201 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_35703
2020-04-03 22:56:12,201 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_1904612
2020-04-03 22:56:12,201 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_1905701
2020-04-03 22:56:12,201 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_1905700
2020-04-03 22:56:12,201 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0042909
2020-04-03 22:56:12,201 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_1904613
2020-04-03 22:56:12,201 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/go/extensions/reacto.owl#REACTO_R-ALL-30661
2020-04-03 22:56:12,201 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_19432
2020-04-03 22:56:12,201 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_23965
2020-04-03 22:56:12,201 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0015313
2020-04-03 22:56:12,201 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0015310
2020-04-03 22:56:12,201 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0042908
2020-04-03 22:56:12,201 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0018952
2020-04-03 22:56:12,202 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0018954
2020-04-03 22:56:12,202 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0018956
2020-04-03 22:56:12,202 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0018955
2020-04-03 22:56:12,202 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0046187
2020-04-03 22:56:12,202 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0018957
2020-04-03 22:56:12,202 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_28145
2020-04-03 22:56:12,202 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0046186
2020-04-03 22:56:12,202 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_1901554
2020-04-03 22:56:12,202 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_1901435
2020-04-03 22:56:12,202 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_1901556
2020-04-03 22:56:12,202 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_1901434
2020-04-03 22:56:12,202 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_1901558
2020-04-03 22:56:12,202 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_1901436
2020-04-03 22:56:12,202 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_1901557
2020-04-03 22:56:12,202 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0006735
2020-04-03 22:56:12,202 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0015566
2020-04-03 22:56:12,202 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_17160
2020-04-03 22:56:12,202 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0018965
2020-04-03 22:56:12,202 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_17036
2020-04-03 22:56:12,202 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0018964
2020-04-03 22:56:12,202 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0019811
2020-04-03 22:56:12,202 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0018967
2020-04-03 22:56:12,202 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0018969
2020-04-03 22:56:12,202 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0018968
2020-04-03 22:56:12,202 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_27066
2020-04-03 22:56:12,202 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/WBPhenotype_0002584
2020-04-03 22:56:12,202 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_1901323
2020-04-03 22:56:12,202 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_2000863
2020-04-03 22:56:12,202 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/go/extensions/reacto.owl#REACTO_R-ALL-9661699
2020-04-03 22:56:12,202 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_2000862
2020-04-03 22:56:12,202 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/go/extensions/reacto.owl#REACTO_R-ALL-9008275
2020-04-03 22:56:12,202 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_2000861
2020-04-03 22:56:12,202 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0006740
2020-04-03 22:56:12,202 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_2000867
2020-04-03 22:56:12,202 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_2000866
2020-04-03 22:56:12,202 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_2000865
2020-04-03 22:56:12,202 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_2000864
2020-04-03 22:56:12,202 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0050784
2020-04-03 22:56:12,202 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0042925
2020-04-03 22:56:12,202 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0042926
2020-04-03 22:56:12,202 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/go/extensions/reacto.owl#REACTO_R-ALL-5688282
2020-04-03 22:56:12,202 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0071466
2020-04-03 22:56:12,202 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0050783
2020-04-03 22:56:12,203 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_23825
2020-04-03 22:56:12,203 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_5130
2020-04-03 22:56:12,203 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0018976
2020-04-03 22:56:12,203 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0001975
2020-04-03 22:56:12,203 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_17226
2020-04-03 22:56:12,203 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0018978
2020-04-03 22:56:12,203 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0018977
2020-04-03 22:56:12,203 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0018979
2020-04-03 22:56:12,203 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0030977
2020-04-03 22:56:12,203 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_81471
2020-04-03 22:56:12,203 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0048148
2020-04-03 22:56:12,203 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_1905857
2020-04-03 22:56:12,203 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/WBPhenotype_0000932
2020-04-03 22:56:12,203 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_1905856
2020-04-03 22:56:12,203 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/WBPhenotype_0000931
2020-04-03 22:56:12,203 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0042959
2020-04-03 22:56:12,203 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0015350
2020-04-03 22:56:12,203 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0018864
2020-04-03 22:56:12,203 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0036272
2020-04-03 22:56:12,203 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0036393
2020-04-03 22:56:12,203 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0042950
2020-04-03 22:56:12,203 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0018866
2020-04-03 22:56:12,203 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0018865
2020-04-03 22:56:12,203 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_17696
2020-04-03 22:56:12,203 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0046199
2020-04-03 22:56:12,203 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0046196
2020-04-03 22:56:12,203 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_168396
2020-04-03 22:56:12,203 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_1902351
2020-04-03 22:56:12,203 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_1902599
2020-04-03 22:56:12,203 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/go/extensions/reacto.owl#REACTO_R-ALL-193132
2020-04-03 22:56:12,203 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_16243
2020-04-03 22:56:12,203 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_17574
2020-04-03 22:56:12,203 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0042948
2020-04-03 22:56:12,203 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0036275
2020-04-03 22:56:12,203 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0018981
2020-04-03 22:56:12,203 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0018980
2020-04-03 22:56:12,203 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0050243
2020-04-03 22:56:12,203 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0097338
2020-04-03 22:56:12,203 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0018873
2020-04-03 22:56:12,203 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0015240
2020-04-03 22:56:12,203 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0018872
2020-04-03 22:56:12,203 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/go/extensions/reacto.owl#REACTO_R-ALL-113681
2020-04-03 22:56:12,203 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_6121
2020-04-03 22:56:12,203 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0018877
2020-04-03 22:56:12,203 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0035095
2020-04-03 22:56:12,203 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_38028
2020-04-03 22:56:12,203 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0035094
2020-04-03 22:56:12,203 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_16037
2020-04-03 22:56:12,203 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0018878
2020-04-03 22:56:12,203 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0019608
2020-04-03 22:56:12,203 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_1901114
2020-04-03 22:56:12,203 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_1901477
2020-04-03 22:56:12,203 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_1901113
2020-04-03 22:56:12,203 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_1901479
2020-04-03 22:56:12,203 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_1901115
2020-04-03 22:56:12,203 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_1902688
2020-04-03 22:56:12,203 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_1902689
2020-04-03 22:56:12,203 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0071392
2020-04-03 22:56:12,204 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0071272
2020-04-03 22:56:12,204 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0071391
2020-04-03 22:56:12,204 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0050696
2020-04-03 22:56:12,204 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0071273
2020-04-03 22:56:12,204 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0015244
2020-04-03 22:56:12,204 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0019610
2020-04-03 22:56:12,204 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0018883
2020-04-03 22:56:12,204 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/go/extensions/reacto.owl#REACTO_R-ALL-1467459
2020-04-03 22:56:12,204 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/go/extensions/reacto.owl#REACTO_R-ALL-5693702
2020-04-03 22:56:12,204 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_17356
2020-04-03 22:56:12,204 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/go/extensions/reacto.owl#REACTO_R-ALL-9027649
2020-04-03 22:56:12,204 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_1902690
2020-04-03 22:56:12,204 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0018889
2020-04-03 22:56:12,204 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_28119
2020-04-03 22:56:12,204 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_32970
2020-04-03 22:56:12,204 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_17590
2020-04-03 22:56:12,204 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0018880
2020-04-03 22:56:12,204 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0018881
2020-04-03 22:56:12,204 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0018894
2020-04-03 22:56:12,204 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0019623
2020-04-03 22:56:12,204 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0018896
2020-04-03 22:56:12,204 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0019501
2020-04-03 22:56:12,204 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_15365
2020-04-03 22:56:12,204 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0019625
2020-04-03 22:56:12,204 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0019624
2020-04-03 22:56:12,204 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_17303
2020-04-03 22:56:12,204 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0019506
2020-04-03 22:56:12,204 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_16697
2020-04-03 22:56:12,204 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/go/extensions/reacto.owl#REACTO_R-ALL-8953397
2020-04-03 22:56:12,204 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_175901
2020-04-03 22:56:12,204 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0018891
2020-04-03 22:56:12,204 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_50372
2020-04-03 22:56:12,205 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0018890
2020-04-03 22:56:12,205 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0052697
2020-04-03 22:56:12,205 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_50371
2020-04-03 22:56:12,205 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0018893
2020-04-03 22:56:12,205 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0018892
2020-04-03 22:56:12,205 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_17658
2020-04-03 22:56:12,205 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0019876
2020-04-03 22:56:12,205 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_17654
2020-04-03 22:56:12,205 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_1901181
2020-04-03 22:56:12,205 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0019639
2020-04-03 22:56:12,205 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_28331
2020-04-03 22:56:12,205 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/go/extensions/reacto.owl#REACTO_R-ALL-194653
2020-04-03 22:56:12,205 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_20814
2020-04-03 22:56:12,205 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0043635
2020-04-03 22:56:12,205 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_15386
2020-04-03 22:56:12,205 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_17688
2020-04-03 22:56:12,205 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_19503
2020-04-03 22:56:12,205 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0043636
2020-04-03 22:56:12,205 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0019529
2020-04-03 22:56:12,205 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_1902125
2020-04-03 22:56:12,205 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_1902126
2020-04-03 22:56:12,205 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_1902124
2020-04-03 22:56:12,205 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0005369
2020-04-03 22:56:12,205 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_46081
2020-04-03 22:56:12,205 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0005368
2020-04-03 22:56:12,205 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_28787
2020-04-03 22:56:12,205 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_50114
2020-04-03 22:56:12,205 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GOCHE_26841
2020-04-03 22:56:12,206 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_4027
2020-04-03 22:56:12,206 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0043627
2020-04-03 22:56:12,206 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_5118
2020-04-03 22:56:12,206 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_8984
2020-04-03 22:56:12,206 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0014076
2020-04-03 22:56:12,206 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0038047
2020-04-03 22:56:12,206 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_16469
2020-04-03 22:56:12,206 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_5001
2020-04-03 22:56:12,206 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0042412
2020-04-03 22:56:12,206 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_87602
2020-04-03 22:56:12,206 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_1905641
2020-04-03 22:56:12,206 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_1905640
2020-04-03 22:56:12,206 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_1902136
2020-04-03 22:56:12,206 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_1902137
2020-04-03 22:56:12,206 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/go/extensions/reacto.owl#REACTO_R-ALL-158469
2020-04-03 22:56:12,206 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_1902138
2020-04-03 22:56:12,206 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_1904559
2020-04-03 22:56:12,206 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_1904558
2020-04-03 22:56:12,206 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/go/extensions/reacto.owl#REACTO_R-ALL-8936852
2020-04-03 22:56:12,206 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_13193
2020-04-03 22:56:12,206 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_6698
2020-04-03 22:56:12,206 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_41879
2020-04-03 22:56:12,206 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0019530
2020-04-03 22:56:12,206 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0042200
2020-04-03 22:56:12,206 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0042201
2020-04-03 22:56:12,206 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/go/extensions/reacto.owl#REACTO_R-ALL-446606
2020-04-03 22:56:12,206 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0042202
2020-04-03 22:56:12,206 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_16778
2020-04-03 22:56:12,206 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_3230
2020-04-03 22:56:12,206 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0042203
2020-04-03 22:56:12,206 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0042204
2020-04-03 22:56:12,206 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0042205
2020-04-03 22:56:12,206 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0019429
2020-04-03 22:56:12,206 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0042206
2020-04-03 22:56:12,206 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0042207
2020-04-03 22:56:12,206 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_1904487
2020-04-03 22:56:12,206 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/go/extensions/reacto.owl#REACTO_R-ALL-113745
2020-04-03 22:56:12,206 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/go/extensions/reacto.owl#REACTO_R-ALL-9661729
2020-04-03 22:56:12,206 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_1904486
2020-04-03 22:56:12,206 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_1905699
2020-04-03 22:56:12,206 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0006116
2020-04-03 22:56:12,207 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0006117
2020-04-03 22:56:12,207 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_1990961
2020-04-03 22:56:12,207 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_1990962
2020-04-03 22:56:12,207 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0019661
2020-04-03 22:56:12,207 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_37470
2020-04-03 22:56:12,207 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_16767
2020-04-03 22:56:12,207 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_2394
2020-04-03 22:56:12,207 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0038054
2020-04-03 22:56:12,207 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/go/extensions/reacto.owl#REACTO_R-ALL-352330
2020-04-03 22:56:12,207 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_28891
2020-04-03 22:56:12,207 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_49575
2020-04-03 22:56:12,207 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_24057
2020-04-03 22:56:12,207 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_46195
2020-04-03 22:56:12,207 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/WBPhenotype_0000789
2020-04-03 22:56:12,207 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0097295
2020-04-03 22:56:12,207 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0006127
2020-04-03 22:56:12,207 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_24059
2020-04-03 22:56:12,207 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_16760
2020-04-03 22:56:12,207 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0019674
2020-04-03 22:56:12,207 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0046701
2020-04-03 22:56:12,207 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_37453
2020-04-03 22:56:12,207 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_15343
2020-04-03 22:56:12,207 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_1903492
2020-04-03 22:56:12,207 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/go/extensions/reacto.owl#REACTO_R-ALL-192307
2020-04-03 22:56:12,207 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0042220
2020-04-03 22:56:12,207 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_76989
2020-04-03 22:56:12,207 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0035937
2020-04-03 22:56:12,207 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0034604
2020-04-03 22:56:12,207 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_76988
2020-04-03 22:56:12,207 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0008559
2020-04-03 22:56:12,207 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/go/extensions/reacto.owl#REACTO_R-ALL-39703
2020-04-03 22:56:12,207 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_63618
2020-04-03 22:56:12,207 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0017143
2020-04-03 22:56:12,207 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/go/extensions/reacto.owl#REACTO_R-ALL-8937170
2020-04-03 22:56:12,207 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_37465
2020-04-03 22:56:12,207 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0019335
2020-04-03 22:56:12,207 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0042211
2020-04-03 22:56:12,207 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_4470
2020-04-03 22:56:12,207 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0043421
2020-04-03 22:56:12,207 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_18723
2020-04-03 22:56:12,207 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0019337
2020-04-03 22:56:12,207 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0042213
2020-04-03 22:56:12,207 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_37464
2020-04-03 22:56:12,207 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_37469
2020-04-03 22:56:12,207 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0019339
2020-04-03 22:56:12,207 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0042216
2020-04-03 22:56:12,207 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/go/extensions/reacto.owl#REACTO_R-ALL-1254400
2020-04-03 22:56:12,207 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0009410
2020-04-03 22:56:12,207 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0042210
2020-04-03 22:56:12,207 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0043540
2020-04-03 22:56:12,207 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_77722
2020-04-03 22:56:12,207 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0099130
2020-04-03 22:56:12,207 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_28751
2020-04-03 22:56:12,207 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0035923
2020-04-03 22:56:12,207 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0042208
2020-04-03 22:56:12,207 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0019452
2020-04-03 22:56:12,207 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/go/extensions/reacto.owl#REACTO_R-ALL-446603
2020-04-03 22:56:12,207 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0043214
2020-04-03 22:56:12,208 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0043456
2020-04-03 22:56:12,208 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0009780
2020-04-03 22:56:12,208 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_15407
2020-04-03 22:56:12,208 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_15649
2020-04-03 22:56:12,208 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0008210
2020-04-03 22:56:12,208 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/go/extensions/reacto.owl#REACTO_R-ALL-3296454
2020-04-03 22:56:12,208 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_27632
2020-04-03 22:56:12,208 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0019340
2020-04-03 22:56:12,208 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0062090
2020-04-03 22:56:12,208 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0019341
2020-04-03 22:56:12,208 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_17931
2020-04-03 22:56:12,208 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_2001291
2020-04-03 22:56:12,208 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0022885
2020-04-03 22:56:12,208 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0035938
2020-04-03 22:56:12,208 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/go/extensions/reacto.owl#REACTO_R-ALL-374146
2020-04-03 22:56:12,208 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/go/extensions/reacto.owl#REACTO_R-ALL-113532
2020-04-03 22:56:12,208 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_17814
2020-04-03 22:56:12,208 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GOCHE_35475
2020-04-03 22:56:12,208 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_23286
2020-04-03 22:56:12,208 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_28854
2020-04-03 22:56:12,208 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0035943
2020-04-03 22:56:12,208 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_28851
2020-04-03 22:56:12,208 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_25224
2020-04-03 22:56:12,208 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/go/extensions/reacto.owl#REACTO_R-ALL-113526
2020-04-03 22:56:12,208 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_2001292
2020-04-03 22:56:12,208 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_36682
2020-04-03 22:56:12,208 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_35475
2020-04-03 22:56:12,208 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_5870
2020-04-03 22:56:12,208 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_1904024
2020-04-03 22:56:12,208 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_1905235
2020-04-03 22:56:12,209 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_1904025
2020-04-03 22:56:12,209 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_1905234
2020-04-03 22:56:12,209 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_1905233
2020-04-03 22:56:12,209 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_1904023
2020-04-03 22:56:12,209 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0062077
2020-04-03 22:56:12,209 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_1905236
2020-04-03 22:56:12,209 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_27732
2020-04-03 22:56:12,209 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_27974
2020-04-03 22:56:12,209 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0030284
2020-04-03 22:56:12,209 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0019487
2020-04-03 22:56:12,209 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0062089
2020-04-03 22:56:12,209 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_77764
2020-04-03 22:56:12,209 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_28951
2020-04-03 22:56:12,209 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_58349
2020-04-03 22:56:12,209 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_3347
2020-04-03 22:56:12,209 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/go/extensions/reacto.owl#REACTO_R-ALL-1131652
2020-04-03 22:56:12,209 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0031000
2020-04-03 22:56:12,209 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0019256
2020-04-03 22:56:12,209 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0019498
2020-04-03 22:56:12,209 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0019497
2020-04-03 22:56:12,209 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0070995
2020-04-03 22:56:12,209 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/go/extensions/reacto.owl#REACTO_R-ALL-2672383
2020-04-03 22:56:12,209 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/go/extensions/reacto.owl#REACTO_R-ALL-5694565
2020-04-03 22:56:12,209 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_46345
2020-04-03 22:56:12,209 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/WBPhenotype_0000252
2020-04-03 22:56:12,209 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0015903
2020-04-03 22:56:12,209 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0015900
2020-04-03 22:56:12,209 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0019380
2020-04-03 22:56:12,209 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0019261
2020-04-03 22:56:12,209 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0019381
2020-04-03 22:56:12,209 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0019263
2020-04-03 22:56:12,210 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0019384
2020-04-03 22:56:12,210 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_27958
2020-04-03 22:56:12,210 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0046518
2020-04-03 22:56:12,210 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0046517
2020-04-03 22:56:12,210 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0032355
2020-04-03 22:56:12,210 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GOCHE_13193
2020-04-03 22:56:12,210 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_24699
2020-04-03 22:56:12,210 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_2679
2020-04-03 22:56:12,210 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_3766
2020-04-03 22:56:12,210 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0019399
2020-04-03 22:56:12,210 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_17922
2020-04-03 22:56:12,210 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0043278
2020-04-03 22:56:12,210 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0046304
2020-04-03 22:56:12,210 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0046309
2020-04-03 22:56:12,210 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/WBPhenotype_0001202
2020-04-03 22:56:12,210 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/WBPhenotype_0001203
2020-04-03 22:56:12,210 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0042184
2020-04-03 22:56:12,210 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0042185
2020-04-03 22:56:12,210 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_16714
2020-04-03 22:56:12,210 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0042186
2020-04-03 22:56:12,210 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0046302
2020-04-03 22:56:12,210 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0042187
2020-04-03 22:56:12,210 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0006098
2020-04-03 22:56:12,210 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0042188
2020-04-03 22:56:12,210 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0046300
2020-04-03 22:56:12,210 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_6809
2020-04-03 22:56:12,210 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GOCHE_17654
2020-04-03 22:56:12,210 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/go/extensions/reacto.owl#REACTO_R-ALL-39427
2020-04-03 22:56:12,210 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_26841
2020-04-03 22:56:12,210 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_6801
2020-04-03 22:56:12,210 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_40
2020-04-03 22:56:12,210 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/go/extensions/reacto.owl#REACTO_R-ALL-29510
2020-04-03 22:56:12,210 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_75373
2020-04-03 22:56:12,210 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0070980
2020-04-03 22:56:12,210 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0033595
2020-04-03 22:56:12,210 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0042178
2020-04-03 22:56:12,210 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0042179
2020-04-03 22:56:12,210 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_1904076
2020-04-03 22:56:12,211 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_1904077
2020-04-03 22:56:12,211 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_1904078
2020-04-03 22:56:12,211 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0010129
2020-04-03 22:56:12,211 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0010124
2020-04-03 22:56:12,211 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0010240
2020-04-03 22:56:12,211 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_10357
2020-04-03 22:56:12,211 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_1901732
2020-04-03 22:56:12,211 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_1901734
2020-04-03 22:56:12,211 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/go/extensions/reacto.owl#REACTO_R-ALL-176566
2020-04-03 22:56:12,211 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_1901733
2020-04-03 22:56:12,211 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_25614
2020-04-03 22:56:12,211 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0071411
2020-04-03 22:56:12,211 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_58652
2020-04-03 22:56:12,211 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0071412
2020-04-03 22:56:12,211 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0072743
2020-04-03 22:56:12,211 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_2981
2020-04-03 22:56:12,211 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GOCHE_76988
2020-04-03 22:56:12,211 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GOCHE_76989
2020-04-03 22:56:12,211 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0042196
2020-04-03 22:56:12,211 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0042197
2020-04-03 22:56:12,211 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0042198
2020-04-03 22:56:12,211 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0046310
2020-04-03 22:56:12,211 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0042199
2020-04-03 22:56:12,211 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/go/extensions/reacto.owl#REACTO_R-ALL-176575
2020-04-03 22:56:12,211 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_1901986
2020-04-03 22:56:12,211 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0061722
2020-04-03 22:56:12,211 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_1903926
2020-04-03 22:56:12,211 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_1903924
2020-04-03 22:56:12,211 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_1903925
2020-04-03 22:56:12,211 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/go/extensions/reacto.owl#REACTO_R-ALL-5696835
2020-04-03 22:56:12,211 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0046228
2020-04-03 22:56:12,211 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/WBPhenotype_0000790
2020-04-03 22:56:12,212 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0071505
2020-04-03 22:56:12,212 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0071506
2020-04-03 22:56:12,212 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0045250
2020-04-03 22:56:12,212 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_33216
2020-04-03 22:56:12,212 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/WBPhenotype_0000791
2020-04-03 22:56:12,212 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0045254
2020-04-03 22:56:12,212 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0050809
2020-04-03 22:56:12,212 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_20140
2020-04-03 22:56:12,212 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/WBPhenotype_0001649
2020-04-03 22:56:12,212 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_61911
2020-04-03 22:56:12,212 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0140330
2020-04-03 22:56:12,212 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_57540
2020-04-03 22:56:12,212 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/go/extensions/reacto.owl#REACTO_R-ALL-5696848
2020-04-03 22:56:12,212 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_15930
2020-04-03 22:56:12,212 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0070401
2020-04-03 22:56:12,212 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0070403
2020-04-03 22:56:12,212 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0009051
2020-04-03 22:56:12,212 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0072706
2020-04-03 22:56:12,212 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0072707
2020-04-03 22:56:12,212 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GOCHE_50114
2020-04-03 22:56:12,212 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0009052
2020-04-03 22:56:12,212 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0046213
2020-04-03 22:56:12,212 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0046455
2020-04-03 22:56:12,212 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/go/extensions/reacto.owl#REACTO_R-ALL-3296390
2020-04-03 22:56:12,212 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/WBPhenotype_0001650
2020-04-03 22:56:12,212 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_16904
2020-04-03 22:56:12,212 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/WBPhenotype_0001651
2020-04-03 22:56:12,212 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0046454
2020-04-03 22:56:12,212 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/go/extensions/reacto.owl#REACTO_R-ALL-40727
2020-04-03 22:56:12,212 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_61909
2020-04-03 22:56:12,212 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/go/extensions/reacto.owl#REACTO_R-ALL-3296387
2020-04-03 22:56:12,212 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_25961
2020-04-03 22:56:12,212 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/GO_0015734
2020-04-03 22:56:12,212 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_18088
2020-04-03 22:56:12,213 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_2533
2020-04-03 22:56:12,213 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_61904
2020-04-03 22:56:12,213 ERROR org.obolibrary.robot.ReasonerHelper - unsatisfiable: http://purl.obolibrary.org/obo/CHEBI_27903
@goodb goodb self-assigned this Apr 4, 2020
@goodb
Copy link
Contributor Author

goodb commented Apr 4, 2020

@balhoff maybe you can help me here. I can't seem to reproduce the unsatisfiable result locally. It only happens when running the makefile as shown here: geneontology/go-ontology@cbb908e

e.g.
$(ROBOT) merge -i $< --collapse-import-closure true --include-annotations false reason -r ELK --exclude-duplicate-axioms true --remove-redundant-subclass-axioms true --exclude-tautologies structural relax reduce --named-classes-only true annotate -O $(BASE)/$@ -V $(RELEASE_URIBASE)/$@ -o $@

When that runs on a go-lego import file that includes reacto.owl in it, I get the long list of unsatisfiable classes above as output. The build without reacto in it seems fine.

If I run the above to generate the a merged file that includes reacto but do not turn the reasoner on (take out the 'reason' parameter) it succeeds. Then, if I load the resulting merged OWL file into the OWL-API or into Protege and run ELK on it, again, no inconsistencies are detected.

What is different about that robot command line versus loading all the imported ontologies into one and running the reasoner on that merged ontology via OWL-API?

@goodb goodb mentioned this issue Apr 5, 2020
Closed
@balhoff
Copy link
Member

balhoff commented Apr 8, 2020

I will try running it, but my first guess is something different due to the catalog file in use?

@goodb
Copy link
Contributor Author

goodb commented Apr 9, 2020

Not using a catalog for these tests, I am pretty certain that the same ontology files are used.

@balhoff
Copy link
Member

balhoff commented Apr 9, 2020

@goodb I see 535 unsatisfiable classes if I merge the files and then open in Protege.

@balhoff
Copy link
Member

balhoff commented Apr 9, 2020

The problem is that reacto.owl is asserting that various CHEBI roles (e.g. estrogen) are subclasses of CHEBI chemical entity. These are disjoint.

@goodb
Copy link
Contributor Author

goodb commented Apr 9, 2020

Yes, that error makes sense. My confusion here is that when I do the imports outside of robot, e.g. directly in Protege or in code via OWL-API I am having trouble getting the inference error to show up. This is important for writing the unit test for the reacto build.

@balhoff
Copy link
Member

balhoff commented Apr 9, 2020

Not sure how you are checking; what I do is a DL query for equivalent classes to owl:Nothing.

@goodb
Copy link
Contributor Author

goodb commented Apr 11, 2020

I've been working with go-cam instance world for so long I forgot about the difference between satisfiability and consistency.. I was checking for consistency (e.g. reasoner.isConsistent()) when I should have been checking for any unsatisfiable classes (coherency I guess is the word). making sense now.

@goodb goodb closed this as completed in 1a0492d Apr 11, 2020
goodb added a commit that referenced this issue Apr 11, 2020
@goodb
Merge pull request #90 from geneontology/#88-reacto-sataisfiability
6cf0eeb 
#88 reacto sataisfiability
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@goodb goodb

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@balhoff @goodb