A Multi-Objective Evolutionary Approach to Class Disjointness Axiom Discovery | IEEE Conference Publication | IEEE Xplore