TY - RPRT TI - An Algebraic Specification of the Semantic Web AU - Katerina Ksystra AU - Nikolaos Triantafyllou AU - Petros Stefaneas AU - Panayiotis Frangos PY - 2011 UR - https://arxiv.org/abs/1107.5897 ID - 1107.5897 ER -