带注释语义Web数据表示，推理和查询的通用框架-研究论文

我们描述了一种用于用语义Web数据表示和推理的通用框架，随着最近网络上不一致和不可靠的元数据数量的增加，这项任务变得越来越重要。 我们将带注释的语言，相应的演绎系统形式化，并解决查询的回答问题。 正如我们通过在（i）时间，（ii）模糊和（iii）出处注释上实例化它所显示的那样，我们统一的推理形式主义包括了对特定RDF注释域的先前贡献。 此外，我们提供了一种用于组合多个注释域的通用方法，这些注释域可以表示例如时间注释的模糊RDF。 此外，我们解决了受SPARQL启发的查询语言AnQL的开发，其中包括SPARQL 1.1的若干功能（子查询，集合，赋值，解决方案修饰符）以及其语义的形式定义。