RDF語義 推薦標準
TransWiki - W3CHINA.ORG开放翻译计划（OTP）
摘要_文檔狀態_目錄 第0節 第1節 第2節 第3節 第4節 第5節 第6節 第7節 附錄_參考文獻
| 目录 |
建議翻譯時保留英文原文，以便於復查和修改。
儘量使用段落編輯（即點擊要編輯段落右上方的[編輯]字樣）
(http://www.w3.org/)
RDF Semantics
W3C Recommendation 10 February 2004
This Version:
http://www.w3.org/TR/2004/REC-rdf-mt-20040210/ (http://www.w3.org/TR/2004/REC-rdf-mt-20040210/)
Latest Version:
http://www.w3.org/TR/rdf-mt/ (http://www.w3.org/TR/rdf-mt/)
Previous Version:
http://www.w3.org/TR/2003/PR-rdf-mt-20031215/ (http://www.w3.org/TR/2003/PR-rdf-mt-20031215/)
Editor:
Patrick Hayes (http://www.ihmc.us/users/user.php?UserID=42) (IHMC)< phayes@ihmc.us (mailto:phayes@ihmc.us)>
Series Editor
Brian McBride (http://www-uk.hpl.hp.com/people/bwm/) (Hewlett Packard Labs)<bwm@hplb.hpl.hp.com (mailto:bwm@hplb.hpl.hp.com)>
Please refer to the errata for this document, which may include some normative corrections.
See also translations (http://www.w3.org/2001/sw/RDFCore/translation/rdf-mt).
Copyright (http://www.w3.org/Consortium/Legal/ipr-notice#Copyright) ? 2004 W3C? (MIT, ERCIM, Keio (http://www.keio.ac.jp/)), All Rights Reserved. W3C liability (http://www.w3.org/Consortium/Legal/ipr-notice#Legal_Disclaimer), trademark (http://www.w3.org/Consortium/Legal/ipr-notice#W3C_Trademarks), document use (http://www.w3.org/Consortium/Legal/copyright-documents) and software licensing (http://www.w3.org/Consortium/Legal/copyright-software) rules apply.
Abstract
This is a specification of a precise semantics, and corresponding complete systems of inference rules, for the Resource Description Framework (RDF) and RDF Schema (RDFS).
Status of this Document
This document has been reviewed by W3C Members and other interested parties, and it has been endorsed by the Director as a W3C Recommendation (http://www.w3.org/2003/06/Process-20030618/tr.html#RecsW3C). W3C's role in making the Recommendation is to draw attention to the specification and to promote its widespread deployment. This enhances the functionality and interoperability of the Web.
This is one document in a set of six (http://www.w3.org/TR/2004/REC-rdf-concepts-20040210/#section-Introduction) (Primer (http://www.w3.org/TR/2004/REC-rdf-primer-20040210/), Concepts (http://www.w3.org/TR/2004/REC-rdf-concepts-20040210/), Syntax (http://www.w3.org/TR/2004/REC-rdf-syntax-grammar-20040210/), Semantics (http://www.w3.org/TR/2004/REC-rdf-mt-20040210/), Vocabulary (http://www.w3.org/TR/2004/REC-rdf-schema-20040210/), and Test Cases (http://www.w3.org/TR/2004/REC-rdf-testcases-20040210/)) intended to jointly replace the original Resource Description Framework specifications, RDF Model and Syntax (1999 Recommendation) (http://www.w3.org/TR/1999/REC-rdf-syntax-19990222/) and RDF Schema (2000 Candidate Recommendation) (http://www.w3.org/TR/2000/CR-rdf-schema-20000327/). It has been developed by the RDF Core Working Group (http://www.w3.org/2001/sw/RDFCore/) as part of the W3C Semantic Web Activity (http://www.w3.org/2001/sw/) (Activity Statement (http://www.w3.org/2001/sw/Activity), Group Charter (http://www.w3.org/2002/11/swv2/charters/RDFCoreWGCharter)) for publication on 10 February 2004.
Changes to this document since the Proposed Recommendation Working Draft are detailed in the change log.
The public is invited to send comments to www-rdf-comments@w3.org (mailto:www-rdf-comments@w3.org) (archive (http://lists.w3.org/Archives/Public/www-rdf-comments/)) and to participate in general discussion of related technology on www-rdf-interest@w3.org (archive).
A list of implementations (http://www.w3.org/2001/sw/RDFCore/impls) is available.
The W3C maintains a list of any patent disclosures related to this work.
This section describes the status of this document at the time of its publication. Other documents may supersede this document. A list of current W3C publications and the latest revision of this technical report can be found in the W3C technical reports index (http://www.w3.org/TR/) at http://www.w3.org/TR/.
Table of Contents
0. Introduction (http://www.w3.org/TR/2004/REC-rdf-mt-20040210/#prelim)[http://www.w3.org/TR/2004/REC-rdf-mt-20040210/#intro ]
0.1 Specifying a formal semantics: scope and limitations (http://www.w3.org/TR/2004/REC-rdf-mt-20040210/#intro)
0.2 Graph Syntax (http://www.w3.org/TR/2004/REC-rdf-mt-20040210/#graphsyntax)
0.3 Graph Definitions (http://www.w3.org/TR/2004/REC-rdf-mt-20040210/#graphdefs)
1. Interpretations (http://www.w3.org/TR/2004/REC-rdf-mt-20040210/#sinterp)
1.1 Technical Note (Informative) (http://www.w3.org/TR/2004/REC-rdf-mt-20040210/#technote)
1.2 URI references, Resources and Literals (http://www.w3.org/TR/2004/REC-rdf-mt-20040210/#urisandlit)
1.3 Interpretations (http://www.w3.org/TR/2004/REC-rdf-mt-20040210/#interp)
1.4 Denotations of Ground Graphs (http://www.w3.org/TR/2004/REC-rdf-mt-20040210/#gddenot)
1.5 Blank nodes as Existential variables (http://www.w3.org/TR/2004/REC-rdf-mt-20040210/#unlabel)
2. Simple Entailment between RDF graphs (http://www.w3.org/TR/2004/REC-rdf-mt-20040210/#entail)
2.1 Vocabulary interpretations and vocabulary entailment (http://www.w3.org/TR/2004/REC-rdf-mt-20040210/#vocabulary_entail)
3. Interpreting the RDF vocabulary (http://www.w3.org/TR/2004/REC-rdf-mt-20040210/#InterpVocab)
3.1 RDF Interpretations (http://www.w3.org/TR/2004/REC-rdf-mt-20040210/#RDFINTERP)
3.2 RDF Entailment (http://www.w3.org/TR/2004/REC-rdf-mt-20040210/#rdf_entail)
3.3 Reification, Containers, Collections and rdf:value (http://www.w3.org/TR/2004/REC-rdf-mt-20040210/#ReifAndCont)
3.3.1 Reification (http://www.w3.org/TR/2004/REC-rdf-mt-20040210/#Reif)
3.3.2 RDF Containers (http://www.w3.org/TR/2004/REC-rdf-mt-20040210/#Containers)
3.3.3 RDF Collections (http://www.w3.org/TR/2004/REC-rdf-mt-20040210/#collections)
3.3.4 rdf:value (http://www.w3.org/TR/2004/REC-rdf-mt-20040210/#rdfValue)
4. Interpreting the RDFS Vocabulary (http://www.w3.org/TR/2004/REC-rdf-mt-20040210/#rdfs_interp)
4.1 RDFS Interpretations (http://www.w3.org/TR/2004/REC-rdf-mt-20040210/#RDFSINTERP)
4.2 Extensional Semantic Conditions (Informative) (http://www.w3.org/TR/2004/REC-rdf-mt-20040210/#ExtensionalDomRang)
4.3 A Note on rdfs:Literal (http://www.w3.org/TR/2004/REC-rdf-mt-20040210/#literalnote)
4.4 RDFS Entailment (http://www.w3.org/TR/2004/REC-rdf-mt-20040210/#rdfs_entailment)
5. Interpreting Datatypes (http://www.w3.org/TR/2004/REC-rdf-mt-20040210/#dtype_interp)
5.1 Datatyped Interpretations (http://www.w3.org/TR/2004/REC-rdf-mt-20040210/#DTYPEINTERP)
5.2 D-Entailment (http://www.w3.org/TR/2004/REC-rdf-mt-20040210/#D_entailment)
6. Monotonicity of Semantic Extensions (http://www.w3.org/TR/2004/REC-rdf-mt-20040210/#MonSemExt)
7. Entailment Rules (Informative) (http://www.w3.org/TR/2004/REC-rdf-mt-20040210/#rules)
7.1 Simple Entailment Rules (http://www.w3.org/TR/2004/REC-rdf-mt-20040210/#simpleRules)
7.2 RDF Entailment Rules (http://www.w3.org/TR/2004/REC-rdf-mt-20040210/#RDFRules)
7.3 RDFS Entailment Rules (http://www.w3.org/TR/2004/REC-rdf-mt-20040210/#RDFSRules)
7.3.1 Extensional Entailment Rules (http://www.w3.org/TR/2004/REC-rdf-mt-20040210/#RDFSExtRules)
7.4 Datatype Entailment Rules (http://www.w3.org/TR/2004/REC-rdf-mt-20040210/#DtypeRules)
Appendix A. Proofs of lemmas (Informative) (http://www.w3.org/TR/2004/REC-rdf-mt-20040210/#prf)
Appendix B. Glossary (Informative) (http://www.w3.org/TR/2004/REC-rdf-mt-20040210/#gloss)
Appendix C. Acknowledgements (http://www.w3.org/TR/2004/REC-rdf-mt-20040210/#ack)
References (http://www.w3.org/TR/2004/REC-rdf-mt-20040210/#refs)
Appendix D. Change Log (Informative) (http://www.w3.org/TR/2004/REC-rdf-mt-20040210/#change)
