The 12th International Semantic Web Conference
and the 1st Australasian Semantic Web Conference
21-25 October 2013, Sydney, Australia

Finite Models in RDF(S), with datatypes

Peter Patel-Schneider and Pat Hayes
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.
Voting ID: 
Paper Download: 
Poster Download: