@article{JLAMP16, author = {Gabriel Ciobanu and Ross Horne and Vladimiro Sassone}, title = {A descriptive type foundation for {RDF} Schema}, journal = {Journal of Logical and Algebraic Methods in Programming}, volume = {85}, number = {5}, year = {2016}, pages = {681-706}, doi = {10.1016/j.jlamp.2016.02.006}, url = {https://satoss.uni.lu/members/ross/pdf/jlamp-part2.pdf} }