The Model-Theoretic Semantics of TRIPLE

作者: Stefan Decker , Wolfgang Nejdl , Michael Sintek

DOI:

关键词:

摘要:

参考文章(11)
James W. Moore, Pierre Bourque, Robert Dupuis, Alain Abran, Leonard Tripp, Software Engineering Body of Knowledge Project Encyclopedia of Software Engineering. ,(2002) , 10.1002/0471028959.SOF312
S. Abiteboul, Y. Zhuge, J. McHugh, R. Goldman, V. Vassalos, Views for Semistructured Data Stanford InfoLab. ,(1997)
John Wylie Lloyd, Foundations of logic programming ,(1984)
Michael L. Dertouzos, Tim Berners-Lee, Mark Fischetti, Weaving the Web: The Original Design and Ultimate Destiny of the World Wide Web by Its Inventor Harper San Francisco. ,(1999)
Allen Van Gelder, Kenneth A. Ross, John S. Schlipf, The well-founded semantics for general logic programs Journal of the ACM. ,vol. 38, pp. 619- 649 ,(1991) , 10.1145/116825.116838
Wolfgang Nejdl, Boris Wolf, Changtao Qu, Stefan Decker, Michael Sintek, Ambjörn Naeve, Mikael Nilsson, Matthias Palmér, Tore Risch, EDUTELLA: a P2P networking infrastructure based on RDF the web conference. pp. 604- 615 ,(2002) , 10.1145/511446.511525
L. Masinter, R. Fielding, T. Berners-Lee, Uniform Resource Identifiers (URI): Generic Syntax RFC. ,vol. 2396, pp. 1- 40 ,(1998)
Pierre Bourque, Robert Dupuis, Alain Abran, James W Moore, Leonard Tripp, The guide to the Software Engineering Body of Knowledge IEEE Software. ,vol. 16, pp. 35- 44 ,(1999) , 10.1109/52.805471
Martin S. Lacher, Stefan Decker, RDF, topic maps, and the semantic Web Markup Languages. ,vol. 3, pp. 313- 331 ,(2001) , 10.1162/109966201753750333
Michael Kifer, Georg Lausen, James Wu, Logical foundations of object-oriented and frame-based languages Journal of the ACM. ,vol. 42, pp. 741- 843 ,(1995) , 10.1145/210332.210335