testSingleMinConstraintWithCardZero cz.cvut.kbss.jopa.owl2java.ClassObjectPropertyComputerTest