The datatype of RDF literals storing fragments of HTML content