cz.cvut.kbss.jopa.test.integration.owlapi.UpdateWithInferenceTest.additiveChangeToAttributeWithInferredValuesWorks