The Resource Description Framework (RDF) is a framework for
representing information in the Web.
This document defines an abstract syntax on which RDF is based,
and which serves to link its concrete syntax to its formal
semantics. It also includes discussion of design goals, meaning of
RDF documents, key concepts, datatyping, character normalization
and handling of URI references.
This is an editors' draft despite anything else said here.
This is a W3C RDF
Core Working Group Last Call Working Draft produced as part of the W3C Semantic Web Activity (Activity
Statement).
This document is in the Last Call review period, which ends
on 31 January 2003.
This document has been endorsed by the RDF Core Working Group.
This document is being released for review by W3C Members and
other interested parties to encourage feedback and comments.
This is a public W3C Working Draft and may be updated, replaced,
or obsoleted by other documents at any time. It is inappropriate to
use W3C Working Drafts as reference material or to cite as other
than "work in progress". A list of current W3C Recommendations and
other technical documents can be found at http://www.w3.org/TR/.
In conformance with W3C policy
requirements, known patent and IPR constraints associated
with this Working Draft are detailed on the RDF Core Working Group Patent Disclosure page.
Comments on this document are invited and should be sent to the
public mailing list www-rdf-comments@w3.org. An
archive of comments is available at http://lists.w3.org/Archives/Public/www-rdf-comments/.
The Resource Description Framework (RDF) is a framework for
representing information in the Web.
This document defines an abstract syntax on which RDF is based,
and which serves to link its concrete syntax to its formal
semantics. It also includes discussion of design goals, meaning of
RDF documents, key concepts, datatyping, character normalization
and handling of URI references.
Normative documentation of the RDF core falls into the following
areas:
Within this document, normative sections are explicitly labelled as such.
Explicit notes are informative.
The framework is designed so that vocabularies can be layered on
top of a core. The RDF core and RDF vocabulary definition (RDF schema)
languages
[RDF-VOCABULARY] are the first
such vocabularies.
Others (cf. OWL [OWL] and
the applications in the primer
[RDF-PRIMER]) are in development.
In section 2,
the background rationale and design goals
are introduced.
Key concepts follow in section 3.
The meaning of RDF is discussed in section 4,
including discussion of social mechanisms, the interaction between social
and formal meaning and the implications of
publication of an RDF document.
RDF's abstract syntax is a graph, which can be serialized using
XML (but which is quite distinct from XML's tree-based infoset [XML-INFOSET]). The abstract syntax
captures the fundamental structure of RDF, independently of any
concrete syntax used for serialization. The formal semantics of RDF
are defined in terms of the abstract syntax. XML content of
literals is described in section
5, and the abstract syntax is defined in section 6 of this document.
Section 7 discusses the role of fragment
identifiers in URI references used with RDF.
RDF has an abstract syntax that reflects a simple graph-based
data model, and formal semantics with a rigorously defined notion
of entailment providing a basis for well founded deductions in RDF
data.
The development of RDF has been motivated by the following uses,
among others:
- Web metadata: providing information about Web resources and
the systems that use them (e.g. content rating, capability
descriptions, privacy preferences, etc.)
- Applications that require open rather than constrained
information models (e.g. scheduling activities, describing
organizational processes, annotation of Web resources, etc.)
- To do for machine processable information (application data)
what the World Wide Web has done for hypertext: to allow data to
be processed outside the particular environment in which it was
created, in a fashion that can work at Internet scale.
- Interworking among applications: combining data from several
applications to arrive at new information.
- Automated processing of Web information by software agents:
the Web is moving from having just human-readable information to
being a world-wide network of cooperating processes. RDF provides
a world-wide lingua franca for these processes.
RDF is designed to represent information in a minimally
constraining, flexible way. It can be used in isolated
applications, where individually designed formats
might be more direct and easily understood, but RDF's generality offers greater value from
sharing. The value of information thus increases as it becomes
accessible to more applications across the entire Internet.
The design of RDF is intended to meet the following goals:
- A simple data model
- Formal semantics and provable inference
- Extensible URI-based vocabulary
- XML-based syntax
- Support use of XML schema datatypes
- Anyone can make simple assertions about anything
- Universal expression of simple facts
- A basis for legally binding agreements
RDF has a simple data model that is easy for applications to
process and manipulate. The data model is independent of any
specific serialization syntax.
Note: the term "model" used here in "data model" has a
completely different sense to its use in the term "model theory".
See the RDF model theory specification [RDF-SEMANTICS]
for more information about "model
theory" as used in the literature of mathematics and logic.
RDF has a formal semantics which provides a dependable basis for
reasoning about the meaning of an RDF expression. In particular, it
supports rigorously defined notions of entailment which provide a
basis for defining reliable rules of inference in RDF data.
The vocabulary is fully extensible, being based on URIs with
optional fragment identifiers (URI references, or
URIrefs). URI references are used for naming all kinds
of things in RDF.
The other kind of value that appears in RDF data is a
literal.
RDF has a recommended XML serialization form [RDF-SYNTAX], which can be used to encode the
data model for exchange of information among applications.
RDF can use values represented according to XML schema datatypes
[XML-SCHEMA2], thus assisting the
exchange of information between RDF and other XML applications.
To facilitate operation at Internet scale, RDF is an open-world
framework that allows anyone to make simple assertions about
anything. In general, it is not assumed that all information about
any topic is available. A consequence of this is that RDF cannot
prevent anyone from making assertions that are nonsensical or
inconsistent with the world as people see it, and applications that
build upon RDF need to find ways to deal with incomplete and
conflicting sources of information. (This is where RDF departs from
more prescriptive approaches to representing data in XML, which aim
to present information that is well-formed and complete for an
application's needs.)
RDF can represent arbitrary information that can be expressed as
simple facts. (What constitutes a simple fact is discussed later,
in section 3.5)
RDF is intended to convey assertions that are meaningful to the
extent that they may, in appropriate contexts, be used to express
the terms of binding agreements.
This goal is explored further in section 4.2 below.
RDF uses the following key concepts:
- Graph data model
- URI-based vocabulary
- Datatypes
- Literals
- XML serialization syntax
- Information as representation of simple facts
- Entailment
The underlying structure of any expression in RDF can be viewed
as a directed labelled graph, which consists of nodes and labelled
directed arcs that link pairs of nodes (these notions are defined
more formally in section 6).
The RDF graph is a set of triples:
Each property arc represents a statement of a relationship
between the nodes that it links, having three parts:
- a property that describes some
relationship (also called a predicate),
- a value that is the subject of the statement, and
- a value that is the object of the statement.
The direction of the arc is significant: it always points toward
the object of a statement.
The meaning of an RDF graph is the conjunction (i.e. logical
AND) of all the statements that it contains.
Nodes in an RDF graph are URIs with
optional fragment identifiers (URI references, or URIrefs), literals, or
blank (having no separate form of identification). Arcs are
labelled with URI references. (See [URI], section 4, for a description of URI
reference forms, noting that relative URIs are not used in an RDF
graph. See also section
6.4.)
The URI reference or literal used as a node identifies what that node
represents. The label on an arc identifies the relationship between
the nodes connected by the arc. The arc label may also be a node in
the graph.
A blank
node is an RDF graph node that is not a URI reference or
a literal. In the RDF abstract syntax, a blank node is just a
unique node that can be used in one or more RDF statements, and has
no globally distinguishing identity.
A convention used by some linear representations of an RDF graph
to allow several statements to reference the same blank node is to
use a blank
node identifier, which is a local identifier that can be
distinguished from all URIs and literals. When graphs are merged,
their blank nodes must be kept distinct if meaning is to be
preserved; this may call for re-allocation of blank node
identifiers.
Note that blank node identifiers are not part of the
RDF abstract syntax, and the representation of statements that use
blank nodes is entirely dependent on the particular concrete syntax
used.
Datatypes are used by RDF in the representation of values such
as integers, floating point numbers and dates.
RDF uses the datatype abstraction defined by XML Schema Part 2:
Datatypes [XML-SCHEMA2]. A datatype
consists of a lexical space, a value space and a datatype
mapping.
A datatype mapping is a set of pairs
whose first element belongs to the lexical space of the datatype,
and the second element belongs to the value space of the datatype:
- Each member of the lexical space is paired with
(maps to) exactly one member of the value
space.
- Each member of the value space may be paired with any
number (including zero) of members of
the lexical space (lexical
representations for that value).
With one exception, the datatypes used in RDF have a
lexical space consisting of a set of
strings. The exception is the datatype identified by the URI
reference rdf:XMLLiteral, whose
lexical space also includes pairs of strings and language
identifiers. The value obtained through its datatype mapping may
depend on the language identifier.
For example, the datatype mapping for the XML Schema datatype
xsd:boolean, where each member of the value space
(represented here as 'T' and 'F') has two lexical representations,
is as follows:
| Value Space |
{T, F} |
| Lexical Space |
{"0", "1", "true", "false"} |
| Datatype Mapping |
{<"true", T>, <"1", T>, <"0", F>,
<"false", F>} |
RDF predefines just one datatype rdf:XMLLiteral, used for
embedding XML in RDF (see section
5).
There is no built-in concept of numbers or dates or other common
values. Rather, RDF defers to datatypes that are defined
separately, and identified with URI references.The predefined XML Schema
datatypes [XML-SCHEMA2] are expected
to be widely used for this purpose.
Certain XML Schema built-in datatypes are not suitable for use
within RDF. For example, the
QName
datatype requires a namespace declaration to be in scope during
the mapping, and is not recommended for use in RDF.
The defining authority of a URI
which identifies a datatype is responsible for specifying the
datatype's lexical space, value space and datatype mapping.
RDF provides no mechanism for defining new datatypes. XML Schema
Datatypes [XML-SCHEMA2] provides an
extensibility framework suitable for defining new datatypes for use
in RDF.
Literals are used to identify values such as numbers and dates
by means of a lexical representation. Anything represented by a
literal could also be represented by a URI, but it is often more
convenient or intuitive to use literals.
A literal may be the object of an RDF statement, but not the
subject or the arc.
Literals may be plain or typed :
- A plain literal is a string combined
with an optional language identifier. This should be used for
plain text in a natural language. As recommended in the RDF
formal semantics [RDF-SEMANTICS], these plain literals are
self-denoting.
- A typed literal is a string, a
datatype URI and an optional language identifier. It denotes the
member of the identified datatype's value space obtained by
applying the datatype mapping to the literal string.
Continuing the example from section
3.3, the typed literals which can be defined using the XML
Schema datatype xsd:boolean are:
| Typed Literal |
Datatype Mapping |
Value |
| <xsd:boolean, "true"> |
<"true", T> |
T |
| <xsd:boolean, "1"> |
<"1", T> |
T |
| <xsd:boolean, "false"> |
<"false", F> |
F |
| <xsd:boolean, "0"> |
<"0", F> |
F |
Some simple facts indicate a relationship between
two objects.
Such a fact may be represented as an RDF triple in which the predicate
names the relationship, and the subject and object denote the two objects.
A familiar representation of such a fact might be
as a row in a table in a relational database. The table has
two columns, corresponding to the subject and the object of the
RDF triple.
The name of the table corresponds to the predicate
of the RDF triple. A further familiar representation may be as a
two place predicate
in first order logic.
Relational databases permit a table to have an arbitrary number of columns,
a row of which expresses information corresponding to a predicate in first
order logic with an arbitrary number of places. Such a row, or predicate,
has to be decomposed for representation as RDF triples. A simple form of
decomposition introduces a new blank node, corresponding to the row, and a
new triple is introduced for each cell in the row. The subject of each
triple is the new blank node, the predicate corresponds to the column name,
and object corresponds to the value in the cell. The new blank node may
also have an rdf:type property whose value corresponds
to the table name.
As an example, consider Figure 5 from the
[RDF-PRIMER]:
This information might correspond to a row in a table "STAFFADDRESSES",
with a primary key
STAFFID,
and additional columns
STREET,
STATE,
CITY and
ZIP.
Thus, a more complex fact is expressed in RDF using a
conjunction (logical-AND) of simple binary relationships. RDF does not
provide means to express negation (NOT) or disjunction (OR). The expressive
power of RDF corresponds to the existential-conjunctive (EC) subset of
first order logic [Sowa].
Through its use of extensible URI-based vocabularies, RDF
provides for expression of facts about arbitrary subjects; i.e.
assertions of named properties about specific named things. A URI
can be constructed for any thing that can be named, so RDF facts
can be about any such things.
The ideas on meaning and inference in RDF are underpinned by the
formal concept of
entailment, as
discussed in the RDF
semantics document [RDF-SEMANTICS].
In brief, an RDF expression A is said to
entail another RDF expression B if every possible
arrangement of things in the world that makes A true also makes B
true. On this basis, if the truth of A is presumed or demonstrated
then the truth of B can be inferred .
RDF uses URIs to identify resources and properties. Certain URIs
are reserved for use by RDF, and may not be used for any purpose
not sanctioned the RDF specifications. Specifically, URIs with the
following leading substrings are reserved for RDF core
vocabulary:
- http://www.w3.org/1999/02/22-rdf-syntax-ns#
(conventionally associated with namespace prefix rdf:)
- http://www.w3.org/2000/01/rdf-schema#
(conventionally associated with namespace prefix rdfs:)
Used with the RDF/XML serialization, these URI prefix strings
correspond to XML namespaces [XML-NS]
associated with the RDF core vocabulary terms.
Note: these namespace URIs are the same as those used in
earlier RDF documents [RDF-MS] [RDF-SCHEMA].
[[[NOTE FOR REVIEWERS: Some terms in
these namespaces have been deprecated, some have been added, and
some RDF schema terms have had their meaning changed. We invite
community feedback regarding the relative costs of adopting these
changes under the old namespace URIs vs creating new URIs for
this revision of RDF.]]]
Vocabulary terms in the rdf: namespace
are listed in section
5.1 of the RDF syntax specification [RDF-SYNTAX].
Vocabulary terms defined in the rdfs:
namespace are defined
in the
RDF schema vocabulary specification [RDF-VOCABULARY].
There are two aspects to the meaning of an RDF graph. There is
the formal meaning as determined by the RDF semantics
[RDF-SEMANTICS].
This determines, with
mathematical precision, the conclusions that can
logically be drawn from an RDF graph. There is also the social
meaning of the graph. It is the social meaning that affects what it
means to people and how it interacts with human social institutions
such as our systems of law.
RDF/XML expressions, i.e. encodings of RDF graphs, can be used
to make claims or assertions about the 'real' world. Such
expressions are said to be asserted.
Not every RDF/XML expression is asserted.
Some may convey
meaning that is partly determined by the circumstances in which
they are used. For example, in English, a statement "I don't
believe that George is a clown" contains the words "George is a
clown", which, considered in isolation, has the form of an
assertion that George exhibits certain comic qualities. However,
considering the whole sentence, no such assertion is considered to
be made.
When an RDF graph is asserted in the Web, its publisher is
saying something about their view of the world. Such an assertion
should be understood to carry the same social import and
responsibilities as an assertion in any other format. A combination
of social (e.g. legal) and technical machinery (protocols, file
formats, publication frameworks) provide the contexts that fix the
intended meanings of the vocabulary of some piece of RDF, and which
distinguish assertions from other uses (e.g. citations, denials or
illustrations).
The technical machinery includes protocols for transferring
information (e.g. HTTP, SMTP) and file formats for encapsulating
and labelling information (e.g. MIME, XML). A media type,
application/rdf+xml [RDF-MIME-TYPE]
indicates the use of
RDF/XML as distinct from some other XML that happens to look like
RDF. Issuing an HTTP GET request and obtaining data with a
"200 OK" response code is a technical indication that the received
data was published at the request URI; but data received with a
"404 Not found" response cannot be considered to be similarly
published information.
The social machinery includes the form of publication:
publishing some unqualified statements on one's World Wide Web home
page would generally be taken as an assertion of those statements.
But publishing the same statements with a qualification, such as
"here are some common myths", or as part of a rebuttal, would
likely not be construed as an assertion of the truth of those
statements. Similar considerations apply to the publication of
assertions expressed in RDF.
An RDF graph may contain "defining information" that is opaque to
logical reasoners. This information may be used by human interpreters of
RDF information, or programmers writing software to perform specialized
forms of deduction in the Semantic Web.
The social conventions surrounding use of RDF assume that any RDF URI
reference gains its meaning from some defining individual, organization or
context. This applies most notably to RDF predicate URI references.
These social conventions are rooted in the URI specification [URI]
and
registration procedures [URI-REG]. A URI scheme registration refers to a
specification of the detailed syntax and interpretation for that scheme,
from which the defining authority for a given URI may be deduced. In the
case of http: URIs, the defining specification is the HTTP protocol
specification [HTTP], which specifies how to use the HTTP protocol to
obtain a resource representation from the host named in the URI; thus, the
owner of the indicated DNS domain controls (observable aspects of) the
URI's meaning.
Thus, the choice of terms used in published RDF is significant in
determining its meaning, through reference to definitions asserted by the
defining authorities for those terms.
For important documents, the use of third-party vocabulary should be restricted
to terms defined by trustworthy parties (e.g. recognized standards bodies
or reputable organizations),
or that otherwise have socially well-established meanings.
However,
even when a URI reference can be dereferenced as an RDF/XML
document, it's use within an
asserted RDF graph does not
implicitly assert the contents of the
referenced document.
Human publishers of RDF content commit themselves to the
mechanically-inferred social obligations.
The meaning of an RDF document includes
the social meaning, the formal meaning, and
the social meaning of the formal entailments.
The assertion of an RDF graph G,
when G logically entails G',
includes the implicit assertion of G'.
The implied assertion of G' should be interpreted
using the same social
conventions that are reasonably used to
interpret the assertion of G.
Imagine two websites publishing the following RDF:
(A) http://insult.example.com/lexicon#
asserts the following, and this is all that one can
find on the website about that term: |
| A:Clown |
rdf:type |
rdfs:Class . |
| A:Clown |
rdfs:comment |
"A class of foolish people, whose
pronouncements are probably ill-considered and not to be taken
seriously" . |
(B) http://AngloSaxon.example.org/lexicon#
asserts: |
| B:Comic |
rdf:subClassOf |
<http://insult.example.com/lexicon#Clown> . |
Imagine also a third, using the vocabulary previously defined
by the first two.
|
(C) http://skunk.example.org/
asserts the following, assuming that C:JohnSmith is understood to refer to
some particular person:
|
| C:JohnSmith |
rdf:type |
<http://AngloSaxon.example.org/lexicon#Comic> . |
Now, it follows by the formal RDF model theory that these three
together entail:
| C:JohnSmith |
rdf:type |
A:Clown . |
| <A:Clown> |
rdfs:comment |
"A class of foolish people, whose
pronouncements are probably ill-considered and not to be taken
seriously" . |
Given this formal entailment, the
social context of
rdfs:comment
is understood by referring
to the
[RDF-VOCABULARY] which says it provides:
"a human-readable description of a resource".
Thus, the person identified as C:JohnSmith might reasonably consider himself
to be
insulted.
Moreover, since the publishers of the third Web site http://skunk.example.org/
link C:JohnSmith to the vocabulary
previously defined to be insulting, it is they who have insulted
C:JohnSmith.
RDF provides for XML content as a possible literal value. This
typically originates from the use of
rdf:parseType="Literal" in the RDF/XML Syntax [RDF-SYNTAX].
Such content is indicated in an RDF graph using a typed literal
whose datatype is a special built-in datatype,
rdf:XMLLiteral.
As part of the definition of this datatype, an ancillary
definition is used.
The XML document corresponding to a pair ( str,
lang ) is formed as follows:
Concatenate the five strings:
- "<rdf-wrapper xml:lang='"
- lang
- "'>"
- str
- "</rdf-wrapper>"
Encode the resulting Unicode string in UTF-8 to form the
corresponding XML document.
No escaping is applied. The choice of rdf-wrapper
is fixed but arbitrary.
The XML document corresponding to a string
str is formed as the XML document corresponding to the
pair (str, "").
Using this, the datatype rdf:XMLLiteral is
defined as follows.
- The datatype URI
- is
http://www.w3.org/1999/02/22-rdf-syntax-ns#XMLLiteral.
- The value space
-
is the set of all XML documents that:
- Have root element tag:
<rdf-wrapper>
- Have no attributes on the root element other than
xml:lang
- are
Canonical XML [XML-C14N]
(with comments).
- The lexical space
- contains all pairs ( string, lang ) where
lang is any language identifier [RFC-3066] in lowercase, and
string is well-balanced, self-contained XML element
content [XML], for which the XML document
corresponding to the pair is a well-formed
XML document [XML] that also conforms
to XML
Namespaces [XML-NS].
- also contains all strings string which are
well-balanced, self-contained XML element content [XML], and for which the corresponding XML document
is a well-formed
XML document [XML] that also conforms
to XML
Namespaces [XML-NS].
- The mapping
- is defined as the function that maps a pair or string to the
canonical
form [XML-C14N] (with comments)
of the corresponding XML document.
Reminder: All other datatypes have a lexical space
being a set of strings, and a mapping which maps strings to
values.
Note: Not all values of this datatype are compliant
with XML 1.1 [XML 1.1]. If compliance
with XML 1.1 is desired, then only those values that are
fully
normalized according to XML 1.1 should be used.
This section defines the RDF abstract syntax. The RDF abstract
syntax is a set of triples, called the RDF graph.
This section also defines equality between RDF graphs. A
definition of equality is needed to support the RDF Test Cases [RDF-TESTS] specification.
An RDF
triple contains three components:
An RDF triple is conventionally written in the order subject,
predicate, object.
The predicate is also known as the property of the triple.
An RDF
graph is a set of RDF triples.
The nodes of an RDF graph is the set of subjects and objects of
triples in the graph.
Two RDF graphs G and G' are equal if there
is a bijection M between the nodes of the two graphs,
such that:
- M(lit)=lit for all RDF literals lit which
are nodes of either graph.
- M(uri)=uri for all RDF URI references uri
which are nodes of either graph.
- The triple ( s, p, o ) is in G if and
only if the triple ( M(s), p, M(o) ) is in
G'
With this definition, there are the same number of blank nodes in the two graphs,
and M shows how each blank node in G can be replaced with
a new blank node to give G'.
A URI reference within an RDF graph (an RDF URI reference) is a
Unicode string [UNICODE] that:
- is in Normal Form C [NFC] and
-
would produce a
valid URI character sequence (per RFC2396 [URI], sections 2.1)
when subjected to the encoding described below.
The encoding consists of:
- encoding the Unicode string as UTF-8
[RFC-2279], giving a sequence of octet values.
-
%-escaping octets that do not correspond to permitted US-ASCII characters.
The disallowed octets that must be %-escaped include all those that do not
correspond to US-ASCII characters, and the excluded characters listed in
Section 2.4 of [URI], except for the number sign (#), percent sign (%),
and the square bracket characters re-allowed in [RFC-2732].
Disallowed octets must be escaped with the URI escaping mechanism (that is, converted to %HH,
where HH is the 2-digit hexadecimal numeral corresponding to the octet value).
Two RDF URI references are equal if and only if they compare as
equal, character by character, as Unicode strings.
Editors' Note: This section is in the scope of
the TAG issue
IRIEverywhere-27.
The editors are expecting a resolution
of this issue during the last call period. This may result in updates
to this section.
Note: RDF URI references are compatible with the
anyURI datatype as defined by XML schema datatypes [XML-SCHEMA2], constrained to be an
absolute rather than a relative URI reference, and constrained to
be in Unicode Normal Form C [NFC] (for
compatibility with [CHARMOD]).
Note: RDF URI references are compatible with International Resource
Identifiers as defined by [XML
Namespaces 1.1].
Note: The restriction to absolute URI references is
found in this abstract syntax. When there is a well-defined base
URI, concrete syntaxes, such as RDF/XML, may permit relative URIs
as a shorthand for such absolute URI references.
A literal in an RDF graph
contains three components called:
The lexical form is present in all RDF literals; the language
identifier and the datatype URI may be absent from an RDF
literal.
A plain literal is one in which the datatype URI is absent.
A typed literal is one in which the datatype URI is present.
Note: Literals in which the lexical form begins with a
composing character (as defined by [CHARMOD]) are allowed however they may cause
interoperability problems, particularly with XML version 1.1 [XML 1.1].
Note: When using the language identifier, care must be
taken not to confuse language with locale. The language
identifier only relates to human language text. Presentational
issues, how to best represent typed data to the end-user, should
be addressed in end-user applications.
Two literals are equal if and only if all of the following
hold:
- The strings of the two lexical forms compare equal, character
by character.
- Either both or neither have language identifiers.
- The language identifiers of the two lexical forms compare
equal.
- Either both or neither have datatype URIs.
- The two datatype URIs, if any, compare equal, character by
character.
Note: RDF Literals are distinct and distinguishable
from RDF URI references; e.g. http://example.org as an RDF
Literal (untyped, without a language identifier) is not equal to
http://example.org as an RDF URI reference.
The datatype URI refers to a datatype. For XML Schema
built-in datatypes, URIs such as
http://www.w3.org/2001/XMLSchema#int are used. The URI
of the datatype rdf:XMLLiteral may be used.
There may be other, implementation dependent, mechanisms by which
URIs refer to datatypes.
The value associated with a typed literal is found by
applying the datatype mapping associated with the datatype URI to
the lexical form.
Exceptionally, if the datatype URI is rdf:XMLLiteral and the
literal has a language identifier, then the datatype mapping is
applied to the pair formed by the lexical form and the language
identifier.
If the lexical form is not in
the lexical space of the datatype associated with the datatype URI,
then no literal value can be associated with the typed literal.
Such a case, while in error, is not syntacticly ill-formed.
A typed literal for which the datatype does not map the lexical
form to a value is not syntacticly ill-formed.
Note:
In application contexts, comparing the values of typed literals (see
section
6.5.2)
is usually more helpful than comparing their syntactic forms (see
section
6.5.1).
Similarly, for comparing RDF Graphs,
semantic notions of entailment (see
[RDF-SEMANTICS]) are usually
more helpful than syntactic equality (see
section
6.3).
The blank nodes in an RDF graph
are drawn from an infinite set.
This set of blank nodes, the set of all RDF URI references
and the set of all literals are pairwise disjoint.
Otherwise, this set is arbitrary.
RDF makes no reference to any internal structure of blank nodes.
RDF uses an
RDF URI Reference
, which may include a fragment
identifier, as a context free identifier for a resource. RFC 2396
[URI] states that the meaning of a
fragment identifier depends on the MIME content-type of a document,
i.e. is context dependent.
These apparently conflicting views are reconciled by considering
that, in an RDF graph, any RDF URI reference consisting of an
absolute URI and a fragment identifier identifies the same thing as
the fragment identifier does in an application/rdf+xml [RDF-MIME-TYPE] representation of the
resource identified by the absolute URI component. Thus:
- we assume that the URI part (i.e. excluding fragment
identifier) indicates a Web resource with an RDF representation.
So when eg:someurl#frag is used in an RDF
document, eg:someurl is presumed to
designate an RDF document.
- eg:someurl#frag means the thing that
is indicated, according to the rules of the application/rdf+xml MIME content-type as a
"fragment" or "view" of the RDF document at eg:someurl. If the document does not exist, or cannot
be retrieved, then exactly what that view may be is somewhat
undetermined, but that does not prevent use of RDF to say things
about it.
- the RDF interpretation of a fragment identifier allows it to
indicate a thing that is entirely external to the document, or
even to the "shared information space" known as the Web. That is,
it can be an abstract idea, like Graham Klyne's car or a mythical
Unicorn.
- thus, an application/rdf+xml
document acts as an intermediary between some Web retrievable
documents (itself, at least, also any other Web retrievable URIs
that it may use, including schema URIs and references to other
RDF documents), and some set of possibly abstract or non-Web entities that
the RDF may describe.
This provides a handling of URI references and their denotation
that is consistent with the RDF model theory and usage, and also
with conventional Web behavior.
This document contains a significant contribution from Pat
Hayes, Sergey Melnik and Patrick Stickler, under whose leadership
was developed the framework described in the RDF family of
specifications for representing datatyped values, such as integers
and dates.
The editors acknowledge valuable contributions from the
following:
Frank Manola,
Pat Hayes,
Dan Brickley,
Jos de Roo,
Dave Beckett,
Patrick Stickler,
Peter F. Patel-Schneider,
Jerome Euzenat,
Massimo Marchiori,
Tim Berners-Lee,
Dave Reynolds
and Dan Connolly.
Jeremy Carroll thanks Oreste
Signore, his host at the W3C
Office in Italy and Istituto di Scienza e Tecnologie dell'Informazione
"Alessandro Faedo", part of the Consiglio Nazionale delle Ricerche,
where Jeremy is a visiting researcher.
This document is a product of extended deliberations by the
RDFcore Working Group, whose members have included:
Art Barstow (W3C),
Dave Beckett (ILRT),
Dan Brickley (ILRT),
Dan Connolly (W3C),
Jeremy Carroll (Hewlett Packard),
Ron Daniel (Interwoven Inc),
Bill dehOra (InterX),
Jos De Roo (AGFA),
Jan Grant (ILRT),
Graham Klyne (Nine by Nine),
Frank Manola (MITRE Corporation),
Brian McBride (Hewlett Packard),
Eric Miller (W3C),
Stephen Petschulat (IBM),
Patrick Stickler (Nokia),
Aaron Swartz (HWG),
Mike Dean (BBN Technologies / Verizon),
R. V. Guha (Alpiri Inc),
Pat Hayes (IHMC),
Sergey Melnik (Stanford University) and
Martyn Horner (Profium Ltd).
This specification also draws upon an earlier RDF Model and
Syntax document edited by Ora Lassilla and Ralph Swick, and RDF
Schema edited by Dan Brickley and R. V. Guha. RDF and RDF Schema
Working Group members who contributed to this earlier work are:
Nick Arnett (Verity),
Tim Berners-Lee (W3C),
Tim Bray (Textuality),
Dan Brickley (ILRT / University of Bristol),
Walter Chang (Adobe),
Sailesh Chutani (Oracle),
Dan Connolly (W3C),
Ron Daniel (DATAFUSION),
Charles Frankston (Microsoft),
Patrick Gannon (CommerceNet),
R. V. Guha (Epinions, previously of Netscape
Communications),
Tom Hill (Apple Computer),
Arthur van Hoff (Marimba),
Renato Iannella (DSTC),
Sandeep Jain (Oracle),
Kevin Jones, (InterMind),
Emiko Kezuka (Digital Vision Laboratories),
Joe Lapp (webMethods Inc.),
Ora Lassila (Nokia Research Center),
Andrew Layman (Microsoft),
Ralph LeVan (OCLC),
John McCarthy (Lawrence Berkeley National Laboratory),
Chris McConnell (Microsoft),
Murray Maloney (Grif),
Michael Mealling (Network Solutions),
Norbert Mikula (DataChannel),
Eric Miller (OCLC),
Jim Miller (W3C, emeritus),
Frank Olken (Lawrence Berkeley National Laboratory),
Jean Paoli (Microsoft),
Sri Raghavan (Digital/Compaq),
Lisa Rein (webMethods Inc.),
Paul Resnick (University of Michigan),
Bill Roberts (KnowledgeCite),
Tsuyoshi Sakata (Digital Vision Laboratories),
Bob Schloss (IBM),
Leon Shklar (Pencom Web Works),
David Singer (IBM),
Wei (William) Song (SISU),
Neel Sundaresan (IBM),
Ralph Swick (W3C),
Naohiko Uramoto (IBM),
Charles Wicksteed (Reuters Ltd.),
Misha Wolf (Reuters Ltd.) and
Lauren Wood (SoftQuad).
9.1 Normative References
- [RDF-SYNTAX]
- RDF/XML
Syntax Specification (Revised), Dave Beckett, World Wide
Web Consortium, 8 November 2002 (work in progress). This version
of the RDF/XML Syntax Specification (Revised) is
http://www.w3.org/TR/2002/WD-rdf-syntax-grammar-20021108/. The
latest version is at http://www.w3.org/TR/rdf-syntax-grammar/.
- [RDF-SEMANTICS]
- RDF Semantics,
P. Hayes, World Wide
Web Consortium, 12 November 2002 (work in progress).
This version of the RDF Semantics is
http://www.w3.org/TR/2002/WD-rdf-mt-20021112/. The latest version
is at http://www.w3.org/TR/rdf-mt/.
- [RDF-VOCABULARY]
- RDF Vocabulary
Description Language 1.0: RDF Schema, Dan Brickley, R.V.
Guha, World Wide Web Consortium, April 2002 (work in progress).
This version of the RDF Vocabulary
Description Language is http://www.w3.org/TR/2002/WD-rdf-schema-20021112/.
The latest version is at http://www.w3.org/TR/rdf-schema/.
- [RDF-MIME-TYPE]
-
Application/rdf+xml Media Type Registration, A. Swartz,
IETF Internet Draft, March 2002 (work in progress). Version
available at
http://www.ietf.org/internet-drafts/draft-swartz-rdfcore-rdfxml-mediatype-01.txt.
- [XML]
- Extensible Markup
Language (XML) 1.0, Second Edition, T. Bray, J. Paoli,
C.M. Sperberg-McQueen and E. Maler, Editors. World Wide Web
Consortium. 6 October 2000. This version is
http://www.w3.org/TR/2000/REC-xml-20001006. The
latest version of XML is available at http://www.w3.org/TR/REC-xml.
- [XML-NS]
- Namespaces in
XML, T. Bray, D. Hollander and A. Layman, Editors.
World Wide Web Consortium. 14 January 1999. This version is
http://www.w3.org/TR/1999/REC-xml-names-19990114/.
The latest version
of Namespaces in XML is available at
http://www.w3.org/TR/REC-xml-names/.
- [RFC-2279]
- RFC 2279
- UTF-8, a transformation format of ISO 10646, F.
Yergeau, IETF, January 1998. This document is
http://www.isi.edu/in-notes/rfc2279.txt.
- [URI]
- RFC
2396 - Uniform Resource Identifiers (URI): Generic
Syntax, T. Berners-Lee, R. Fielding and L. Masinter,
IETF, August 1998. This document is
http://www.isi.edu/in-notes/rfc2396.txt.
- [HTTP]
- RFC
2616 - Hypertext Transfer Protocol -- HTTP/1.1,
R. Fielding, UC Irvine, J. Gettys, J. Mogul, H. Frystyk, L. Masinter,
P. Leach,
T. Berners-Lee,
IETF, August 1998. This document is
http://www.isi.edu/in-notes/rfc2616.txt.
- [URI-REG]
- RFC
2717 - Registration Procedures for URL Scheme Names,
R. Petke and I. King, IETF, November 1999. This document is
http://www.isi.edu/in-notes/rfc2717.txt.
- [RFC-2732]
- RFC 2732
- Format for Literal IPv6 Addresses in URL's, R. Hinden,
B. Carpenter and L. Masinter, IETF, December 1999. This document
is http://www.isi.edu/in-notes/rfc2732.txt.
- [UNICODE]
- The Unicode Standard, Version 3, The Unicode
Consortium, Addison-Wesley, 2000. ISBN 0-201-61633-5, as updated
from time to time by the publication of new versions. (See http://www.unicode.org/unicode/standard/versions/
for the latest version and additional information on versions of
the standard and of the Unicode Character Database).
- [NFC]
- Unicode
Normalization Forms, Unicode Standard Annex #15, Mark
Davis, Martin Dürst. (See http://www.unicode.org/unicode/reports/tr15/
for the latest version).
- [RFC-3066]
- RFC 3066
- Tags for the Identification of Languages, H.
Alvestrand, IETF, January 2001. This document is
http://www.isi.edu/in-notes/rfc3066.txt.
- [XML-C14N]
- Canonical
XML. J. Boyer. W3C Recommendation, March 2001.
- Available at http://www.w3.org/TR/2001/REC-xml-c14n-20010315
- Available at http://www.ietf.org/rfc/rfc3076.txt
- [XML-SCHEMA2]
- XML Schema
Part 2: Datatypes - W3C Recommendation, World Wide Web
Consortium, 2 May 2001.
9.2 Informational
References
- [RDF-TESTS]
- RDF Test
Cases, Jan Grant and Dave Beckett, Editors. Work in
progress. World Wide Web Consortium, 29 April 2002. This version
of the RDF Test Cases is
http://www.w3.org/TR/2002/WD-rdf-testcases-20021112/.
The latest version of the RDF Test Cases is at http://www.w3.org/TR/rdf-testcases/.
- [RDF-PRIMER]
- RDF
Primer, F. Manola, E. Miller, Editors, World Wide Web
Consortium W3C Working Draft, work in progress, 26 April 2002.
This version of the RDF Primer is
http://www.w3.org/TR/2002/WD-rdf-primer-20020426/. The latest version of the RDF
Primer is at http://www.w3.org/TR/rdf-primer/.
- [CHARMOD]
- Character Model
for the World Wide Web 1.0, M. Dürst, F. Yergeau,
R. Ishida, M. Wolf, A. Freytag, T Texin, Editors, World Wide Web
Consortium Working Draft, work in progress, 20 February 2002.
This version of the Character Model is
http://www.w3.org/TR/2002/WD-charmod-20020220/. The latest version of the Character
Model is at http://www.w3.org/TR/charmod/.
- [XML-1.1]
- Extensible Markup
Language (XML) 1.1, John Cowan, Editor. World Wide Web
Consortium Working Draft 25 April 2002. (Work in
progress)
- [XML-NAMESPACES-1.1]
- Namespaces
in XML 1.1, Tim Bray, Dave Hollander, Andrew Layman,
Richard Tobin, Editors. World Wide Web Consortium Working Draft 5
September 2002. (Work in progress)
- [XML-INFOSET]
- XML
Information Set, John Cowan and Richard Tobin, W3C
Recommendation, 24 October 2001. This document is
http://www.w3.org/TR/xml-infoset/.
- [OWL]
- OWL Web
Ontology Language 1.0 Reference, Mike Dean, Dan Connolly,
Frank van Harmelen, James Hendler, Ian Horrocks, Deborah L.
McGuinness, Peter F. Patel-Schneider, and Lynn Andrea Stein. W3C
Working Draft 29 July 2002. Latest version is available at http://www.w3.org/TR/owl-ref/.
- [SOWA]
- Knowledge Representation: Logical, Philosophical and
Computational Foundations, John F. Sowa, Brookes/Cole, 2000.
ISBN 0-534-94965-7.
- [RDF-MS]
- Resource
Description Framework (RDF) Model and Syntax
Specification, O. Lassila and R. Swick, Editors. World
Wide Web Consortium. 22 February 1999. This version is
http://www.w3.org/TR/1999/REC-rdf-syntax-19990222/. The latest version of RDF
M&S is available at
http://www.w3.org/TR/REC-rdf-syntax/.
- [RDF-SCHEMA]
-
Resource
Description Framework (RDF) Schema Specification 1.0, Dan
Brickley and R. V. Guha, W3C Candidate Recommendation, 27 March
2000. This document is http://www.w3.org/TR/2000/CR-rdf-schema-20000327/.
This section to be removed before last call.
Changes after renumbering
- Condensed acknowledgements section.
- Rehacked IRI to URI text yet another time, on the observation
that UTF-8 does not use ASCII character codes except to represent
ASCII characters.
- Added extra phrase to section 4.3 expressing caution about 3rd party vocab.
- Rehacked IRI to URI text (again).
- Add blank node section
- Moved old 2.5 to new 3.7 (reserved URIs).
- Reworked section 1.1 to follow new structure.
- Updated internal cross-references to use the new section numbers.
- Updated some #section- internal cross references to be #dfn- internal
cross references (particularly for "URI reference" and "XMLLiteral"
Below using old numbering
Since 21st November
- Minor wording changes to:
- Section 1, final para
- Section 1.1, 1st para
- Section 1.1, final para
- Section 2.1, final para
- 2.2.6
- Section 2.3.2, 1st para
- Section 2.3.2, 2nd para
- Section 2.3.5, 2nd para, diagram and description, and next para
- Section 3 hyperlink to XML 1.1 for "fully normalized"
- Section 4 new note moved to very end of section and rephrased
- 4.3 I to M
- Hyperlink RDF URI Reference add beginning of section 5
- Section 5, 4th bullet
- Section 5, 3rd bullet
- Section 2.4 moved (normative) from every subsection onto the main section heding
- Section 4.4 added note referring to IRIEverywhere-27
- Section 4.3 added para to describe what happens to bnodes
- 2.4.3, 2.4.4, 2.4.5 (renamed from 2.4.3.1) rewritten, order swapped.
- Added anti-recommendation for xsd:QName as an example anti-recommendation of some (unspecified) XSD types
- References reworked, HTTP added normatively (from new 2.4.3), RDF Test Cases (amongst others) now informative reference (it is mentioned
in section 4)
- Section 4.5.2 changed description of ill-formed literal to better align with MT
Before 21st November
- Changed all <code> to <span class="code">
- Changed all blockquotes to class="note" or class="block"
- Changed all Note:s to follow Beckett's format
- Created last call status of this document
- Deleted background reading (and Hunter and Davis) (to primer), deleted unused references.
- Deleted character normalization section, renumbered 5
- Added sentence in introduction to make only normative parts normative.
- Permitted values to not have lexical forms
- Deleted 2.3.5 XML Serialization Syntax, duplicate of 2.2.4 XML-based syntax
- Reworked 2.3.6 Representation of Simple Facts.
- Deleted old examples of
oil floating on water (these did not work for me, Brian or Peter)
- deleted use of predicate logic notation. (not adequately introduced,
an adequate introduction would be hard work, not adequately clear
how this relates to RDF)
- Added Fig 5
from primer (piggy backing)
- added discussion of relational databases. (DanC suggestion)
- deleted discussion of HOL - this is not discussed in the RDF Semantics.
RDF Concepts does not have mathematical
depth to go in this space unaided.
- Deleted almost all of 2.3.7 entailment.
This is redundant with equivalent clearer text in the Model theory,
which I link to.
- Deleted last para (garbage in - garbage out) of 2.4.2 Social meaning,
added new paragraph from DanC (msg 0001 in Nov) on defining
information. Unfortunately "defining information" isn't defined.
More work needed.
- Rework of 2.4.3 Interaction .. (Normative).
- Added notion of semantic extension
- Added clarification of what sort of entailment
is intended (either XSD or that of the extension)
- Moved text around, now clearer that this is redundancy.
- Moved summary text from end of 2.4.3.1 into 2.4.3
- 2.4.3.1 now Informative
- Changed RDF Schema ref to point to CR
- Made 2.4.4 normative with minor edit
- In 2.5 Deleted where? todo - answer "whole doc", so link left unchanged.
- Added new Note: to partially address pfps concerns "Major comment"
about irrelevancy of syntactic equality (section 4)
- Minor change to wording in URI reference section 4.4.
- Delete comment about namespaces IRI without doing the work
- Changed ref to section 3.4 of syntax doc
- Capitalized section headings
- Removed xtocs except those used by syntax, which have
duplicate new names.
- Moved all dfn into normative parts of the document, with the
exception of dfn-blank-node-id and dfn-URIref.
Left the old locations as hyperlinked (typically forward) to the
new ones.
