Implement owl:oneOf inference

owl:oneOf defines an enumeration by associating a class with a list of resources which belong to that class.

If the ontology states that :PrimaryColor is the class representing the enumeration (:Red, :Green, :Blue) , then a query of the form ?x rdf:type :PrimaryColor should be rewritten to find bindings :Red , :Green , and :Blue for ?x.