中文XML论坛--OWL Overview 翻译版公布：征求意见稿（Call For Comments, first public release）

贴子主题： OWL Overview 翻译版公布：征求意见稿（Call For Comments, first public release）

本主题类别:

这段翻译的很拗口，因为大家能提出改善意见。另外，英文中黑体的一句话感觉有问题，
应该是：
Thus any one person's social security number is the only value for their hasUSSocialSecurityNumber property.

不知道我理解对不对。

InverseFunctionalProperty (http://www.w3.org/TR/owl-
guide/#owl_InverseFunctionalProperty): Properties may be stated to be inverse functional. If a property is inverse functional then the inverse of the property is functional. Thus the inverse of the property has at most one value for each individual. This characteristic has also been referred to as an unambiguous property. For example, hasUSSocialSecurityNumber (a unique identifier for United States residents) may be stated to be inverse functional (or unambiguous). The inverse of this property (which may be referred to as isTheSocialSecurityNumberFor) has at most one value for any individual in the class of social security numbers. Thus any one person's social security number is the only value for their isTheSocialSecurityNumberFor property. From this a reasoner can deduce that no two different individual instances of Person have the identical US Social Security Number. Also, a reasoner can deduce that if two instances of Person have the same social security number, then those two instances refer to the same individual.

如果一个属性被声明为反函数型的（inverse functional），则意味着它的逆属性是函数型的，也就是说该属性的逆属性的最多只有一个值。这个特征也被称为单值(unambiguous)属性。例如，HasUSSocialSecurityNumber（社会安全号(Social Security Number,SSN)是美国居民的唯一标识符）可以被声明为反函数型。对任意个体(其类型是社会安全号)，该属性的逆属性（isTheSocialSecurityNumberFor）的值最多一个。由此任何人的社会安全号是属性isTheSocialSecurityNumberFor的唯一值。据此，推理机可推出：没有两个不同的人（类Person的实例）能有相同的美国社会安全号。另外，还可以推断出：如果两个Person的实例有相同的社会安全号，那么这两个实例表示同一个个体。


	W 3 C h i n a ( since 2003 ) 旗下站点苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》	62.012ms