论文信息 - The Model-Theoretic Semantics of TRIPLE

The Model-Theoretic Semantics of TRIPLE

In this paper we investigate and formalize the notion of RDF Models (or context) for RDF data by defining syntax and a model theoretic semantics of TRIPLE, a logic for dealing with RDF and contexts. 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.

[1] Tore Risch,et al. EDUTELLA: a P2P networking infrastructure based on RDF , 2002, WWW.

[2] Stefan Decker,et al. RDF, Topic Maps, and the Semantic Web , 2001 .

[3] Roy T. Fielding,et al. Uniform Resource Identifiers (URI): Generic Syntax , 1998, RFC.

[4] Brandon Muramatsu,et al. Draft Standard for Learning Object Metadata , 2002 .

[5] Kenneth A. Ross,et al. The well-founded semantics for general logic programs , 1991, JACM.

[6] Harald Tveit Alvestrand,et al. Tags for the Identification of Languages , 1995, RFC.

[7] Roy Goldman,et al. Views for Semistructured Data , 1997 .

[8] J. Lloyd. Foundations of Logic Programming , 1984, Symbolic Computation.

[9] Michael Kifer,et al. Logical foundations of object-oriented and frame-based languages , 1995, JACM.

[10] Alain Abran,et al. The Guide to the Software Engineering Body of Knowledge , 1999, IEEE Softw..

[11] Konstantinos Sagonas,et al. XSB as an efficient deductive database engine , 1994, SIGMOD '94.

[12] Alain Abran,et al. Software Engineering Body of Knowledge Project , 2002 .

[13] Mark Fischetti,et al. Weaving the web - the original design and ultimate destiny of the World Wide Web by its inventor , 1999 .