利维奥·罗巴尔多;弗朗西斯科·帕琴察;Jessica Zangari;罗伯塔·卡莱加里;弗朗西斯科·卡里梅里;乔瓦尼·西拉古萨 有效检查RDF数据的符合性。 （英语） Zbl 07804192号 J.日志。计算。 第8期第33页，1753-1776页（2023年）. 摘要：自动合规检查，即自动评估事态是否符合规范体系的任务，最近受到了科学界的大量关注，这也是法律领域人工智能技术（LegalTech）投资不断增加的结果。本文作者认为，研究和实现可直接处理RDF格式数据的合规性检查器至关重要，因为如今，越来越多的（大）数据以这种格式在全球范围内跨多个不同领域提供。据我们所知，在最近文献中使用的自动化技术中，只有两种是使用RDF格式编码的事件输入状态进行评估的。本文对这两种技术中的选定用例进行了形式化，并对实现进行了比较，还对共享合成数据集进行了仿真。 MSC公司： 03年XX月 数学逻辑和基础 68倍 计算机科学 PDF格式BibTeX公司 XML格式引用 \textit{L.Robaldo}等人，J.Log。计算。33，编号81753-1776（2023；Zbl 07804192） 全文： DOI程序 OA许可证