prefix : prefix rdfs: select ?X ?Y ?Z ?C from where {{?X a :HasTwoCats} UNION {?Y a :HasTwoDogs} UNION {?C rdfs:subClassOf :HasTwoAnimals} UNION {?Z a :Cat}}