PROPOSED Peter F. Patel-Schneider If prop belongs to owl:FunctionalProperty then an OWL object has at most one value for prop.