SWRL基数验证：检查实例是否缺失对象属性关联公理

问题分析 #

你尝试的(isBaseFor= 0)(?p)仅检查实例作为主语时没有isBaseFor关联断言，但未覆盖实例作为宾语被关联的场景，因此无法满足“域或范围中均无关联”的检查需求。

正确SWRL规则实现 #

合并检查（实例既无主语关联也无宾语关联时报错） #

直接用逻辑与合并两种检查条件，触发Error标记：

NOT EXISTS(isBaseFor(?p, ?x)) AND NOT EXISTS(isBaseFor(?x, ?p)) -> Error(?p)

• NOT EXISTS(isBaseFor(?p, ?x))：确保实例?p没有作为主语发起任何isBaseFor关联
• NOT EXISTS(isBaseFor(?x, ?p))：确保实例?p没有作为宾语接收任何isBaseFor关联
• 两个条件同时满足时，将?p标记为Error类的个体

拆分检查（两种场景分别报错） #

如果需要单独对“无主语关联”或“无宾语关联”触发错误，可拆为两条规则：

1. 检查实例无主语关联：

NOT EXISTS(isBaseFor(?p1, ?p2)) -> Error(?p1)

2. 检查实例无宾语关联：

NOT EXISTS(isBaseFor(?p2, ?p1)) -> Error(?p1)

注意事项 #

• 确保本体中已定义Error类，用于标记不符合要求的实例
• 在Protégé的SWRL标签中输入规则时，注意变量名、逻辑运算符的语法正确性，避免拼写错误

内容的提问来源于stack exchange，提问作者António Antunes