我正在学习语义网的课程，我发现自己有点困惑。
我已经定义了一个名为 A 的基类并指定了它（hasType 正好是 1 个整数）。我想声明不同的子类，每个子类都有不同的类型。例如 B 是 A 的子类并且 hasType 等于 1，C hasType 等于 2。目的是能够选择所有 B 个体，因为它们都具有类型 1，以便始终推断类型关系。
从我正在阅读的教程中看到的，它只指定了如何使数据属性> = 或<，而不仅仅是等于某个值。
我已经尝试过确定如何做，例如B类指定hasType的子类一些整数[=1]。但编辑器总是显示一条红线和错误消息（见截图）。我究竟做错了什么？我似乎在网上找不到太多关于 Protege 的信息。我正在使用版本 5。
