Natural language & AI
The 12th International Semantic Web Conference
Peter Patel-Schneider, Patrick J. Hayes
The details of reasoning in RDF are generally well known. The
model-theoretic characteristics 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.