@prefix list: . @prefix log: . @prefix owl: . @prefix rdfs: . @prefix rdf: . @prefix e: . {?C owl:hasKey ?L. ?X a ?C. ?Y a ?C. ?X log:notEqualTo ?Y. ?S e:findall (?P {?P list:in ?L. ?X ?P ?Z. ?Y ?P ?Z} ?L)} => {?X owl:sameAs ?Y}.