#rdf #datalog #knowledge-graph #rdfox
Вопрос:
Я пытаюсь написать простое правило регистрации данных для управления логическими значениями в онтологии 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 Как мы можем изменить это, чтобы учесть только обновленные факты