Add documentation for @type having @container: @set.

Fixes #34.

Author: gkellogg

examples/example-032-Setting-container-set-on-type.jsonld

@@ -0,0 +1,7 @@
+{
+  "@context": {
+    "@version": 1.1,
+    "@type": {"@container": "@set"}
+  },
+  "@type": ["http:/example.org/type"]
+}

examples/example-032-IRI-expansion-within-a-context.jsonld renamed to examples/example-033-IRI-expansion-within-a-context.jsonld

@@ -0,0 +1,33 @@
+{
+  "@context": [
+    "http://schema.org/",
+    {"@base": "http://example.com/"}
+  ],
+  "@graph": [{
+    "@id": "people/alice",
+    "gender": [
+      {"@value": "weiblich", "@language": "de"},
+      {"@value": "female",   "@language": "en"}
+    ],
+    "knows": {"@id": "people/bob"},
+    "name": "Alice"
+  }, {
+    "@id": "graphs/1",
+    "@graph": {
+      "@id": "people/alice",
+      "parent": {
+        "@id": "people/bob",
+        "name": "Bob"
+      }
+    }
+  }, {
+    "@id": "graphs/2",
+    "@graph": {
+      "@id": "people/bob",
+      "sibling": {
+        "name": "Mary",
+        "sibling": {"@id": "people/bob"}
+      }
+    }
+  }]
+}

examples/example-033-Using-a-term-to-define-the-IRI-of-another-term-within-a-context.jsonld renamed to examples/example-034-Using-a-term-to-define-the-IRI-of-another-term-within-a-context.jsonld

@@ -0,0 +1,31 @@
+[{
+  "@id": "http://example.com/people/alice",
+  "http://schema.org/name": [{"@value": "Alice"}],
+  "http://schema.org/gender": [
+    {"@value": "weiblich","@language": "de"},
+    {"@value": "female","@language": "en"}
+  ],
+  "http://schema.org/knows": [
+    {"@id": "http://example.com/people/bob"}
+  ]
+}, {
+  "@id": "http://example.com/graphs/1",
+  "@graph": [{
+    "@id": "http://example.com/people/alice",
+    "http://schema.org/parent": [{
+      "@id": "http://example.com/people/bob",
+      "http://schema.org/name": [{"@value": "Bob"}]
+    }]
+  }]
+}, {
+  "@id": "http://example.com/graphs/2",
+  "@graph": [{
+    "@id": "http://example.com/people/bob",
+    "http://schema.org/sibling": [{
+      "http://schema.org/name": [{"@value": "Mary"}],
+      "http://schema.org/sibling": [
+        {"@id": "http://example.com/people/bob"}
+      ]
+    }]
+  }]
+}]

examples/example-034-Using-a-compact-IRI-as-a-term.jsonld renamed to examples/example-035-Using-a-compact-IRI-as-a-term.jsonld

@@ -0,0 +1,74 @@
+<table class="statements" data-result-for="Linked Data Dataset-expanded" data-to-rdf>
+      <thead><tr>
+<th>Graph</th>
+<th>Subject</th>
+<th>Property</th>
+<th>Value</th>
+<th>Language</th>
+</tr></thead>
+      <tbody>
+        <tr>
+<td> </td>
+<td>http://example.com/people/alice</td>
+<td>schema:name</td>
+<td>Alice</td>
+<td></td>
+</tr>
+        <tr>
+<td> </td>
+<td>http://example.com/people/alice</td>
+<td>schema:gender</td>
+<td>weiblich</td>
+<td>de</td>
+</tr>
+        <tr>
+<td> </td>
+<td>http://example.com/people/alice</td>
+<td>schema:gender</td>
+<td>female</td>
+<td>en</td>
+</tr>
+        <tr>
+<td> </td>
+<td>http://example.com/people/alice</td>
+<td>schema:knows</td>
+<td>http://example.com/people/bob</td>
+<td></td>
+</tr>
+        <tr>
+<td>http://example.com/graphs/1</td>
+<td>http://example.com/people/bob</td>
+<td>schema:name</td>
+<td>Bob</td>
+<td></td>
+</tr>
+        <tr>
+<td>http://example.com/graphs/1</td>
+<td>http://example.com/people/alice</td>
+<td>schema:parent</td>
+<td>http://example.com/people/bob</td>
+<td></td>
+</tr>
+        <tr>
+<td>http://example.com/graphs/2</td>
+<td>http://example.com/people/bob</td>
+<td>schema:sibling</td>
+<td>_:b0</td>
+<td></td>
+</tr>
+        <tr>
+<td>http://example.com/graphs/2</td>
+<td>_:b0</td>
+<td>schema:name</td>
+<td>Mary</td>
+<td></td>
+</tr>
+        <tr>
+<td>http://example.com/graphs/2</td>
+<td>_:b0</td>
+<td>schema:sibling</td>
+<td>http://example.com/people/bob</td>
+<td></td>
+</tr>
+      </tbody>
+    </table>

