(and similar statements to build various products)
Can this be fixed? For now, we are turning off the asserted-only tests in our build scripts that import UO so we can get through the build..but a long-term fix in the UO would be better...
If you need the specific statements in UO causing the errors, let me know...
We have found that the UO contains equivalence statements that cause it to fail the reasoner tests in the current ODK:
reason_test: $(EDIT_PREPROCESSED) $(ROBOT) reason --input $< --reasoner elk --equivalent-classes-allowed asserted-only \ --exclude-tautologies structural --output test.owl && rm test.owl
(and similar statements to build various products)
Can this be fixed? For now, we are turning off the asserted-only tests in our build scripts that import UO so we can get through the build..but a long-term fix in the UO would be better...
If you need the specific statements in UO causing the errors, let me know...