addAxiomAddsObjectPropertyInSignature cz.cvut.kbss.jopa.owl2java.ContextDefinitionTest