java - 使用 OWL API 发出 SWRL 请求

Question

我正在处理使用 Protégé 生成的 OWL 文件。我在 Java 代码中使用 OWL API。我有一组定义的类，例如:

SpeciesA ⊑ Species ⊓ ∃hasPart.Fruit ⊓ =hasShape.round
SpeciesA is of subClass Species, hasPart some Fruit and hasShape value Round.

这一切都是在 Protégé 中定义的，然后导出到 OWL，然后用 Java 加载到我的本体中。如果我创建一个物种 x 个体并且我拥有以下属性

• hasPart(x,FruitA)
• hasShape(x,Round)

我检索我的个人所属的每个类别(在本例中，这应包括 SpeciesA)。

我完全不确定我应该使用什么:我可以使用 SWRL Species(?x)^hasPart(?x,Fruit)^hasShape(?x,"$Round$") 还是应该使用 Reasoner ？

我真的对Protégé“相当于”和个人属性(property)感到困惑。

Answer 1

一般来说，如果您没有断言某个个体 x 属于某个类别，那么您将需要一个推理机来为您推断这一点(前提是它是根据您拥有的其他一些数据得出的) 。无论推理是基于 OWL 公理还是基于 SWRL 规则，这都适用。 (当然，对于 SWRL 规则，您需要一个支持 SWRL 规则的推理器，例如 Pellet 或 HermiT。)在您描述的情况下，您已经说过

SpeciesA ⊑ Species ⊓ ∃hasPart.Fruit ⊓ =hasShape.round

这意味着每个 SpeciesA 都是一个物种，有一些水果作为一部分，并且形状是圆形的。然而，它并没有说，所有属于物种、有一些水果作为一部分、并且具有圆形形状的东西都是物种A。看看一阶逻辑中的情况可能会有所帮助:

∀x[ SpeciesA(x) → ( Species(x) ∧ ∃y[ hasPart(x,y) ] ∧ hasShape(x,round) ) ]

请注意，条件仅从左到右。如果您还想说满足右侧条件的所有内容都是左侧概念的实例，那么您可能需要一个等价物:

∀x[ SpeciesA(x) ↔ ( Species(x) ∧ ∃y[ hasPart(x,y) ] ∧ hasShape(x,round) ) ]

在 OWL 中，这就是

SpeciesA ≡ Species ⊓ ∃hasPart.Fruit ⊓ =hasShape.round

也就是说，SpeciesA 是另一个类的等价类。不过，您仍然需要一个推理机来推断具有这些条件的东西是 SpeciesA。