Ciobanu, Gabriel; Horne, Ross; Sassone, Vladimiro A descriptive type foundation for RDF Schema. (English) Zbl 1348.68032 J. Log. Algebr. Methods Program. 85, No. 5, Part 1, 681-706 (2016). MSC: 68N18 68Q55 PDFBibTeX XMLCite \textit{G. Ciobanu} et al., J. Log. Algebr. Methods Program. 85, No. 5, Part 1, 681--706 (2016; Zbl 1348.68032) Full Text: DOI
Ciobanu, Gabriel; Horne, Ross; Sassone, Vladimiro Minimal type inference for linked data consumers. (English) Zbl 1329.68085 J. Log. Algebr. Methods Program. 84, No. 4, 485-504 (2015). MSC: 68P05 68M11 68Q55 PDFBibTeX XMLCite \textit{G. Ciobanu} et al., J. Log. Algebr. Methods Program. 84, No. 4, 485--504 (2015; Zbl 1329.68085) Full Text: DOI arXiv
Dezani-Ciancaglini, Mariangiola; Horne, Ross; Sassone, Vladimiro Tracing where and who provenance in linked data: a calculus. (English) Zbl 1253.68043 Theor. Comput. Sci. 464, 113-129 (2012). MSC: 68M11 68P01 PDFBibTeX XMLCite \textit{M. Dezani-Ciancaglini} et al., Theor. Comput. Sci. 464, 113--129 (2012; Zbl 1253.68043) Full Text: DOI