RDF图Datalog规则修改布尔事实仅保留更新值方案咨询

问题原因 #

标准Datalog为单调推理逻辑，仅支持新增事实，无法自动删除已存在的显式断言或历史推导结果。你初始在知识库中显式声明了:basicInformationCheck的rdf:type为xsd:False，规则触发后又新增了xsd:True的事实，因此查询时会返回两个结果。

可行调整方案 #

方案1：使用Delete-Insert更新规则（推荐） #

直接用RDFox支持的更新规则，触发条件满足时先删除旧值再插入新值，替换你原来的Datalog规则即可：

DELETE [:basicInformationCheck, rdf:type, xsd:False]
INSERT [:basicInformationCheck, rdf:type, xsd:True]
:- [:citizenVaccinated, :isCitizenOf, :UK].

习惯用SPARQL语法的话也可以写成：

DELETE { :basicInformationCheck rdf:type xsd:False }
INSERT { :basicInformationCheck rdf:type xsd:True }
WHERE { :citizenVaccinated :isCitizenOf :UK }

方案2：用默认否定实现二值互斥 #

删除你初始显式声明的[:basicInformationCheck, rdf:type, xsd:False]断言，改用两条带*失败否定（NAF）*的规则推导结果，保证同一时间仅存在一个有效值：

# 满足公民身份条件时推导为True
[:basicInformationCheck, rdf:type, xsd:True] :- [:citizenVaccinated, :isCitizenOf, :UK].
# 不满足条件时默认推导为False
[:basicInformationCheck, rdf:type, xsd:False] :- NOT [:citizenVaccinated, :isCitizenOf, :UK].

注意事项 #

• RDF中URI大小写敏感，你本体中:isCitizenOf的宾语写的是小写:uk，规则里用了大写:UK，注意统一取值避免规则触发失败
• rdf:type的标准语义是声明实例所属类，用来存储布尔检查结果不符合RDF规范，建议替换为自定义属性如:hasCheckResult，避免和内置类型推理逻辑冲突

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