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