rdf - rdf图上的数据记录规则改变了事实的（布尔）值

Question

我正在尝试编写一个简单的数据记录规则来操作 RDF 本体中的布尔值。我现在正在尝试使用 RDFox 作为推理器。

RDF本体是这样的

:citizenVaccinated rdfs:label "vaccinated";
    a :citizen;
    :isCitizenOf : uk


:automatedDecisionMaking rdfs:label "automatedDecisionMaking";
    :hasValue xsd:True.


:basicInformationCheck rdfs:label "basicInformationCheck";
    rdf:type xsd:False.
    #:hasValue xsd:False.

我写了一个小的数据记录规则，上面写着

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

当我查询最终图形的 值时basicInformationCheck ，我得到了事实

rdf:type xsd:False
rdf:type  xsd:True

我们如何改变它以仅适应更新的事实