RDF Model Theory {MT}