The Model-Theoretic Semantics of TRIPLE

In this paper we investigate and formalize the notion of RDF Mod- els (or context) for RDF data by defining syntax and a model theo- retic semantics of TRIPLE, a logic for dealing with RDF and con- texts. A unique feature of the language is that one context can be used as parameters for other contexts. The definitions are used to derive a query and reasoning language based on deductive database technology. Applications include querying of data with respect to multiple semantics and information integration.