使用Protege和Fact ++比较Data Property值

Question

使用protege我试图将字符串值与数据属性进行比较。 E.g：

我有一个国家/地区类，在该类中，我有一个将hasCountryName数据属性设置为＆＃34; England＆＃34;的个人。我使用的是已定义的类，我想要做的是说：

国家/和（hasCountryName值＆＃34;英格兰＆＃34;）

使用Hermit推理器，它正确地推断出我的个体是该类的成员，但使用Fact ++却没有。我想使用Fact ++推理器，有什么方法可以修改它，所以Fact ++能够识别它吗？

Answer 1

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

的内容

Country and (hasCountry value England)

其中hasCountry是对象属性。 就原始本体而言，这没有意义，但应该在不使用数据属性和文字的情况下启动相同的推理。如果FaCT ++认识到这一点，那么它在文字和数据类型属性的工作方式上存在一个错误。