基于SHACL的再化IO逻辑合规性检查
人工智能
2021-10-15 v1
摘要
再化输入/输出(I/O)逻辑[21]近来被提出，用以依据文献[11]中的逻辑对现实世界规范进行建模。该方法大量建立在再化概念之上，并专门设计用于建模自然语言句子的含义，例如现有立法中出现的句子。本文提出一种对再化I/O逻辑公式进行合规性检查的方法。这些公式被翻译为SHACL(Shapes Constraint Language，形状约束语言)形状，这是W3C近期提出的用于验证和推理RDF三元组存储的建议标准。随后，通过用这些SHACL形状验证描述事态的RDF图来实施合规性检查。
引用
@article{arxiv.2110.07033,
title = {Compliance checking in reified IO logic via SHACL},
author = {Livio Robaldo and Kolawole J. Adebayo},
journal= {arXiv preprint arXiv:2110.07033},
year = {2021}
}