带数据类型的 RDF(S) 的逻辑基础
计算机科学中的逻辑
2014-01-17 v1 人工智能
摘要
资源描述框架（RDF）是一种语义网标准，它提供了一种数据语言（简称为 RDF）以及一种轻量级本体语言（称为 RDF Schema）。我们研究了 RDF 在逻辑中的嵌入，并展示了如何使用标准的逻辑编程和描述逻辑技术对 RDF 进行推理。随后，我们考虑了支持数据类型的 RDF 扩展，研究了 RDF 语义规范中定义的 D 蕴含，以及由 ter Horst 引入的作为 D 蕴含语义弱化的 D* 蕴含。我们利用逻辑的嵌入和性质，为判定蕴含关系的复杂度确立了新的上界。随后，我们确立了两个新的下界，证明了在考虑任意数据类型时，RDFS 蕴含是 PTime 完全的，而 simple-D 蕴含是 coNP 困难的，两者均以蕴含图的大小为度量。结果表明，RDFS 可能并不像人们预期的那样轻量级。
引用
@article{arxiv.1401.3858,
title = {Logical Foundations of RDF(S) with Datatypes},
author = {Jos de Bruijn and Stijn Heymans},
journal= {arXiv preprint arXiv:1401.3858},
year = {2014}
}