ClassAtom

SWRLUtil

cartesianProduct

Explanation