examples/example-035-Associating-context-definitions-with-absolute-IRIs.jsonld renamed to examples/example-036-Associating-context-definitions-with-absolute-IRIs.jsonld

@@ -0,0 +1,14 @@
+@prefix schema: <http://schema.org/> .
+<http://example.com/people/alice> schema:knows <http://example.com/people/bob>;
+  schema:name "Alice";
+  schema:gender "weiblich"@de, "female"@en .
+<http://example.com/graphs/1> {
+  <http://example.com/people/alice> schema:parent <http://example.com/people/bob> .
+  <http://example.com/people/bob> schema:name "Bob" .
+}
+<http://example.com/graphs/2> {
+  <http://example.com/people/bob> schema:sibling [
+    schema:name "Mary";
+    schema:sibling <http://example.com/people/bob>
+  ] .
+}

examples/example-037-Defining-an-context-within-a-term-definition-expanded.jsonld renamed to examples/example-038-Defining-an-context-within-a-term-definition-expanded.jsonld

@@ -2549,6 +2549,27 @@ <h3>Using the Document Base as the Default Vocabulary</h3>
     <a>keywords</a> have been given the aliases
     <strong>url</strong> and <strong>a</strong>, respectively.</p>
 
+  <p><span class="changed">Other than for <code>@type</code>,</span> properties of
+    <a>expanded term definitions</a> where the term is a <a>keyword</a> are be ignored.</p>
+
+  <p class="changed">When <a>processing mode</a> is set to <code>json-ld-1.1</code>,
+    <code>@type</code> may be used with an <a>expanded term definition</a> with <code>@container</code> set
+    to <code>@set</code>; no other members may be set within such an <a>expanded term definition</a>.
+    This is used by the <a data-cite="JSON-LD11-API#compaction-algorithm">Compaction algorithm</a> to ensure that the values of @type (or an alias)
+    are always represented in an <a>array</a>.</p>
+
+  <pre class="example" data-transform="updateExample" title="Setting @container: @set on @type">
+  <!--
+  {
+    "@context": {
+      "@version": 1.1,
+      "@type": {"@container": "@set"}
+    },
+    "@type": ["http:/example.org/type"]
+  }
+  -->
+  </pre>
+
   <p>Since keywords cannot be redefined, they can also not be aliased to
     other keywords.</p>
 
@@ -9013,7 +9034,7 @@ <h2>Context Definitions</h2>
   <p>A <a>context definition</a> MUST be a <a>dictionary</a> whose
     keys MUST be either <a>terms</a>, <a>compact IRIs</a>, <a>absolute IRIs</a>,
     or one of the <a>keywords</a> <code>@language</code>, <code>@base</code>,
-    <code>@vocab</code>, or <code class="changed">@version</code>.</p>
+    <code class="changed">@type</code>, <code>@vocab</code>, or <code class="changed">@version</code>.</p>
 
   <p>If the <a>context definition</a> has an <code>@language</code> key,
     its value MUST have the <a data-cite="BCP47#section-2.1.1">lexical form</a> described in [[!BCP47]] or be <a>null</a>.</p>
