cz.cvut.kbss.jopa.owl2java.ContextDefinitionTest.addAxiomAddsNamedIndividualsInSignature (from ContextDefinitionTest)