了解颗粒和HermiT蛋白的通用定量

Question

我是新来的，所以我有一个非常基本的问题。我有类孩子和家长。孩子有子类女孩。

child1有类型Girl，child2有类型Child，anna和peter都有类型Parent。此外，还有安娜·伊斯帕伦托夫·柴尔德1和彼得·伊斯帕伦托夫·柴尔德2之间的关系，没有进一步的特征。

现在我想定义类父母女孩，使其等价于父母和is父母只有女孩。我希望推理器推断anna有这种新类型，但它没有。

我将Inverse functional属性添加到isParentOf中，因为父级可以有多个子级。如果我再将Symmetric添加到关系中，我得到anna的类型为ParentOfGirl，但我不希望isParentOf是对称的。

如果我看看上面没有对称的语义学，我看到了这个：

吉尔的父母≡ {安娜，彼得}⋂ {x∊ 猫头鹰：如果∀y（x，y）∊ 我是帕伦托夫∊ 女孩}

孩子1∊ 儿童与儿童1∊ 女孩

伊斯帕伦托夫≡ {（安娜，孩子1），（彼得，孩子2）}

那么child1是与anna相关的Child类型的唯一个体，它也有Girl类型。在我看来，推理者在这种情况下只能从右到左查看关系，因为如果isParentOf是对称的，它会推断出anna。此外，如果与child2没有关系，我希望peter也会是Girl的父母。但这也没有发生。

为什么推理者（佩莱或赫敏）没有看到安娜是一个父母？

Answer 1

@AKSW在评论中是正确的。推理者无法判断父母是否只有女性子女。您需要断言此功能，例如通过向个体添加类型。

在这种情况下，这个断言将等同于您所寻求的推理——因此它不是一个真正好的解决方法。

如果你把forall改成some，你至少可以找到一个女孩的父母。这是目标类的超类，可能有助于应用程序的运行。