protege - 使用 SWRL 规则推断 subClassOf

Question

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

A 的每个实例都是 B 的子类

这是我在 Protege 中作为 SWRL 规则输入的内容：

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

错误：

无效的 OWL 个人名称“B”