如何编写SWRL规则：Alice无父节点时自动关联Bob为其父节点

SWRL里并没有notExist这种内置谓词，你的写法不符合语法规范。要实现“若Alice不存在任何HasParent关系的关联个体，则推断Alice与Bob存在HasParent关系”的逻辑，正确规则如下：

not HasParent(Alice, ?p) -> HasParent(Alice, Bob)

• ?p是代表任意个体的变量；
• not HasParent(Alice, ?p)的含义是“不存在任何个体?p，使得Alice和?p之间存在HasParent关系”；
• 当上述前提成立时，规则会自动推导出HasParent(Alice, Bob)的结论。

内容的提问来源于stack exchange，提问作者saha