RDF 形状表达式模式的包含问题
计算机科学中的逻辑
2018-03-28 v3
摘要
我们研究了 RDF 图的形状表达式模式（ShEx）的包含问题。我们识别出 ShEx 的一个子类，它具有形状图的自然图形表示，并且其语义可以通过将 RDF 图嵌入形状图的易处理概念来捕获。当应用于成对的形状图时，嵌入是包含的充分条件，而对于确定性形状图的一个实用子类，它也是必要条件，从而产生一个包含问题易处理的子类。虽然对于一般形状图，一个最小的反例（即证明不包含的实例）可能具有指数级大小，但我们证明了包含问题是 EXP 困难的且属于 coNEXP。最后，我们证明了任意 ShEx 的包含问题是 coNEXP 困难的且属于 coTwoNEXP^NP。
引用
@article{arxiv.1803.07303,
title = {Containment of Shape Expression Schemas for RDF},
author = {Slawek Staworko and Piotr Wieczorek},
journal= {arXiv preprint arXiv:1803.07303},
year = {2018}
}