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