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

Authors: 
Peter Patel-Schneider and Pat Hayes
Abstract: 
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: