update
authorGuus Schreiber <guus.schreiber@vu.nl>
Thu, 20 Feb 2014 23:26:56 +0100
changeset 1981 e232aa89ad17
parent 1980 137939198aef
child 1982 c7acfc31edf8
update
REC-drafts/NOTE-rdf11-datasets-20140225/Overview.html
--- a/REC-drafts/NOTE-rdf11-datasets-20140225/Overview.html	Thu Feb 20 23:11:54 2014 +0100
+++ b/REC-drafts/NOTE-rdf11-datasets-20140225/Overview.html	Thu Feb 20 23:26:56 2014 +0100
@@ -0,0 +1,727 @@
+<!DOCTYPE html>
+<html lang="en" typeof="bibo:Document " about="" property="dcterms:language" content="en" prefix="bibo: http://purl.org/ontology/bibo/ w3p: http://www.w3.org/2001/02pd/rec54#" xmlns="http://www.w3.org/1999/xhtml">
+<head>
+    <meta content="text/html; charset=utf-8" http-equiv="Content-Type" />
+    <title>RDF 1.1: On Semantics of RDF Datasets</title>
+   
+    
+    
+	<style type="text/css">
+        h5 {
+            margin-bottom: 0;
+            padding-bottom: 0.15em;
+            border-bottom: 1px solid #ccc;
+            background: transparent;
+            color: #005a9c;
+            font-weight: normal;
+            text-align: left;
+            font-family: sans-serif;
+            margin-left: 0;
+	    margin-left: 1em
+        }
+    </style>
+  <style>/*****************************************************************
+ * ReSpec 3 CSS
+ * Robin Berjon - http://berjon.com/
+ *****************************************************************/
+
+/* --- INLINES --- */
+em.rfc2119 { 
+    text-transform:     lowercase;
+    font-variant:       small-caps;
+    font-style:         normal;
+    color:              #900;
+}
+
+h1 acronym, h2 acronym, h3 acronym, h4 acronym, h5 acronym, h6 acronym, a acronym,
+h1 abbr, h2 abbr, h3 abbr, h4 abbr, h5 abbr, h6 abbr, a abbr {
+    border: none;
+}
+
+dfn {
+    font-weight:    bold;
+}
+
+a.internalDFN {
+    color:  inherit;
+    border-bottom:  1px solid #99c;
+    text-decoration:    none;
+}
+
+a.externalDFN {
+    color:  inherit;
+    border-bottom:  1px dotted #ccc;
+    text-decoration:    none;
+}
+
+a.bibref {
+    text-decoration:    none;
+}
+
+cite .bibref {
+    font-style: normal;
+}
+
+code {
+    color:  #ff4500;
+}
+
+/* --- TOC --- */
+.toc a, .tof a {
+    text-decoration:    none;
+}
+
+a .secno, a .figno {
+    color:  #000;
+}
+
+ul.tof, ol.tof {
+    list-style: none outside none;
+}
+
+.caption {
+    margin-top: 0.5em;
+    font-style:   italic;
+}
+
+/* --- TABLE --- */
+table.simple {
+    border-spacing: 0;
+    border-collapse:    collapse;
+    border-bottom:  3px solid #005a9c;
+}
+
+.simple th {
+    background: #005a9c;
+    color:  #fff;
+    padding:    3px 5px;
+    text-align: left;
+}
+
+.simple th[scope="row"] {
+    background: inherit;
+    color:  inherit;
+    border-top: 1px solid #ddd;
+}
+
+.simple td {
+    padding:    3px 10px;
+    border-top: 1px solid #ddd;
+}
+
+.simple tr:nth-child(even) {
+    background: #f0f6ff;
+}
+
+/* --- DL --- */
+.section dd > p:first-child {
+    margin-top: 0;
+}
+
+.section dd > p:last-child {
+    margin-bottom: 0;
+}
+
+.section dd {
+    margin-bottom:  1em;
+}
+
+.section dl.attrs dd, .section dl.eldef dd {
+    margin-bottom:  0;
+}
+
[email protected] print {
+    .removeOnSave {
+        display: none;
+    }
+}
+</style><style>/* --- EXAMPLES --- */
+div.example-title {
+    min-width: 7.5em;
+    color: #b9ab2d;
+}
+div.example-title span {
+    text-transform: uppercase;   
+}
+aside.example, div.example, div.illegal-example {
+    padding: 0.5em;
+    margin: 1em 0;
+    position: relative;
+    clear: both;
+}
+div.illegal-example { color: red }
+div.illegal-example p { color: black }
+aside.example, div.example {
+    padding: .5em;
+    border-left-width: .5em;
+    border-left-style: solid;
+    border-color: #e0cb52;
+    background: #fcfaee;    
+}
+
+aside.example div.example {
+    border-left-width: .1em;
+    border-color: #999;
+    background: #fff;
+}
+aside.example div.example div.example-title {
+    color: #999;
+}
+</style><link rel="stylesheet" href="https://www.w3.org/StyleSheets/TR/W3C-WG-NOTE" />
+<!--[if lt IE 9]><script src='https://www.w3.org/2008/site/js/html5shiv.js'></script><![endif]-->
+</head>
+
+  <body class="h-entry" role="document" id="respecDocument"><div class="head" role="contentinfo" id="respecHeader">
+  <p>
+    
+      <a href="http://www.w3.org/"><img width="72" height="48" alt="W3C" src="https://www.w3.org/Icons/w3c_home" /></a>
+    
+  </p>
+  <h1 property="dcterms:title" id="title" class="title p-name">RDF 1.1: On Semantics of RDF Datasets</h1>
+  
+  <h2 content="2014-02-24T23:00:00.000Z" datatype="xsd:dateTime" property="dcterms:issued" id="w3c-working-group-note-25-february-2014"><abbr title="World Wide Web Consortium">W3C</abbr> Working Group Note <time datetime="2014-02-25" class="dt-published">25 February 2014</time></h2>
+  <dl>
+    
+      <dt>This version:</dt>
+      <dd><a href="http://www.w3.org/TR/2014/NOTE-rdf11-datasets-20140225/" class="u-url">http://www.w3.org/TR/2014/NOTE-rdf11-datasets-20140225/</a></dd>
+      <dt>Latest published version:</dt>
+      <dd><a href="http://www.w3.org/TR/rdf11-datasets/">http://www.w3.org/TR/rdf11-datasets/</a></dd>
+    
+    
+    
+    
+    
+    
+    
+      <dt>Previous version:</dt>
+      <dd><a href="http://www.w3.org/TR/2013/WD-rdf11-datasets-20131217/" rel="dcterms:replaces">http://www.w3.org/TR/2013/WD-rdf11-datasets-20131217/</a></dd>
+    
+    
+    <dt>Editor:</dt>
+    <dd inlist="" rel="bibo:editor" class="p-author h-card vcard"><span typeof="foaf:Person"><a href="http://www.emse.fr/~zimmermann/" content="Antoine Zimmermann" property="foaf:name" rel="foaf:homepage" class="u-url url p-name fn">Antoine Zimmermann</a>, <a href="http://www.emse.fr/" class="p-org org h-org h-card" rel="foaf:workplaceHomepage">École Nationale Supérieure des Mines de Saint-Étienne</a></span>
+</dd>
+
+    
+    
+  </dl>
+  
+    <p>
+      Please check the <a href="http://www.w3.org/2014/rdf1.1-errata"><strong>errata</strong></a> for any errors or issues
+      reported since publication.
+    </p>
+  
+  
+  
+  
+    
+      <p class="copyright">
+        <a href="http://www.w3.org/Consortium/Legal/ipr-notice#Copyright">Copyright</a> ©
+        2014
+        
+        <a href="http://www.w3.org/"><abbr title="World Wide Web Consortium">W3C</abbr></a><sup>®</sup>
+        (<a href="http://www.csail.mit.edu/"><abbr title="Massachusetts Institute of Technology">MIT</abbr></a>,
+        <a href="http://www.ercim.eu/"><abbr title="European Research Consortium for Informatics and Mathematics">ERCIM</abbr></a>,
+        <a href="http://www.keio.ac.jp/">Keio</a>, <a href="http://ev.buaa.edu.cn/">Beihang</a>), 
+        
+        All Rights Reserved.
+        
+        <abbr title="World Wide Web Consortium">W3C</abbr> <a href="http://www.w3.org/Consortium/Legal/ipr-notice#Legal_Disclaimer">liability</a>,
+        <a href="http://www.w3.org/Consortium/Legal/ipr-notice#W3C_Trademarks">trademark</a> and
+        
+          <a href="http://www.w3.org/Consortium/Legal/copyright-documents">document use</a>
+        
+        rules apply.
+      </p>
+    
+  
+  <hr />
+</div>
+
+<section id="abstract" class="introductory" property="dcterms:abstract" datatype="" typeof="bibo:Chapter" resource="#ref" rel="bibo:Chapter"><h2 aria-level="1" role="heading" id="h2_abstract">Abstract</h2>
+  <p>RDF defines the concept of RDF datasets, a structure composed of a distinguished RDF graph and zero or more named graphs, being pairs comprising an IRI or blank node and an RDF graph. While RDF graphs have a formal model-theoretic semantics that determines what arrangements of the world make an RDF graph true, no agreed formal semantics exists for RDF datasets. This document presents some issues to be addressed when defining a formal semantics for datasets, as they have been discussed in the RDF 1.1 Working Group, and specify several semantics in terms of model theory, each corresponding to a certain design choice for RDF datasets.</p>
+</section><section class="introductory" id="sotd" typeof="bibo:Chapter" resource="#ref" rel="bibo:Chapter"><h2 aria-level="1" role="heading" id="h2_sotd">Status of This Document</h2>
+  
+    
+      
+        <p>
+          <em>This section describes the status of this document at the time of its publication.
+          Other documents may supersede this document. A list of current <abbr title="World Wide Web Consortium">W3C</abbr> publications and the
+          latest revision of this technical report can be found in the <a href="http://www.w3.org/TR/"><abbr title="World Wide Web Consortium">W3C</abbr> technical reports index</a> at
+          http://www.w3.org/TR/.</em>
+        </p>
+        
+  <p>The document is part of the RDF 1.1 document suite. The RDF
+  Working Group did not standardize the semantics of RDF
+  datasets. This note discusses issues in specifying such semantics. </p>
+
+        <p>
+          This document was published by the <a href="http://www.w3.org/2011/rdf-wg/">RDF Working Group</a> as a Working Group Note.
+          
+          
+            If you wish to make comments regarding this document, please send them to 
+            <a href="mailto:[email protected]">[email protected]</a> 
+            (<a href="mailto:[email protected]?subject=subscribe">subscribe</a>,
+            <a href="http://lists.w3.org/Archives/Public/public-rdf-comments/">archives</a>).
+          
+          
+          
+          
+            All comments are welcome.
+          
+        </p>
+        
+        
+          <p>
+            Publication as a Working Group Note does not imply endorsement by the <abbr title="World Wide Web Consortium">W3C</abbr>
+            Membership. This is a draft document and may be updated, replaced or obsoleted by other
+            documents at any time. It is inappropriate to cite this document as other than work in
+            progress.
+          </p>
+        
+        
+        
+        <p>
+          
+            This document was produced by a group operating under the 
+            <a href="http://www.w3.org/Consortium/Patent-Policy-20040205/" rel="w3p:patentRules" about="" id="sotd_patent">5 February 2004 <abbr title="World Wide Web Consortium">W3C</abbr> Patent
+            Policy</a>.
+          
+          
+          
+            
+              <abbr title="World Wide Web Consortium">W3C</abbr> maintains a <a rel="disclosure" href="http://www.w3.org/2004/01/pp-impl/46168/status">public list of any patent
+              disclosures</a> 
+            
+            made in connection with the deliverables of the group; that page also includes
+            instructions for disclosing a patent. An individual who has actual knowledge of a patent
+            which the individual believes contains
+            <a href="http://www.w3.org/Consortium/Patent-Policy-20040205/#def-essential">Essential
+            Claim(s)</a> must disclose the information in accordance with
+            <a href="http://www.w3.org/Consortium/Patent-Policy-20040205/#sec-Disclosure">section
+            6 of the <abbr title="World Wide Web Consortium">W3C</abbr> Patent Policy</a>.
+          
+          
+        </p>
+        
+      
+    
+  
+</section><section id="toc"><h2 class="introductory" aria-level="1" role="heading" id="h2_toc">Table of Contents</h2><ul class="toc" role="directory" id="respecContents"><li class="tocline"><a href="#sec-introduction" class="tocxref"><span class="secno">1. </span>Introduction</a></li><li class="tocline"><a href="#sec-existing-work" class="tocxref"><span class="secno">2. </span>Existing Work</a><ul class="toc"><li class="tocline"><a href="#sec-rdf-semantics" class="tocxref"><span class="secno">2.1 </span>The RDF semantics</a></li><li class="tocline"><a href="#sec-named-graph-paper" class="tocxref"><span class="secno">2.2 </span>The Named Graphs paper</a></li><li class="tocline"><a href="#sec-sparql" class="tocxref"><span class="secno">2.3 </span>The SPARQL specification</a></li></ul></li><li class="tocline"><a href="#options" class="tocxref"><span class="secno">3. </span>Formal definitions</a><ul class="toc"><li class="tocline"><a href="#named-graphs-have-no-meaning" class="tocxref"><span class="secno">3.1 </span>Named graphs have no meaning</a></li><li class="tocline"><a href="#default-graph-as-union-or-as-merge" class="tocxref"><span class="secno">3.2 </span>Default graph as union or as merge</a></li><li class="tocline"><a href="#the-graph-name-denotes-the-named-graph-or-the-graph" class="tocxref"><span class="secno">3.3 </span>The graph name denotes the named graph or the graph</a></li><li class="tocline"><a href="#each-named-graph-defines-its-own-context" class="tocxref"><span class="secno">3.4 </span>Each named graph defines its own context</a></li><li class="tocline"><a href="#named-graph-are-in-a-particular-relationship-with-what-the-graph-name-dereferences-to" class="tocxref"><span class="secno">3.5 </span>Named graph are in a particular relationship with what the graph name dereferences to</a></li><li class="tocline"><a href="#quad-semantics" class="tocxref"><span class="secno">3.6 </span>Quad semantics</a></li><li class="tocline"><a href="#quoted-graphs" class="tocxref"><span class="secno">3.7 </span>Quoted graphs</a></li><li class="tocline"><a href="#relationship-with-sparql-entailment-regime" class="tocxref"><span class="secno">3.8 </span>Relationship with SPARQL entailment regime</a></li></ul></li><li class="tocline"><a href="#declaring" class="tocxref"><span class="secno">4. </span>Declaring the intended semantics</a></li><li class="tocline"><a href="#section-acknowledgements" class="tocxref"><span class="secno">A. </span>Acknowledgements</a></li><li class="tocline"><a href="#changes" class="tocxref"><span class="secno">B. </span>Changes since the first public working draft of 17 December 2013</a></li><li class="tocline"><a href="#references" class="tocxref"><span class="secno">C. </span>References</a><ul class="toc"><li class="tocline"><a href="#informative-references" class="tocxref"><span class="secno">C.1 </span>Informative references</a></li></ul></li></ul></section>
+
+
+
+<section id="sec-introduction" typeof="bibo:Chapter" resource="#ref" rel="bibo:Chapter">
+    
+<!--OddPage-->
+<h2 id="introduction" aria-level="1" role="heading"><span class="secno">1. </span>Introduction</h2>
+
+    <p>The <a href="http://www.w3.org/TR/rdf11-concepts/">Resource Description Framework (RDF)</a> version 1.1 defines the concept of RDF datasets, a notion introduced first by the SPARQL specification [<cite><a class="bibref" href="#bib-RDF-SPARQL-QUERY">RDF-SPARQL-QUERY</a></cite>].  An RDF dataset is defined as a collection of <a title="RDF graph" href="http://www.w3.org/TR/rdf11-concepts/#dfn-rdf-graph">RDF graphs</a> where all but one are <a title="named graph" href="http://www.w3.org/TR/rdf11-concepts/#dfn-named-graph">named graphs</a> associated with an <a href="http://www.w3.org/TR/rdf11-concepts/#dfn-iri">IRI</a> or <a href="http://www.w3.org/TR/rdf11-concepts/#dfn-blank-node">blank node</a> (the <a href="http://www.w3.org/TR/rdf11-concepts/#dfn-graph-name">graph name</a>), and the unnamed default graph [<cite><a class="bibref" href="#bib-RDF11-CONCEPTS">RDF11-CONCEPTS</a></cite>].  Given that RDF is a data model equipped with a formal semantics [<cite><a class="bibref" href="#bib-RDF11-MT">RDF11-MT</a></cite>], it is natural to try and define what the semantics of datasets should be.</p>
+
+    <p>The RDF Working Group was <a href="http://www.w3.org/2011/01/rdf-wg-charter">chartered</a>
+     to provide such semantics in its recommendation:</p>
+    <blockquote>
+        <h2 id="required-features">Required features</h2>
+        <ul><li id="ng">Standardize a model and semantics for multiple graphs and graphs stores
+	  [...]</li></ul>
+    </blockquote>
+
+	<p>However, discussions within the Working Group revealed that very different assumptions currently exist among practitioners, who are using RDF datasets with their own intuition of the meaning of datasets.  Defining the semantics of RDF datasets requires an understanding of the two following issues:</p>
+	<ul>
+		<li>what the graph names (IRI or blank node) denote, or what are the constraints on what the names can possibly denote;</li>
+		<li>how the triples in the named graph influence the meaning of the dataset.</li>
+	</ul>
+	
+	<p>Possible choices for the denotation of graph names are:</p>
+	<ul>
+		<li>it denotes the RDF graph in the (name,graph) pair;</li>
+		<li>it denotes the pair itself;</li>
+		<li>it denotes a supergraph of the graph inside the pair;</li>
+		<li>it denotes a container for the RDF graph, that is, a mutable element;</li>
+		<li>it denotes the information resource that can be obtained by dereferencing the graph name, when it is an IRI and if such resource exists;</li>
+		<li>it denotes an arbitrary resource that is constrained to be in a special relationship (for instance, <code>ex:hasGraph</code> with the graph inside the pair;</li>
+		<li>it denotes the deductive closure of the graph inside the pair;</li>
+		<li>it denotes an arbitrary resource that is in a special relation with the deductive closure, or with a superset of the graph;</li>
+		<li>it denotes an unconstrained resource;</li>
+		<li>etc.</li>
+	</ul>
+	<p>Even with an intuitive understanding of what the truth of an RDF dataset should be, the precise model-theoretic formalization can be subject to many variations.</p>
+	
+	<p>Possible choices for the meaning of the triples in the named graphs include:</p>
+	<ul>
+		<li>all the triples in the named graphs and default graphs contribute to the truth of the dataset in the same way triples contribute to the truth of a single graph;</li>
+		<li>the triples of the named graphs are considered part of the knowledge of the default graph;</li>
+		<li>different named graphs indicate different “contexts”, or different “worlds”, and the triples inside a named graph are assumed to be true in the associated context only; in this case, the default graph can be interpreted as yet another context, or be considered as a “global context” which must hold in all contexts, or again as metadata about the contexts;</li>
+		<li>the named graphs are considered as “hypothetical graphs” which bear the same consequences as their RDF graphs, but they do not participate in the truth of the dataset; this is similar to the “context” option above but it allows a graph to contain contradictions without making the dataset contradictory;</li>
+		<li>the triples are merely quoted without any indication of what they mean; they do not participate in the truth of a dataset.</li>
+	</ul>
+	
+	<p>Depending on the assumptions taken with respect to these two issues, the formalization of the semantics of RDF datasets can vary very much.</p>
+	<p>In this Working Group Note, we examine the propositions that were given by Working Group members in the course of a one-year-and-a-half debate.</p>
+</section>
+	
+<section id="sec-existing-work" typeof="bibo:Chapter" resource="#ref" rel="bibo:Chapter">
+	
+<!--OddPage-->
+<h2 id="existing-work" aria-level="1" role="heading"><span class="secno">2. </span>Existing Work</h2>
+
+	<p>We first take a look at existing specifications that could shed a light on how the semantics of datasets should be defined. There are three important documents that closely relate to the issue:</p>
+	<ul>
+		<li>the RDF semantics, as standardized in 2004 [<cite><a class="bibref" href="#bib-RDF-MT">RDF-MT</a></cite>] and its revision in 2014 [<cite><a class="bibref" href="#bib-RDF11-MT">RDF11-MT</a></cite>];</li>
+		<li>the article <i>Named Graphs</i> by Carroll et al. [<cite><a class="bibref" href="#bib-CARROLL-05">CARROLL-05</a></cite>], which first introduced the term “named graph” and contains a section on formal semantics;</li>
+		<li>the SPARQL specification [<cite><a class="bibref" href="#bib-SPARQL11-QUERY">SPARQL11-QUERY</a></cite>], which defines RDF datasets and how to query them.</li>
+	</ul>
+	
+	<section id="sec-rdf-semantics" typeof="bibo:Chapter" resource="#ref" rel="bibo:Chapter">
+		<h3 id="rdf-semantics" aria-level="2" role="heading"><span class="secno">2.1 </span>The RDF semantics</h3>
+		
+		
+		<p>As described in RDF 1.1 Semantics, a set of RDF graphs can be interpreted as either the union of the graphs or as their merge ([<cite><a class="bibref" href="#bib-RDF11-MT">RDF11-MT</a></cite>], Technical note, Section 5.2).</p>
+		<p>So, a first intuition could be that an RDF dataset, being presented as a collection of graph, should mean exactly what the set of its named graphs and default graph means. However, this completely leaves out the potential meaning of graph names, which could be valuable indicators for the truth of a dataset.</p>
+		<p>Formally, the semantics of RDF defines a notion of interpretation for a set of triples (i.e., an RDF graph), which then can extend to a set of RDF graphs. A dataset is neither a set of triples nor a set of RDF graphs. It is a set of <em>pairs</em> (name,graph) together with a distinguished RDF graph and the RDF semantics does not itself specify a meaning for these pairs.</p>
+		<p>Conceptually, it is problematic since one of the reasons for separating triples into distinct (named) graphs is to avoid propagating the knowledge of one graph to the entire triple base. Sometimes, contradicting graphs need to coexist in a store. Sometimes named graphs are not endorsed by the system as a whole, they are merely quoted.</p>
+	</section>
+	
+	<section id="sec-named-graph-paper" typeof="bibo:Chapter" resource="#ref" rel="bibo:Chapter">
+		<h3 id="named-graph" aria-level="2" role="heading"><span class="secno">2.2 </span>The Named Graphs paper</h3>
+
+		<p>In Carroll et al. [<cite><a class="bibref" href="#bib-CARROLL-05">CARROLL-05</a></cite>], a named graph is defined as a pair comprising an IRI and an RDF graph. The notion of RDF interpretation is extended to named graphs by saying that the graph IRI in the pair must denote the pair itself. This non-ambiguously answers the question of what the graph IRI denotes. This can then be used to define proper dataset semantics, as shown in Section 3.3. Note that it is deliberate that the graph IRI is forced to denote the pair rather than the RDF graph. This is done in order to differentiate two occurrences of the same RDF graph that could have been published at different times, or authored by different people. A simple reference to the RDF graph would simply identify a mathematical set, which is the same wherever it occurs.</p> 
+	</section>
+	
+	<section id="sec-sparql" typeof="bibo:Chapter" resource="#ref" rel="bibo:Chapter">
+		<h3 id="sparql" aria-level="2" role="heading"><span class="secno">2.3 </span>The SPARQL specification</h3>
+
+		<p>RDF 1.1 borrows the notion of RDF dataset from the SPARQL specification [<cite><a class="bibref" href="#bib-SPARQL11-QUERY">SPARQL11-QUERY</a></cite>], with the notable different that RDF 1.1 allows graph names to be blank nodes. So, in order to understand the semantics of dataset, it is worthwhile looking at how SPARQL uses datasets. SPARQL defines what answers to queries posed against a dataset are, but it never defines the notions that are key to a model theoretic formal semantics: it neither presents interpretations nor entailment. Still, it is worth noticing that a ASK query that only contains a basic graph pattern without variables yields the same result as asking whether the RDF graph in the query is entailed by the default graph. Based on this observation, one may extrapolate that a ASK query containing no variables and only <code>GRAPH</code> graph patterns would yield the same result as dataset entailment.</p>
+		<p>This can be used as a guide for formalizing the semantics of datasets, as can be seen in Section 3.7.</p>
+	</section>
+	
+</section>
+    
+
+<section id="options" typeof="bibo:Chapter" resource="#ref" rel="bibo:Chapter">
+
+	
+<!--OddPage-->
+<h2 id="formal-definitions" aria-level="1" role="heading"><span class="secno">3. </span>Formal definitions</h2>
+
+	<p>This section presents the different options proposed, together with their formal definitions. We include each time a discussion of the merits of the choice, and some properties.</p>
+	<p>Each subsection here describes the option informally, before presenting the formal definitions. As far as the formal part is concerned, one has to be familiar with the definitions given in RDF Semantics. We rely a lot on the notion of interpretation and entailment, which are key in model theory.</p>
+	<p>All proposed options share some commonalities:</p>
+	<ul>
+		<li>they behave identically on datasets that do not contain named graphs; precisely, entailment between datasets having no named graph is carried out in the same way as entailment between RDF graphs;</li>
+		<li>they define notions of interpretation and entailment in function of the corresponding notions in RDF Semantics.</li>
+	</ul>
+
+	<p>The first item above reflects the indication given in [<cite><a class="bibref" href="#bib-RDF11-MT">RDF11-MT</a></cite>] (Section <a href="http://www.w3.org/TR/rdf11-mt/#rdf-datasets">&quot;RDF Datasets&quot;</a>) with respect to dataset semantics: <q>a dataset <em class="rfc2119" title="SHOULD">SHOULD</em> be understood to have at least the same content as its default graph</q>.</p>
+	<p>The dependency on RDF semantics is such that most of the dataset semantics below reuse RDF semantics as a black box.  More precisely, it is not necessary to be specific about how truth of RDF graphs is defined as long as there is a notion of interpretation that determines the truth of a set of triples.  In fact, RDF Semantics does not define a single formal semantics, but multiple ones, depending on what standard vocabularies are endorsed by an application (such as the RDF, RDFS, XSD vocabularies).  Consequently, we parameterize most of the definitions below with an unspecified entailment regime <var>E</var>.  RDF 1.1 defines the following entailment regimes: simple entailment, D-entailment, RDF-entailment, RDFS-entailment.  Additionally, OWL defines two other entailment regimes, based on the OWL 2 direct semantics [<cite><a class="bibref" href="#bib-OWL2-DIRECT-SEMANTICS">OWL2-DIRECT-SEMANTICS</a></cite>] and the OWL 2 RDF-based semantics [<cite><a class="bibref" href="#bib-OWL2-RDF-BASED-SEMANTICS">OWL2-RDF-BASED-SEMANTICS</a></cite>].</p>
+	<p>For an entailment regime <var>E</var>, we will say <var>E</var>-interpretation, <var>E</var>-entailment, <var>E</var>-equivalence, <var>E</var>-consistency to describe the notions of interpretations, entailment, equivalence and consistency associated with the regime <var>E</var>. Similarly, we will use the terms dataset-interpretation, dataset-entailment, dataset-equivalence, dataset-consistency for the corresponding notions in dataset semantics.</p>
+
+	<section typeof="bibo:Chapter" resource="#ref" rel="bibo:Chapter" id="named-graphs-have-no-meaning">
+		<h3 id="no-meaning" aria-level="2" role="heading"><span class="secno">3.1 </span>Named graphs have no meaning</h3>
+
+		<p>The simplest semantics defines an interpretation of a dataset as an RDF interpretation of the default graph. The dataset is true, according to the interpretation, if and only if the default graph is true. In this case, any datasets that have equivalent default graphs are dataset-equivalent.</p>
+		<p>This means that the named graphs in a dataset are irrelevant to determining the truth of a dataset. Therefore, arbitrary modifications of the named graphs in a graph store always yield a logically equivalent dataset, according to this semantics.</p>
+		<h3 class="formal" id="f1">Formalization</h3>
+		<p>Considering an entailment regime <var>E</var>, a dataset-interpretation with respect to <var>E</var> is an <var>E</var>-interpretation. Given an interpretation <var>I</var> and a dataset <var>D</var> having default graph <var>G</var> and named graphs <var>NG</var>, <var>I</var>(<var>D</var>) is true if and only if <var>I</var>(<var>G</var>) is true.</p>
+
+		<h3 class="ex" id="ex1">Examples of entailment and non-entailments</h3>
+		<p>Consider the following dataset:</p>
+		
+		<div class="example"><div class="example-title"><span>Example 1</span></div><pre class="example">{ :s  :p  :o . }
+:g1 { :a  :b  :c }</pre></div>
+		<p>does not dataset-entail:</p>
+		<div class="example"><div class="example-title"><span>Example 2</span></div><pre class="example">{ :s  :p  :o .
+:a  :b  :c .}</pre></div>
+		<p>but dataset-entails:</p>
+		<div class="example"><div class="example-title"><span>Example 3</span></div><pre class="example">{}  # empty default graph
+:g2 { :x  :y  :z }</pre></div>
+		<p>Since graph names are not particularly constrained, one can use them in triples, for instance:</p>
+		<div class="example"><div class="example-title"><span>Example 4</span></div><pre class="example">{ :g1  :author  :Bob .
+ :g1  :created  &quot;2013-09-17&quot;^^xsd:date .}
+:g1 { :a  :b  :c }</pre></div>
+		<p>but it would dataset-entail:</p>
+		<div class="example"><div class="example-title"><span>Example 5</span></div><pre class="example">{ :g1  :author  :Bob .
+ :g1  :created  &quot;2013-09-17&quot;^^xsd:date .}
+:g1 { :x  :y  :z }</pre></div>
+
+		<h4 class="pro" id="p1" aria-level="2" role="heading">Properties of this dataset semantics</h4>
+		<p>Assuming this semantics is convenient since it merely ignores named graphs in a dataset for any reasoning task. As a result, datasets can be simply treated as regular RDF graphs by extracting the default graph. Named graphs can still be used to preserve useful information, but it bears no more meaning than a commentary in a program source code.</p>
+		<p>The obvious disadvantage is that, since named graphs are completely disregarded in terms of meaning, there is no guarantee that any information intended to be conveyed by the named graphs is preserved by inference.</p>
+	</section>
+
+	<section typeof="bibo:Chapter" resource="#ref" rel="bibo:Chapter" id="default-graph-as-union-or-as-merge">
+		<h3 id="union" aria-level="2" role="heading"><span class="secno">3.2 </span>Default graph as union or as merge</h3>
+		<p>It is sometimes assumed that named graphs are simply a convenient way of sorting the triples but all the triples participate in a united knowledge base that takes the place of the default graph.  More precisely, a dataset is considered to be true if all the triples in all the graphs, named or default, are true together.  This description allows two formalizations of dataset semantics, depending on how blank nodes spanning several named graphs are treated. Indeed, if one blank node appears in several named graphs, it may be intentional, to indicate the existence of only one thing across the graphs, in which case union is appropriate. If the sharing of blank nodes is incidental, merge is also an applicable solution.</p>
+
+		<h3 class="formal" id="f2-1">Formalization: first version</h3>
+		<p>We define a dataset-interpretation with respect to an entailment regime <var>E</var> as an <var>E</var>-interpretation. Given a dataset-interpretation <var>I</var> and a dataset <var>D</var> having default graph <var>G</var> and named graphs <var>NG</var>, <var>I</var>(<var>D</var>) is true if and only if <var>I</var>(<var>G</var>) is true and for all <var>ng</var> in <var>NG</var>, <var>I</var>(<var>ng</var>) is true.</p>
+		<p>This is equivalent to <var>I</var>(<var>D</var>) is true if <var>I</var>(<var>H</var>) is true where <var>H</var> is the <a href="http://www.w3.org/TR/rdf11-mt/#dfn-merge">merge</a> of all the RDF graphs, named or default, appearing in <var>D</var>.</p>
+		
+		<h3 class="formal" id="f2-2">Formalization: second version</h3>
+		<p>We define a dataset-interpretation with respect to an entailment regime <var>E</var> as an <var>E</var>-interpretation. Given a dataset-interpretation <var>I</var> and a dataset <var>D</var> having default graph <var>G</var> and named graphs <var>NG</var>, <var>I</var>(<var>D</var>) is true if and only if <var>I</var>(<var>H</var>) is true where <var>H</var> is the union of all the RDF graphs, named or default, appearing in <var>D</var>.</p>
+		<p>An alternative presentation of this variant is the following: define <var>I</var>+<var>A</var> to be an extended interpretation which is like <var>I</var> except that it uses <var>A</var> to give the interpretation of blank nodes; define <var>blank</var>(<var>D</var>) to be the set of blank nodes in <var>D</var>. Then <var>I</var>(<var>D</var>) is true if and only if [<var>I</var>+<var>A</var>](<var>D</var>) is true for some mapping <var>A</var> from <var>blank</var>(<var>D</var>) to the set of resources in <var>I</var>.</p>
+
+		<h4 class="ex" id="e2" aria-level="2" role="heading">Examples</h4>
+		<p>Consider the following dataset:</p>
+		<div class="example"><div class="example-title"><span>Example 6</span></div><pre class="example">{ :s  :p  :o . }  # default graph
+:g1 { :a  :b  :c }</pre></div>
+		<p>dataset-entails:</p>
+		<div class="example"><div class="example-title"><span>Example 7</span></div><pre class="example">{ :s  :p  :o .
+:a  :b  :c .}</pre></div>
+		<p>If the entailment regime <var>E</var> is RDFS with the recognized datatype <code>xsd:integer</code>, then the following RDF dataset is RDFS-dataset-inconsistent:</p>
+		<div class="example"><div class="example-title"><span>Example 8</span></div><pre class="example">{ }  # empty default graph
+:g1 { :age  rdfs:range  xsd:integer . }
+:g2 { :bob  :age  &quot;twenty&quot; .}</pre></div>
+
+		<h4 class="prop" id="p2">Properties of this dataset semantics</h4>
+		<p>This semantics allows one to partition the triples of an RDF graph into multiple named graphs for easier data management, yet retaining the meaning of the overall RDF graph. Note that this choice of semantics does not impact the way graph names are interpreted: it is possible to further constrain the graph names to denote the RDF graph associated with it, or other possible constraints. The possible interpretations of graph names, and their consequences, are presented in the next sections.</p>
+		<p>This semantics is implicitly assumed by existing graph store implementations. The OWLIM RDF database management system implements reasoning techniques over RDF datasets that materialize inferred statements into the database [[citation needed]]. This is done by taking the union of the graphs in the named graphs, applying standard entailment regimes over this RDF graph and putting the inferred triples into the default graph.</p>
+		<p>This dataset semantics makes all triples in the named graphs contribute to a global knowledge, thus making the whole dataset inconsistent whenever two graphs are mutually contradictory. In situations where named graphs are used to store RDF graphs obtained from various sources on the open Web, inconsistencies or contradictions can easily occur. Notably, Web crawlers of search engines harvest all RDF documents, and it is known as a fact that the Web contains documents serializing inconsistent RDF graphs as well as documents that are mutually contradicting yet consistent on their own. In this case, this semantics can be seen as problematic.</p>
+	</section>
+
+	<section typeof="bibo:Chapter" resource="#ref" rel="bibo:Chapter" id="the-graph-name-denotes-the-named-graph-or-the-graph">
+		<h3 id="naming" aria-level="2" role="heading"><span class="secno">3.3 </span>The graph name denotes the named graph or the graph</h3>
+		<p>It is common to use the graph name as a way to identify the RDF graph inside the named graphs, or rather, to identify a particular occurrence of the graph. This allows one to describe the graph or the graph source in triples. For instance, one may want to say who the creator of a particular occurrence of a graph is. Assuming this semantics for graph names amounts to say that each named graph pair is an assertion that sets the <a href="http://www.w3.org/TR/rdf11-concepts/#dfn-referent">referent</a> of the graph name to be the associated graph or named graph pair.</p>
+		<p>Intuitively, this semantics can be seen as quoting the RDF graphs inside the named graphs. In this sense, <code>:alice {:bob  :is  :smart}</code> has to be understood as <q>Alice said: “Bob is smart”</q> which does not entail <q>Alice said: “Bob is intelligent”</q> because Alice did not use the word “intelligent”, even though “smart” and “intelligent” can be understood as equivalent. Note, however, that this analogy is only valid insofar as it can provide an intuition of this type of semantics, but the formalization does not actually refer to speech and the act of asserting.</p>
+
+		<h3 class="formal" id="f3">Formalization</h3>
+		<p>In order to be consistent with RDF model theory, blank nodes used as graph names are treated like existential variables. Consequently, their semantics is formalized according to the same notation presented in [<cite><a class="bibref" href="#bib-RDF11-MT">RDF11-MT</a></cite>]:</p>
+		<blockquote cite="http://www.w3.org/TR/2014/REC-rdf11-mt-20140225/#blank-nodes">Suppose I is an interpretation and A is a mapping from a set of blank nodes to the universe IR of I. Define the mapping [I+A] to be I on names, and A on blank nodes on the set: [I+A](x)=I(x) when x is a name and [I+A](x)=A(x) when x is a blank node; and extend this mapping to triples and RDF graphs using the rules given above for ground graphs.</blockquote>
+		<p>A dataset-interpretation <var>I</var> with respect to an entailment regime <var>E</var> is an <var>E</var>-interpretation extended to named graphs and datasets as follows:</p>
+		<ul><li>if (<var>n</var>,<var>g</var>) is a named graph where the graph name is an IRI, then <var>I</var>(<var>n</var>,<var>g</var>) is true if and only if <var>I</var>(<var>n</var>) = (<var>n</var>,<var>g</var>).
+		</li><li>if <var>D</var> is a dataset comprising default graph <var>DG</var> and named graphs <var>NG</var>, then <var>I</var>(<var>D</var>) is true if and only if there exists a mapping from blank nodes to the universe <var>IR</var> of <var>I</var> such that [<var>I</var>+<var>A</var>](<var>DG</var>) is true and for all named graph (<var>n</var>,<var>g</var>) in <var>NG</var>, [<var>I</var>+<var>A</var>](<var>n</var>) = (<var>n</var>,<var>g</var>).</li>
+		</ul>
+
+		<h3 class="ex" id="ex3">Examples</h3>
+		<p>Consider the following dataset:</p>
+		<div class="example"><div class="example-title"><span>Example 9</span></div><pre class="example">{ }  # empty default graph
+:g1 { :a  :b  :c }
+:g2 { :x  :y  :z }</pre></div>
+		<p>dataset-entails:</p>
+		<div class="example"><div class="example-title"><span>Example 10</span></div><pre class="example">{ }
+_:b { :a  :b  :c }
+:g2 { :x  :y  :z }</pre></div>
+		<p>but does not dataset-entail:</p>
+		<div class="example"><div class="example-title"><span>Example 11</span></div><pre class="example">{ }
+:g1 { []  :b  :c }
+:g2 { :x  :y  :z }</pre></div>
+		<p>nor:</p>
+		<div class="example"><div class="example-title"><span>Example 12</span></div><pre class="example">{ }
+:g1 {  }</pre></div>
+		<p>If the entailment regime <var>E</var> is RDFS with the recognized datatype <code>xsd:integer</code>, then the following RDF dataset is RDFS-dataset-inconsistent:</p>
+		<div class="example"><div class="example-title"><span>Example 13</span></div><pre class="example">{ :age  rdfs:range  xsd:integer .
+:me  :age  :g1 . }  # default graph
+:g1 { :s  :p  :o }</pre></div>
+		<p>The graph name can be used in triples to attached metadata (here <code>:hasNextVersion</code> is a custom term that does not enforce a formal constraint, so it is up to the implementation to decide how to treat it):</p>
+		<div class="example"><div class="example-title"><span>Example 14</span></div><pre class="example">{ :g1  :published  &quot;2013-08-26&quot;^^xsd:date .
+ :g1  :hasNextVersion  :g2 .}
+:g1 { :s1  :p1  :o1 .
+      :s2  :p2  :o2 }
+:g2 { :s1  :p1  :o1 }</pre></div>
+		
+		<h4 class="prop" id="p3" aria-level="2" role="heading">Properties of this dataset semantics</h4>
+		<p>There are important implications with this semantics. In this case, a named graph pair can only entail itself or a graph that is structurally equivalent if the graph name is a blank node. Graph names have to be handled almost like literals. Unlike other IRIs or blank nodes, their denotation is strictly fixed, like literals are. This means that graph IRIs may possibly clash with constraints on datatypes, as in the example above.</p>
+		<p>A variant of this dataset semantics imposes that the graph name denotes the RDF graph itself, rather than the pair. This means that two occurrences of the same graph in different named graph pairs actually identify the same thing. Thus, the graph names associated with the same RDF graphs are interchangeable in any triple in this case.</p>
+	</section>
+
+	<section typeof="bibo:Chapter" resource="#ref" rel="bibo:Chapter" id="each-named-graph-defines-its-own-context">
+		<h3 id="context" aria-level="2" role="heading"><span class="secno">3.4 </span>Each named graph defines its own context</h3>
+		<p>Named graphs in RDF datasets are sometimes used to delimit a context in which the triples of the named graphs are true. From the truth of these triples according to the graph semantics, follows the truth of the named graph pair. An example of such situation occurs when one wants to keep track of the evolution of facts with time. Another example is when one wants to allow different viewpoints to be expressed and reasoned with, without creating a conflict or inconsistency. By having inferences done at the named graph level, one can prevent for instance that triples coming from untrusted parties are influencing trusted knowledge. Yet it does not disallow reasoning with and drawing conclusions from untrusted information.</p>
+		<p>Intuitively, this semantics can be seen as interpreting the RDF graphs inside the named graphs. In this sense, <code>:alice {:bob  :is  :smart}</code> has to be understood as <q>Alice said that Bob is smart</q> which entails <q>Alice said that Bob is intelligent</q> because it is what Bob means, whether he used the term “smart”, “intelligent”, or “bright”. Neither sentence implies that Alice used these actual words.</p>
+
+		<h3 class="formal" id="f4">Formalization</h3>
+		<p>There are several possible formalizations of this leading to similar entailments. One way is to interpret the graph name as denoting a graph, and a named graph pair is true if this graph entails the graph inside the pair. In this case, a dataset-interpretation with respect to an entailment regime <var>E</var> is an <var>E</var>-interpretation such that:</p>
+		<ul>
+			<li>given a mapping <var>A</var> from blank nodes to the univers <var>IR</var> and a named graph pair <var>ng</var> = (<var>n</var>,<var>G</var>), [<var>I</var>+<var>A</var>](<var>ng</var>) is true if [<var>I</var>+<var>A</var>](<var>n</var>) is an RDF graph and <var>E</var>-entails <var>G</var>;</li>
+			<li>for a dataset <var>D</var> = (<var>DG</var>,<var>NG</var>), <var>I</var>(<var>D</var>) is true if there exists a mapping <var>A</var> from blank nodes to the universe <var>IR</var> such that [<var>I</var>+<var>A</var>](<var>DG</var>) is true and for all named graph <var>ng</var> in <var>NG</var>, [<var>I</var>+<var>A</var>](<var>ng</var>) is true;
+			</li><li><var>I</var>(<var>D</var>) is false otherwise.</li>
+		</ul>
+
+		<h3 class="ex" id="ex4">Examples</h3>
+		<p>Consider the following dataset:</p>
+		<div class="example"><div class="example-title"><span>Example 15</span></div><pre class="example">{ }  # empty default graph
+:g1 { :YoutubeEmployee  rdfs:subClassOf  :GoogleEmployee .
+:steveChen  rdf:type  :YoutubeEmployee . }
+:g2 { :chadHurley  rdf:type  :YoutubeEmployee }</pre></div>
+		<p>RDFS-dataset-entails:</p>
+		<div class="example"><div class="example-title"><span>Example 16</span></div><pre class="example">{ }
+:g1 { :steveChen  rdf:type  :GoogleEmployee }</pre></div>
+		<p>but does not RDFS-dataset-entail:</p>
+		<div class="example"><div class="example-title"><span>Example 17</span></div><pre class="example">{ }
+:g2 { :chadHurley  rdf:type  :GoogleEmployee }</pre></div>
+		<p>Graph names used in triples that express metadata do not necessarily generate inconsistency:</p>
+		<div class="example"><div class="example-title"><span>Example 18</span></div><pre class="example">{ :g1  :validAfter  &quot;2006&quot;^^xsd:gYear .
+ :g1  :published  &quot;2013-08-26&quot;^^xsd:date .
+ :g2  :validAt  &quot;2005&quot;^^:xsd:gYear .}
+:g1 { :YoutubeEmployee  rdfs:subClassOf  :GoogleEmployee .
+:steveChen  rdf:type  :YoutubeEmployee . }
+:g2 { :chadHurley  rdf:type  :YoutubeEmployee }</pre></div>
+		<p>(here, <code>:validAfter</code> and <code>:validAt</code> are custom terms that do not enforce a formal constraint, but may be used internally for, e.g., checking the temporal validity of triples in the named graph).</p>
+
+		<h4 class="prop" id="p4" aria-level="2" role="heading">Properties of this dataset semantics</h4>
+		<p>This semantics assumes that the truth of named graphs is preserved when replacing the RDF graphs inside named graphs with equivalent graphs. This means in particular, that one can normalize literals and still preserve the truth of a named graph. This means too that standard RDF inferences that can be drawn from the RDF graphs inside named graphs can be added to the graph associated with the graph name without impacting the truth of the RDF dataset.</p>
+		<p>While this semantics does not guarantee that reasoning with RDF datasets will preserve the exact triples of an original dataset, it is semantically valid to store both the original and any entailed datasets.</p>
+		<p>An example implementation of such a context-based semantics is Sindice [<cite><a class="bibref" href="#bib-DELBRU-ET-AL-2008">DELBRU-ET-AL-2008</a></cite>].</p>
+		
+		<h4 class="other" id="v4">Variants of this dataset semantics</h4>
+		<p>There are several variants of this type of dataset-semantics</p>
+		<ul>
+			<li>The default graph is interpreted as universal truth, that is, for a named graph (<var>n</var>,<var>G</var>), <var>I</var>(<var>n</var>) <var>E</var>-entails the default graph.</li>
+			<li>The graph name does not denote an RDF graph but a resource associated with an RDF graph.</li>
+			<li>Each named graph could be associated with a distinct <var>E</var>-interpretation and impose all interpretations to be true for their corresponding graph, in order for the dataset to be true.</li>
+		</ul>
+	</section>
+
+	<section typeof="bibo:Chapter" resource="#ref" rel="bibo:Chapter" id="named-graph-are-in-a-particular-relationship-with-what-the-graph-name-dereferences-to">
+		<h3 id="boxdataset" aria-level="2" role="heading"><span class="secno">3.5 </span>Named graph are in a particular relationship with what the graph name dereferences to</h3>
+		<p>In accordance with linked data principles, IRIs may be assumed to reference the document that is obtained by dereferencing it. If the document contains an RDF graph it can be assumed that the graph in the named graph is in a special relationship (such as, equals, entails) with this RDF graph.</p>
+		<p>In such case, the truth of an RDF dataset is dependent on the state of the Web, and the same dataset may entail different statements at different times.</p>
+
+		<h3 class="formal" id="hbox">Formalization</h3>
+		<p>Let <var>d</var> be the function that maps an IRI to an RDF graph that can be obtained from dereferencing the IRI. For an IRI <var>u</var>, <var>d</var>(<var>u</var>) is empty when dereferencing returns an error or a document that does not encode an RDF graph.</p>
+		<p>A dataset-interpretation <var>I</var> with respect to an entailment regime <var>E</var> is an <var>E</var>-interpretation such that:</p>
+		<ul>
+			<li>for a named graph pair <var>ng</var> = (<var>n</var>,<var>G</var>), <var>I</var>(<var>ng</var>) is true if <var>d</var>(<var>n</var>) equals (respectively, is a subgraph of, is entailed by) <var>G</var>;</li>
+			<li>for a dataset <var>D</var> = (<var>DG</var>,<var>NG</var>), <var>I</var>(<var>D</var>) is true if <var>I</var>(<var>DG</var>) is true and for all named graph <var>ng</var> in <var>NG</var>, <var>I</var>(<var>ng</var>) is true;
+			</li><li><var>I</var>(<var>D</var>) is false otherwise.</li>
+		</ul>
+
+		<h3 class="ex" id="exbox">Examples</h3>
+		<p>Entailments in this semantics depend not only on the content of a dataset but also on the content of the Web and the ability of a reasoner to accept this content. Moreover, the entailments vary whether the considered relation is “equals”, or “subgraph of”, or “entailed by”.</p>
+		<p>For instance, if the reasoner is offline, then the dereferencing function <var>d</var> in the previous definition always return an empty graph. In this case, if the relation is “equals” or “subgraph of”, only empty named graphs can be true; if the relation is “entails by”, then only named graphs containing axiomatic triples are true. In general, if the relationship is “equals”, named graph do not provide extra entailments.</p>
+
+		<h4 class="prop" id="pbox" aria-level="2" role="heading">Properties of this dataset semantics</h4>
+		<p>The distinguishing characteristic of this dataset semantics is the fact that a single RDF dataset can lead to different entailments, depending on the state of the Web. This can be seen as a feature for systems that need to be in line with what is found online, but is a drawback for systems that must retain consistency even when they go offline.</p>
+	</section>
+
+	
+<!--<section>
+		<h3>Named graphs as contexts, and the default graph is universal truth</h3>
+		<p>In this case, the named graphs are used to hold statements that are only true in certain circonstances, while the default graph holds in all cases. For instance, terminological knowledge may be considered universal (such as, hierarchy of classes or properties), while assertional knowledge (facts about instances) is changing from time to time, or from sources to sources.</p>
+
+		<h4 class="formal">Formalization</h4>
+		
+		<h4 class="ex">Examples</h4>
+	</section>-->
+
+	
+	<section typeof="bibo:Chapter" resource="#ref" rel="bibo:Chapter" id="quad-semantics">
+		<h3 id="quad" aria-level="2" role="heading"><span class="secno">3.6 </span>Quad semantics</h3>
+		<p>This approach consists in considering named graph as sets of quadruples, having the subject, predicate and object of the triples as first three components, and the graph IRI as the fourth element.  Each quadruple is interpreted similarly to a triple in RDF, except that the relation that the predicate denotes is not indicating a binary relation but a ternary relation.</p>
+		<p>This semantics is extending the semantics of RDF rather than simply reusing it.</p>
+
+		<h3 class="formal" id="f5">Formalization</h3>
+		<p>A quad-interpretation is a tuple (<var>IR</var>,<var>IP</var>,<var>IEXT</var>,<var>IS</var>,<var>IL</var>,<var>LV</var>) where <var>IR</var>, <var>IP</var>, <var>IS</var>, <var>IL</var> and <var>LV</var> are defined as in RDF and <var>IEXT</var> is a mapping from <var>IP</var> into the powerset of <var>IR</var> × <var>IR</var> union <var>IR</var> × <var>IR</var> × <var>IR</var>.</p>
+
+		<p>Since this option modifies the notion of simple-interpretation, which is the basis for all <var>E</var>-interpretations in any entailment regime E, it is not clear how it can be extended to arbitrary entailment regimes. For instance, does the following quad set:</p>
+		<div class="example"><div class="example-title"><span>Example 19</span></div><pre class="example">:a  rdf:type  :c  :x .
+:c  rdfs:subClassOf  :d  :x .</pre></div>
+		<p>RDFS-dataset-entails:</p>
+		<div class="example"><div class="example-title"><span>Example 20</span></div><pre class="example">:a  rdf:type  :d  :x .</pre></div>
+		
+		<h3 class="prop" id="p5">Properties of this dataset semantics</h3>
+		<p>With this semantics, all inferences that are valid with normal RDF triples are preserved, but it is necessary to extend RDFS in order to accommodate for ternary relations. There are several existing proposals that extend this quad semantics by dealing with a specific “dimension”, such as time, uncertainty, provenance. For instance, temporal RDF [<cite><a class="bibref" href="#bib-TEMPORAL-RDF">TEMPORAL-RDF</a></cite>] uses the fourth element to denote a time frame and thus allow reasoning to be performed per time frame. Special semantic rules allow one to combine triples in overlapping time frames. Fuzzy RDF [<cite><a class="bibref" href="#bib-FUZZY-RDF">FUZZY-RDF</a></cite>] extends the semantics to deal with uncertainty. stRDF [<cite><a class="bibref" href="#bib-ST-RDF">ST-RDF</a></cite>] extends temporal RDF to deal with spatial information. Annotated RDF [<cite><a class="bibref" href="#bib-ANNOTATED-RDF">ANNOTATED-RDF</a></cite>] generalizes the previous proposals.</p>
+	</section>
+
+	<section typeof="bibo:Chapter" resource="#ref" rel="bibo:Chapter" id="quoted-graphs">
+		<h3 id="quote" aria-level="2" role="heading"><span class="secno">3.7 </span>Quoted graphs</h3>
+		<p>Quoted graphs are a way to associate information to a specific RDF graph without constraining the relationship between a graph name and the graph associated with it in a dataset. An RDF graph is “quoted” by using a literal having a lexical form that is a syntactic expression of the graph. For instance:</p>
+		<div class="example"><div class="example-title"><span>Example 21</span></div><pre class="example">{ :g  :quotes  &quot;:a  :b  []&quot;^^:turtle . }
+:g { :b  rdf:type  rdf:Property .
+ :a  :b  _:x . }</pre></div>
+		<p>This technique allows one to assume a dataset semantics of contexts (as in Section 3.4) and still preserve an initial version of a graph. However, quoting big graphs may be cumbersome and would require a custom datatype to be recognized.</p>
+
+	</section>
+
+	<section typeof="bibo:Chapter" resource="#ref" rel="bibo:Chapter" id="relationship-with-sparql-entailment-regime">
+		<h3 id="relation-with-sparql-e" aria-level="2" role="heading"><span class="secno">3.8 </span>Relationship with SPARQL entailment regime</h3>
+		<p>There is a strong relationship between SPARQL ASK queries with an entailment regime [<cite><a class="bibref" href="#bib-SPARQL11-ENTAILMENT">SPARQL11-ENTAILMENT</a></cite>] and inferences in the regime. If an ASK query does not contain variables and its WHERE clause only contains a basic graph pattern, then the query can be seen as an RDF graph. If such a graph query <var>Q</var> returns <code>true</code> when issued against an RDF graph <var>G</var> with entailment regime <var>E</var>, then <var>G</var> <var>E</var>-entails <var>Q</var>. If it returns <code>false</code>, then <var>G</var> does not <var>E</var>-entail <var>Q</var>.</p>
+		<p>A dataset semantics can also be compared to what ASK queries return when they do not contain variables but may contain basic graph patterns or graph graph patterns. For instance, consider the dataset:</p>
+		<div class="example"><div class="example-title"><span>Example 22</span></div><pre class="example">{ }
+:g1 { :x  rdf:type  :c .
+ :c  rdfs:subClassOf  :d . }
+:g2 { :y  rdf:type  :c . }</pre></div>
+		<p>Then the query:</p>
+		<div class="example"><div class="example-title"><span>Example 23</span></div><pre class="example">ASK WHERE {
+    GRAPH :g1 { :x  rdf:type  :d }
+}</pre></div>
+		<p>with RDFS entailment regime would answer <code>true</code>, but the query:</p>
+		<div class="example"><div class="example-title"><span>Example 24</span></div><pre class="example">ASK WHERE {
+    GRAPH :g1 { :x  rdf:type  :d }
+    GRAPH :g2 { :y  rdf:type  :d }
+}</pre></div>
+		<p>would answer <code>false</code>.</p>
+		<p>This can lead to a classification of dataset semantics in terms of whether they are compatible with SPARQL ASK queries or not. It can be noted that a semantics where each named graph defines its own context is “SPARQL-ASK-compatible”, while a semantics where the graph name denotes the graph or named graph is not compatible in this sense.</p>
+	</section>
+</section>
+
+<section id="declaring" typeof="bibo:Chapter" resource="#ref" rel="bibo:Chapter">
+	
+<!--OddPage-->
+<h2 aria-level="1" role="heading" id="h2_declaring"><span class="secno">4. </span>Declaring the intended semantics</h2>
+	
+	<p>The RDF Working Group did not define a formal semantics for a multiple graph data model because none of the semantics presented before could obtained consensus. Choosing one or another of the propositions before would have gone against some deployed implementations. Therefore, the Working Group discussed the possibility to define several semantics, among which an implementation could choose, and provide the means to declare which semantics is adopted.</p>
+	<p>This was not retained eventually, because of the lack of experience, so there is no definite option for this. Nonetheless, for completeness, we describe here possible solutions.</p>
+
+	<h2 id="using-vocab">Using vocabularies</h2>
+	<p>A dataset can be described in RDF using vocabularies like voiD [<cite><a class="bibref" href="#bib-VOID">VOID</a></cite>] and the SPARQL service description vocabulary [<cite><a class="bibref" href="#bib-SPARQL11-SERVICE-DESCRIPTION">SPARQL11-SERVICE-DESCRIPTION</a></cite>]. VoiD is used to describe how a collection of RDF triples is organized in a web site or across web sites, giving information about the size of the datasets, the location of the dump files, the IRI of the query endpoints, and so on. The notion of dataset in voiD is used as a more informal and broader concept than RDF dataset. However, an RDF dataset and the graphs in it can be describe as voiD datasets and the information can be completed with SPARQL service description</p>
+	<div class="example"><div class="example-title"><span>Example 25</span></div><pre class="example">@prefix er: &lt;http://www.w3.org/ns/entailment&gt; .
[email protected] sd: &lt;http://www.w3.org/ns/sparql-service-description#&gt; .
+[]  a sd:Dataset;
+    sd:defaultEntailmentRegime er:RDF;
+    sd:namedGraph [
+        sd:name &quot;http://example.com/ng1&quot;;
+        sd:entailmentRegime er:RDFS
+    ] .</pre></div>
+	<p>A vocabulary specifically tailored for describing the intended dataset semantics could be defined in a future specification.</p>
+
+	<h2 id="using-other">Using other mechanisms</h2>
+	<p>Communication of the intended semantics could be performed in various ways, from having the author tell the consumers directly, to inventing a protocol for this. Use of the HTTP protocol and content negotiation could be a possible way too. Special syntactic markers in the concrete serialization of datasets could convey the intended meaning. All of those are solutions that do not follow current practices.</p>
+</section>
+
+<section id="section-acknowledgements" class="appendix" typeof="bibo:Chapter" resource="#ref" rel="bibo:Chapter">
+
+
+<!--OddPage-->
+<h2 aria-level="1" role="heading" id="h2_section-acknowledgements"><span class="secno">A. </span>Acknowledgements</h2>
+
+<p>This document is the result of extensive discussions that involved
+many members of the RDF 1.1 Working Group. The editor especially
+acknowledges valuable contributions from Richard Cyganiak, Sandro
+Hawks, Pat Hayes, Ivan Herman, Peter F. Patel-Schneider, Guus
+Schreiber, and David Wood.</p>
+
+</section>
+
+<section id="changes" class="appendix" typeof="bibo:Chapter" resource="#ref" rel="bibo:Chapter">
+  
+<!--OddPage-->
+<h2 aria-level="1" role="heading" id="h2_changes"><span class="secno">B. </span>Changes since the first public working draft of 17 December 2013</h2>
+  <ul>
+	<li>2014-02-19:  Updated references to [<cite><a class="bibref" href="#bib-SPARQL11-QUERY">SPARQL11-QUERY</a></cite>].</li>
+	<li>2014-02-19:  Removed Issue 2, adding support for blank nodes in the formalization of the semantics.</li>
+	<li>2014-02-19:  Removed Issue 1 and added a sentence to mitigate the issue.</li>
+	<li>2014-02-19:  Added an explanatory sentence to the formalization of Section 3.3.</li>
+  </ul>
+</section>
+
+
+
+<section class="appendix" id="references" typeof="bibo:Chapter" resource="#ref" rel="bibo:Chapter">
+<!--OddPage-->
+<h2 aria-level="1" role="heading" id="h2_references"><span class="secno">C. </span>References</h2><section id="informative-references" typeof="bibo:Chapter" resource="#ref" rel="bibo:Chapter"><h3 aria-level="2" role="heading" id="h3_informative-references"><span class="secno">C.1 </span>Informative references</h3><dl class="bibliography" about=""><dt id="bib-ANNOTATED-RDF">[ANNOTATED-RDF]</dt><dd rel="dcterms:references">Octavian Udrea, Diego Reforgiato Recupero, V. S. Subrahmanian. <cite>Annotated RDF.</cite> In The Semantic Web: Research and Applications, 3rd European Semantic Web Conference, ESWC 2006, Budva, Montenegro, June 11-14, 2006, Proceedings. Springer, LNCS 4011, pp. 487-501
+</dd><dt id="bib-CARROLL-05">[CARROLL-05]</dt><dd rel="dcterms:references">Jeremy J. Carroll, Christian Bizer, Patrick J. Hayes and Patrick Stickler. <cite><a href="http://wifo5-03.informatik.uni-mannheim.de/bizer/SWTSGuide/carroll-ISWC2004.pdf">Named Graphs, Provenance and Trust</a></cite>. Proc. 14th Int. Conf. on World Wide Web, WWW 2005, Chiba, Japan, May 10-14, 2005, pp. 613-622.
+</dd><dt id="bib-DELBRU-ET-AL-2008">[DELBRU-ET-AL-2008]</dt><dd rel="dcterms:references">Renaud Delbru, Axel Polleres, Giovanni Tummarello, Stefan Decker. <cite>Context Dependent Reasoning for Semantic Documents in Sindice.</cite> In Proceedings of the 4th International Workshop on Scalable Semantic Web Knowledge Base Systems (SSWS). Karlsruhe, Germany, 2008.
+</dd><dt id="bib-FUZZY-RDF">[FUZZY-RDF]</dt><dd rel="dcterms:references">Umberto Straccia. <cite>A Minimal Deductive System for General Fuzzy RDF.</cite> In Web Reasoning and Rule Systems, Third International Conference, RR 2009, Chantilly, VA, USA, October 25-26, 2009, Proceedings. Springer, LNCS 5837, pp. 166-181
+</dd><dt id="bib-OWL2-DIRECT-SEMANTICS">[OWL2-DIRECT-SEMANTICS]</dt><dd rel="dcterms:references">Boris Motik; Peter Patel-Schneider; Bernardo Cuenca Grau. <a href="http://www.w3.org/TR/owl2-direct-semantics/"><cite>OWL 2 Web Ontology Language Direct Semantics (Second Edition)</cite></a>. 11 December 2012. W3C Recommendation. URL: <a href="http://www.w3.org/TR/owl2-direct-semantics/">http://www.w3.org/TR/owl2-direct-semantics/</a>
+</dd><dt id="bib-OWL2-RDF-BASED-SEMANTICS">[OWL2-RDF-BASED-SEMANTICS]</dt><dd rel="dcterms:references">Michael Schneider. <a href="http://www.w3.org/TR/owl2-rdf-based-semantics/"><cite>OWL 2 Web Ontology Language RDF-Based Semantics (Second Edition)</cite></a>. 11 December 2012. W3C Recommendation. URL: <a href="http://www.w3.org/TR/owl2-rdf-based-semantics/">http://www.w3.org/TR/owl2-rdf-based-semantics/</a>
+</dd><dt id="bib-RDF-MT">[RDF-MT]</dt><dd rel="dcterms:references">Patrick Hayes. <a href="http://www.w3.org/TR/rdf-mt/"><cite>RDF Semantics</cite></a>. 10 February 2004. W3C Recommendation. URL: <a href="http://www.w3.org/TR/rdf-mt/">http://www.w3.org/TR/rdf-mt/</a>
+</dd><dt id="bib-RDF-SPARQL-QUERY">[RDF-SPARQL-QUERY]</dt><dd rel="dcterms:references">Eric Prud'hommeaux; Andy Seaborne. <a href="http://www.w3.org/TR/rdf-sparql-query/"><cite>SPARQL Query Language for RDF</cite></a>. 15 January 2008. W3C Recommendation. URL: <a href="http://www.w3.org/TR/rdf-sparql-query/">http://www.w3.org/TR/rdf-sparql-query/</a>
+</dd><dt id="bib-RDF11-CONCEPTS">[RDF11-CONCEPTS]</dt><dd rel="dcterms:references">Richard Cyganiak, David Wood, Markus Lanthaler. <cite><a href="http://www.w3.org/TR/2014/REC-rdf11-concepts-20140225/">RDF 1.1 Concepts and Abstract Syntax.</a></cite> W3C Recommendation, 25 February 2014. URL: <a href="http://www.w3.org/TR/2014/REC-rdf11-concepts-20140225/">http://www.w3.org/TR/2014/REC-rdf11-concepts-20140225/</a>. The latest edition is available at <a href="http://www.w3.org/TR/rdf11-concepts/">http://www.w3.org/TR/rdf11-concepts/</a>
+</dd><dt id="bib-RDF11-MT">[RDF11-MT]</dt><dd rel="dcterms:references">Patrick J. Hayes, Peter F. Patel-Schneider. <cite><a href="http://www.w3.org/TR/2014/REC-rdf11-mt-20140225/">RDF 1.1 Semantics.</a></cite> W3C Recommendation, 25 February 2014. URL: <a href="http://www.w3.org/TR/2014/REC-rdf11-mt-20140225/">http://www.w3.org/TR/2014/REC-rdf11-mt-20140225/</a>. The latest edition is available at <a href="http://www.w3.org/TR/rdf11-mt/">http://www.w3.org/TR/rdf11-mt/</a>
+</dd><dt id="bib-SPARQL11-ENTAILMENT">[SPARQL11-ENTAILMENT]</dt><dd rel="dcterms:references">Birte Glimm; Chimezie Ogbuji. <a href="http://www.w3.org/TR/sparql11-entailment/"><cite>SPARQL 1.1 Entailment Regimes</cite></a>. 21 March 2013. W3C Recommendation. URL: <a href="http://www.w3.org/TR/sparql11-entailment/">http://www.w3.org/TR/sparql11-entailment/</a>
+</dd><dt id="bib-SPARQL11-QUERY">[SPARQL11-QUERY]</dt><dd rel="dcterms:references">Steven Harris; Andy Seaborne. <a href="http://www.w3.org/TR/sparql11-query/"><cite>SPARQL 1.1 Query Language</cite></a>. 21 March 2013. W3C Recommendation. URL: <a href="http://www.w3.org/TR/sparql11-query/">http://www.w3.org/TR/sparql11-query/</a>
+</dd><dt id="bib-SPARQL11-SERVICE-DESCRIPTION">[SPARQL11-SERVICE-DESCRIPTION]</dt><dd rel="dcterms:references">Gregory Williams. <a href="http://www.w3.org/TR/sparql11-service-description/"><cite>SPARQL 1.1 Service Description</cite></a>. 21 March 2013. W3C Recommendation. URL: <a href="http://www.w3.org/TR/sparql11-service-description/">http://www.w3.org/TR/sparql11-service-description/</a>
+</dd><dt id="bib-ST-RDF">[ST-RDF]</dt><dd rel="dcterms:references">Manolis Koubarakis, Kostis Kyzirakos. <cite>Modeling and Querying Metadata in the Semantic Sensor Web: The Model stRDF and the Query Language stSPARQL.</cite> In The Semantic Web: Research and Applications, 7th Extended Semantic Web Conference, ESWC 2010, Heraklion, Crete, Greece, May 30 - June 3, 2010, Proceedings, Part I. Springer, LNCS 6088, pp. 425-439.
+</dd><dt id="bib-TEMPORAL-RDF">[TEMPORAL-RDF]</dt><dd rel="dcterms:references">Claudio Gutiérrez, Carlos A. Hurtado, Alejandro A. Vaisman. <cite>Temporal RDF.</cite> In The Semantic Web: Research and Applications, Second European Semantic Web Conference, ESWC 2005, Heraklion, Crete, Greece, May 29 - June 1, 2005, Proceedings. Springer, LNCS 3532, pp. 93-107
+</dd><dt id="bib-VOID">[VOID]</dt><dd rel="dcterms:references">Keith Alexander; Richard Cyganiak; Michael Hausenblas; Jun Zhao. <a href="http://www.w3.org/TR/void/"><cite>Describing Linked Datasets with the VoID Vocabulary</cite></a>. 3 March 2011. W3C Note. URL: <a href="http://www.w3.org/TR/void/">http://www.w3.org/TR/void/</a>
+</dd></dl></section></section></body></html>
\ No newline at end of file