This brings up an important point. OWL does not have a unique name assumption. Just because two names are different does not mean they refer to different individuals.

• 但这样做带来了一个问题。owl中并没有名称唯一这一假定。仅仅名称不同并不意味着这两个名称引用的是不同的个体。