@@ -9022,6 +9043,9 @@ <h2>Context Definitions</h2>
     its value MUST be an <a>absolute IRI</a>, a <a>relative IRI</a>,
     or <a>null</a>.</p>
 
+  <p class="changed">If the <a>context definition</a> has an <code>@type</code> key,
+    its value MUST be a <a>dictionary</a> with the single member <code>@context</code> with value <code>@set</code>.</p>
+
   <p>If the <a>context definition</a> has an <code>@vocab</code> key,
     its value MUST be a <a>absolute IRI</a>, a <a>compact IRI</a>,
     a <a>blank node identifier</a>,
@@ -9854,14 +9878,18 @@ <h2>Changes since 1.0 Recommendation of 16 January 2014</h2>
       a context. When this is set, vocabulary-relative IRIs, such as the
       keys of <a>node objects</a>, are expanded or compacted relative
       to the <a>base IRI</a> using string concatenation.</li>
-    <li><a>Lists</a> may now have items which are themselves <a>lists</a>.</li>
   </ul>
+  <p>Additionally, see <a href="#changes-from-cg" class="sectionRef"></a>.</p>
 </section>
 
 <section class="appendix informative" id="changes-from-cg">
   <h2>Changes since JSON-LD Community Group Final Report</h2>
   <ul>
     <li><a>Lists</a> may now have items which are themselves <a>lists</a>.</li>
+    <li>Values of <code>@type</code>, or an alais of <code>@type</code>, may now have their <code>@container</code> set to @set
+      to ensure that <code>@type</code> members are always represented as an array. This
+      also allows a term to be defined for <code>@type</code>, where the value MUST be a <a>dictionary</a>
+      with <code>@container</code> set to <code>@set</code>.</li>
   </ul>
 </section>
 

examples/example-037-Defining-an-context-within-a-term-definition-original.jsonld renamed to examples/example-038-Defining-an-context-within-a-term-definition-original.jsonld

@@ -0,0 +1,8 @@
+Example 032: Setting @container: @set on @type
+---
+"@context":
+  "@version": 1.1
+  "@type":
+    "@container": "@set"
+"@type":
+- http:/example.org/type

examples/example-037-Defining-an-context-within-a-term-definition-statements.table renamed to examples/example-038-Defining-an-context-within-a-term-definition-statements.table

@@ -1,4 +1,4 @@
-Example 032: IRI expansion within a context
+Example 033: IRI expansion within a context
 ---
 "@context":
   xsd: http://www.w3.org/2001/XMLSchema#

examples/example-037-Defining-an-context-within-a-term-definition-turtle.ttl renamed to examples/example-038-Defining-an-context-within-a-term-definition-turtle.ttl

@@ -1,4 +1,4 @@
-Example 033: Using a term to define the IRI of another term within a context
+Example 034: Using a term to define the IRI of another term within a context
 ---
 "@context":
   foaf: http://xmlns.com/foaf/0.1/

examples/example-038-Defining-an-context-within-a-term-definition-used-on-type-expanded.jsonld renamed to examples/example-039-Defining-an-context-within-a-term-definition-used-on-type-expanded.jsonld

@@ -1,4 +1,4 @@
-Example 034: Using a compact IRI as a term
+Example 035: Using a compact IRI as a term
 ---
 "@context":
   foaf: http://xmlns.com/foaf/0.1/

examples/example-038-Defining-an-context-within-a-term-definition-used-on-type-original.jsonld renamed to examples/example-039-Defining-an-context-within-a-term-definition-used-on-type-original.jsonld

@@ -1,4 +1,4 @@
-Example 035: Associating context definitions with absolute IRIs
+Example 036: Associating context definitions with absolute IRIs
 ---
 "@context":
   foaf: http://xmlns.com/foaf/0.1/

examples/example-038-Defining-an-context-within-a-term-definition-used-on-type-statements.table renamed to examples/example-039-Defining-an-context-within-a-term-definition-used-on-type-statements.table

