使用SWRL规则推断subClassOf

Question

我想在SWRL中写下以下规则：

  

A的每个实例都是B

的子类

这是我在Protege中输入的SWRL规则：

A(?x1) -> subClassOf(?x1, B)

错误：

  

无效的OWL个人姓名“B”