加布里埃尔·乔巴努;罗斯·霍恩;弗拉迪米罗·萨松 链接数据资源的描述性类型。 （英语） Zbl 1434.68080号 Voronkov，Andrei（编辑）等人，《系统信息学的观点》。2014年6月24日至27日，俄罗斯圣彼得堡，第九届国际Ershov信息学会议，PSI 2014。修订了选定的论文。柏林：斯普林格。莱克特。注释计算。科学。8974, 1-25 (2015). 摘要：这项工作引入了描述性打字的概念。类型系统通常是规定性的，因为它们规定了允许程序的空间。相反，为链接数据中的资源分配的描述性类型提供了有用的注释，用于描述资源的使用方式。资源由没有内部结构的URI表示，因此资源没有先验类型。描述性类型系统不会引发编译时错误，而是通过向程序员提供建议的选项菜单来引发运行时警告。我们介绍了一个子类型系统、算法类型系统和操作语义，它们共同描述了描述性类型的使用方式。类型系统支持RDF模式推理和链接数据中新增的其他几种推理模式。关于整个系列，请参见[兹比尔1318.68039]. 引用于三文件 MSC公司： 68甲18 函数编程和lambda演算 PDF格式BibTeX公司 XML格式引用 \textit{G.Ciobanu}等人，Lect。注释计算。科学。8974，1-25（2015；Zbl 1434.68080） 全文： DOI程序 链接