@@ -1,4 +1,4 @@
-Example 037: Defining an @context within a term definition-expanded
+Example 038: Defining an @context within a term definition-expanded
 ---
 - http://xmlns.com/foaf/0.1/interest:
   - "@id": https://www.w3.org/TR/json-ld11/

examples/example-038-Defining-an-context-within-a-term-definition-used-on-type-turtle.ttl renamed to examples/example-039-Defining-an-context-within-a-term-definition-used-on-type-turtle.ttl

@@ -1,4 +1,4 @@
-Example 037: Defining an @context within a term definition-original
+Example 038: Defining an @context within a term definition-original
 ---
 "@context":
   "@version": 1.1

examples/example-039-Expanded-term-definition-with-type-coercion-expanded.jsonld renamed to examples/example-040-Expanded-term-definition-with-type-coercion-expanded.jsonld

@@ -1,4 +1,4 @@
-Example 038: Defining an @context within a term definition used on @type-expanded
+Example 039: Defining an @context within a term definition used on @type-expanded
 ---
 - "@type":
   - http://schema.org/Person

examples/example-039-Expanded-term-definition-with-type-coercion-original.jsonld renamed to examples/example-040-Expanded-term-definition-with-type-coercion-original.jsonld

@@ -1,4 +1,4 @@
-Example 038: Defining an @context within a term definition used on @type-original
+Example 039: Defining an @context within a term definition used on @type-original
 ---
 "@context":
   "@version": 1.1

examples/example-039-Expanded-term-definition-with-type-coercion-statements.table renamed to examples/example-040-Expanded-term-definition-with-type-coercion-statements.table

@@ -1,4 +1,4 @@
-Example 039: Expanded term definition with type coercion-expanded
+Example 040: Expanded term definition with type coercion-expanded
 ---
 - "@id": http://example.com/docs/1
   http://purl.org/dc/terms/modified:

examples/example-039-Expanded-term-definition-with-type-coercion-turtle.ttl renamed to examples/example-040-Expanded-term-definition-with-type-coercion-turtle.ttl

@@ -1,4 +1,4 @@
-Example 039: Expanded term definition with type coercion-original
+Example 040: Expanded term definition with type coercion-original
 ---
 "@context":
   modified:

examples/example-040-Expanded-value-with-type-expanded.jsonld renamed to examples/example-041-Expanded-value-with-type-expanded.jsonld

@@ -1,4 +1,4 @@
-Example 040: Expanded value with type-expanded
+Example 041: Expanded value with type-expanded
 ---
 - http://purl.org/dc/terms/modified:
   - "@type": http://www.w3.org/2001/XMLSchema#dateTime

examples/example-040-Expanded-value-with-type-original.jsonld renamed to examples/example-041-Expanded-value-with-type-original.jsonld

@@ -1,4 +1,4 @@
-Example 040: Expanded value with type-original
+Example 041: Expanded value with type-original
 ---
 "@context":
   modified:

examples/example-040-Expanded-value-with-type-statements.table renamed to examples/example-041-Expanded-value-with-type-statements.table

@@ -1,4 +1,4 @@
-Example 041: Example demonstrating the context-sensitivity for @type
+Example 042: Example demonstrating the context-sensitivity for @type
 ---
 "@id": http://example.org/posts#TripToWestVirginia
 "@type": http://schema.org/BlogPosting

examples/example-040-Expanded-value-with-type-turtle.ttl renamed to examples/example-041-Expanded-value-with-type-turtle.ttl

@@ -1,4 +1,4 @@
-Example 043: Expanded term definition with types-expanded
+Example 044: Expanded term definition with types-expanded
 ---
 - "@id": http://example.com/people#john
   http://xmlns.com/foaf/0.1/name:

examples/example-041-Example-demonstrating-the-context-sensitivity-for-type.jsonld renamed to examples/example-042-Example-demonstrating-the-context-sensitivity-for-type.jsonld

@@ -1,4 +1,4 @@
-Example 043: Expanded term definition with types-original
+Example 044: Expanded term definition with types-original
 ---
 "@context":
   xsd: http://www.w3.org/2001/XMLSchema#

