In OWL, a range may be used to infer a type.

• 而在OWL中，一个值域可被用来推断一个类型。