使用Protege和Fact++比较数据属性值

Question

使用protege，我试图将字符串值与数据属性进行比较。例如：

我有一个乡村类，在这个类中，我有一个个人，其hasCountryName数据属性设置为"England“。我使用的是一个定义的类，我想要做的是说这样的话：

国家和(hasCountryName值“英格兰”)

使用隐士推理器，它可以正确地推断出我的个人是该类的成员，但使用Fact++则不是。我想使用Fact++推理器，我有什么方法可以修改它使Fact++识别它吗？

Answer 1

FaCT++和HermiT应该支持相同的推论，所以如果这适用于其中一个，而不是另一个，我怀疑这是一个bug。要确认这一点，您可以尝试使用相同的示例，但可以使用以下内容

Country and (hasCountry value England)

其中hasCountry是一个对象属性。就原始本体而言，这是没有意义的，但同样的推断应该在不使用数据属性和文字的情况下开始。如果FaCT++认识到了这一点，那么它与文字和数据类型属性的工作方式就会有一个缺陷。