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

Question

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

我有一个国家类，在那个类中，我有一个将 hasCountryName 数据属性设置为“英格兰”的个人。我正在使用一个已定义的类，我想做的是这样说：

国家和（hasCountryName 值“英格兰”）

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

Answer 1

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

Country and (hasCountry value England)

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