@prefix list: . @prefix log: . @prefix owl: . @prefix rdfs: . @prefix rdf: . {?C owl:unionOf ?L. ?D list:in ?L. ?X a ?D} => {?X a ?C}. {?C owl:unionOf ?L. ?D list:in ?L} => {?D rdfs:subClassOf ?C}.