PROPOSED Peter F. Patel-Schneider If prop belongs to owl:FunctionalProperty then an OWL object has at most one value for prop. Modified to move comprehension axioms into the premises.