examples/example-042-Example-demonstrating-the-context-sensitivity-for-type-statements-original.table renamed to examples/example-043-Example-demonstrating-the-context-sensitivity-for-type-statements-original.table

@@ -1,4 +1,4 @@
-Example 044: Term definitions using compact and absolute IRIs-expanded
+Example 045: Term definitions using compact and absolute IRIs-expanded
 ---
 - http://xmlns.com/foaf/0.1/age:
   - "@type": http://www.w3.org/2001/XMLSchema#integer

examples/example-042-Example-demonstrating-the-context-sensitivity-for-type-statements-turtle.ttl renamed to examples/example-043-Example-demonstrating-the-context-sensitivity-for-type-statements-turtle.ttl

@@ -1,4 +1,4 @@
-Example 044: Term definitions using compact and absolute IRIs-original
+Example 045: Term definitions using compact and absolute IRIs-original
 ---
 "@context":
   xsd: http://www.w3.org/2001/XMLSchema#

examples/example-043-Expanded-term-definition-with-types-expanded.jsonld renamed to examples/example-044-Expanded-term-definition-with-types-expanded.jsonld

@@ -1,4 +1,4 @@
-Example 045: Setting the default language of a JSON-LD document-expanded
+Example 046: Setting the default language of a JSON-LD document-expanded
 ---
 - http://example.org/name:
   - "@value": 花澄

examples/example-043-Expanded-term-definition-with-types-original.jsonld renamed to examples/example-044-Expanded-term-definition-with-types-original.jsonld

@@ -1,4 +1,4 @@
-Example 045: Setting the default language of a JSON-LD document-original
+Example 046: Setting the default language of a JSON-LD document-original
 ---
 "@context":
   name: http://example.org/name

examples/example-043-Expanded-term-definition-with-types-statements.table renamed to examples/example-044-Expanded-term-definition-with-types-statements.table

@@ -1,4 +1,4 @@
-Example 046: Clearing default language
+Example 047: Clearing default language
 ---
 "@context":
   "@language": ja

examples/example-043-Expanded-term-definition-with-types-Turtle.ttl renamed to examples/example-044-Expanded-term-definition-with-types-turtle.ttl

@@ -1,4 +1,4 @@
-Example 047: Expanded term definition with language
+Example 048: Expanded term definition with language
 ---
 "@context":
   ex: http://example.com/vocab/

examples/example-044-Term-definitions-using-compact-and-absolute-IRIs-expanded.jsonld renamed to examples/example-045-Term-definitions-using-compact-and-absolute-IRIs-expanded.jsonld

@@ -1,4 +1,4 @@
-Example 048: Language map expressing a property in three languages
+Example 049: Language map expressing a property in three languages
 ---
 "@context":
   occupation:

examples/example-044-Term-definitions-using-compact-and-absolute-IRIs-original.jsonld renamed to examples/example-045-Term-definitions-using-compact-and-absolute-IRIs-original.jsonld

@@ -1,4 +1,4 @@
-Example 049: Overriding default language using an expanded value
+Example 050: Overriding default language using an expanded value
 ---
 "@context":
   "@language": ja

examples/example-044-Term-definitions-using-compact-and-absolute-IRIs-statements.table renamed to examples/example-045-Term-definitions-using-compact-and-absolute-IRIs-statements.table

@@ -1,4 +1,4 @@
-Example 050: Removing language information using an expanded value
+Example 051: Removing language information using an expanded value
 ---
 "@context":
   "@language": ja

examples/example-044-Term-definitions-using-compact-and-absolute-IRIs-turtle.ttl renamed to examples/example-045-Term-definitions-using-compact-and-absolute-IRIs-turtle.ttl

@@ -1,4 +1,4 @@
-Example 051: Multiple values with no inherent order-expanded
+Example 052: Multiple values with no inherent order-expanded
 ---
 - "@id": http://example.org/people#joebob
   http://xmlns.com/foaf/0.1/nick: