Finite Models in RDF(S), with datatypes

The details of reasoning in RDF are generally well known.The model-theoretic characteristcs of RDF have been less studied, particularly when datatypes are added. RDF reasoning can be performed by only considering finite models or pre-models, and sometimes only very small models need be considered.