如何将数据 属性 限制为 Protege OWL 2 中的精确值？
How can I restrict a data property to an exact value in Protege OWL 2?
我正在学习语义网课程，但发现自己有点困惑。
我定义了一个名为 A 的基 class 并指定了它（hasType 恰好是 1 个整数）。我想声明不同的 subclasses，每个 subclasses 都有不同的类型。例如B是A的子class并且hasType等于1，C的hasType等于2。目的是能够select所有B个体，因为他们都有Type 1，所以类型关系总是推断。
根据我在阅读的教程中看到的内容，它只指定了如何使数据 属性 >= 或 <，永远不会等于某个值。
我已经尝试过尝试确定如何去做，例如class B 指定 subclass 的 hasType 某个整数 [=1]。但是编辑器总是显示一条红线和错误信息（见截图）。我究竟做错了什么？我似乎无法在网上找到很多关于 Protege 的信息。我使用的是版本 5。
要将 属性 限制为一个（或几个）值，您需要 HasValue 限制。在曼彻斯特语法中，这是 property value "1"^^xsd:int（或语法上类似的东西）
我正在学习语义网课程，但发现自己有点困惑。
我定义了一个名为 A 的基 class 并指定了它（hasType 恰好是 1 个整数）。我想声明不同的 subclasses，每个 subclasses 都有不同的类型。例如B是A的子class并且hasType等于1，C的hasType等于2。目的是能够select所有B个体，因为他们都有Type 1，所以类型关系总是推断。
根据我在阅读的教程中看到的内容，它只指定了如何使数据 属性 >= 或 <，永远不会等于某个值。
我已经尝试过尝试确定如何去做，例如class B 指定 subclass 的 hasType 某个整数 [=1]。但是编辑器总是显示一条红线和错误信息（见截图）。我究竟做错了什么？我似乎无法在网上找到很多关于 Protege 的信息。我使用的是版本 5。
要将 属性 限制为一个（或几个）值，您需要 HasValue 限制。在曼彻斯特语法中，这是 property value "1"^^xsd:int（或语法上类似的东西）