使用OWL API发出SWRL请求

Question

• haspart(x，FruitA)
• HasShape（x,Round）

我检索我的个人所属的每个类（在本例中，这应该包括SpeciesA）。

我根本不确定应该使用什么：我可以使用SWRL Species（？x)^HasPart（？x,Fruit)^HasShape（？x,“$round$”）还是应该使用Reasoner？

Answer 1

通常，如果您没有断言某个x属于某个类，那么您将需要一个推理器来为您推断（前提是它是根据您确实拥有的一些其他数据得出的）。无论推理是基于OWL公理还是基于SWRL规则，这都适用。（当然，在SWRL规则的情况下，您需要一个支持SWRL规则的推理器，例如Pellet或HermiT。）在你描述的例子中，你说过

种有部分。果=有形状。圆形

这意味着，每一个物种都是一个物种，有一些果实作为一部分，形状是圆形的。但是，它并没有说，任何一个物种，有一些果实作为一部分，并且有圆形形状的东西都是一个物种。在一阶逻辑中看一下这将是什么也许会有帮助：

*******************************************************************

注意，条件只从左到右。如果您还想说，满足右边条件的一切都是左边概念的实例，那么您可能需要一个等价：

*********************************************************************

在猫头鹰，那将是

SpeciesA≡Species haspart.fruit=hasshape

也就是说，SpeciesA是与另一个类等价的类。但是，你仍然需要一个推理器来推断具有这些条件的东西是一个物种。