You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
this makes Respec unhappy, because 'appears in' is currently not defined,
but including the definition will be for another PR.
This keeps this PR more "localized".
of a [=triple term=] or an [=RDF triple=] are its [=subject=], its [=predicate=], its [=object=],
915
-
and all the [=constituent terms=] of its [=object=] if it is itself a [=triple term=].
916
-
By extension, the [=constituent terms=] of an [=RDF graph=] are all the constituent terms of its triples.
917
-
</p>
918
-
919
912
</section>
920
913
921
914
<sectionid="graph-isomorphism">
@@ -1544,8 +1537,8 @@ <h2>From [=Full=] to [=Classic=]</h2>
1544
1537
1545
1538
<p>
1546
1539
Encoding an [=RDF graph=] to ensure that it is consumable by an RDF [=Classic=] implementation is called <dfndata-lt="classicize|classicized">classicizing</dfn> it.
1547
-
[=Classicizing=] consists of repeating the following steps until no [=constituent=] of the graph is a [=triple term=], and the graph is therefore compliant with RDF [=Classic=]: picking a [=triple term=] <var>tt</var> that is a [=constituent terms=] of the graph; minting a fresh [=blank node=] <var>b</var>
1548
-
(i.e., a blank node not yet in use in the graph); replacing <var>tt</var> with <var>b</var> in all the triples of the graph having<var>tt</var> in their [=constituents=];
1540
+
[=Classicizing=] consists of repeating the following steps until no [=triple term=] [=appears=] in the graph, and the graph is therefore compliant with RDF [=Classic=]: picking a [=triple term=] <var>tt</var> that [=appears=] in the graph; minting a fresh [=blank node=] <var>b</var>
1541
+
(i.e., a blank node not yet in use in the graph); replacing all occurrences of <var>tt</var>[=appearing=] in the graph with<var>b</var>;
1549
1542
and then adding the following triples to the graph (where <var>s</var>, <var>p</var>, and <var>o</var> are respectively the [=subject=], [=predicate=] and [=object=] of <var>tt</var>):
1550
1543
</p>
1551
1544
<ul>
@@ -1555,7 +1548,7 @@ <h2>From [=Full=] to [=Classic=]</h2>
1555
1548
<li>(<var>b</var>, `rdf:ttObject`, <var>o</var>)
1556
1549
</ul>
1557
1550
1558
-
<p>Note that this transformation is <em>information preserving</em> only when the input graph either has no [=triple term=] in its [=constituents=],
1551
+
<p>Note that this transformation is <em>information preserving</em> only when the input graph either has no [=triple term=] [=appearing=] in it,
1559
1552
or contains no [=asserted=] triple (<var>b</var>, `rdf:type`, `rdf:TripleTerm`) where <var>b</var> is a [=blank node=].
1560
1553
Implementations encountering this situation MUST report an error.
1561
1554
This limitation is discussed in Section <ahref="#section-classicize-caveat"></a>.
@@ -1607,15 +1600,14 @@ <h2>From [=Classic=] to [=Full=]</h2>
1607
1600
1608
1601
<p>Reverting a [=classicized=] graph to its original form consists of locating
1609
1602
each [=asserted=] triple (<var>b</var>, `rdf:type`, `rdf:TripleTerm`)
1610
-
that has a [=blank node=] <var>b</var> as its subject,
1611
-
along with the three associated [=asserted=] triples
1603
+
that has a [=blank node=] <var>b</var> as its subject,
1604
+
along with the three associated [=asserted=] triples
1612
1605
that have the same [=blank node=] <var>b</var> as their subjects, i.e.,
1613
1606
(<var>b</var>, `rdf:ttSubject`, <var>s</var>),
1614
1607
(<var>b</var>, `rdf:ttPredicate`, <var>p</var>),
1615
1608
and (<var>b</var>, `rdf:ttObject`, <var>o</var>);
1616
1609
removing these four triples from the graph;
1617
-
and replacing all remaining occurrences of <var>b</var>
1618
-
as a [=constituent term=] of the graph
1610
+
and replacing all remaining occurrences of <var>b</var> [=appearing=] in the graph
1619
1611
with the triple term (<var>s</var>, <var>p</var>, <var>o</var>).
1620
1612
</p>
1621
1613
@@ -1626,7 +1618,7 @@ <h2>From [=Classic=] to [=Full=]</h2>
1626
1618
is missing or duplicated).
1627
1619
An implementation MUST also report an error if the input graph contains
1628
1620
at the same time a [=triple term=] and an [=asserted triple=]
1629
-
(<var>b</var>, `rdf:type`, `rdf:TripleTerm`)
1621
+
(<var>b</var>, `rdf:type`, `rdf:TripleTerm`)
1630
1622
where <var>b</var> is the same [=blank node=].
1631
1623
Note that none of these situations can occur if the input graph was produced by the [=classicize=] transformation.
1632
1624
</p>
@@ -1644,7 +1636,7 @@ <h2>From [=Classic=] to [=Full=]</h2>
1644
1636
<h2>Limitations</h2>
1645
1637
1646
1638
<p>The two transformations above explicitly do not support graphs or datasets containing at the same time a [=triple term=] and an [=asserted triple=]
1647
-
(<var>b</var>, `rdf:type`, `rdf:TripleTerm`)
1639
+
(<var>b</var>, `rdf:type`, `rdf:TripleTerm`)
1648
1640
where <var>b</var> is a [=blank node=].
1649
1641
This means that the [=classicize=] transformation is not <em>strictly</em> universal.
0 commit comments