Skip to content

Commit

Permalink
Fixing lowercase to uppercase
Browse files Browse the repository at this point in the history
  • Loading branch information
phochste committed May 15, 2024
1 parent 1ce0ee2 commit eeb3ca2
Show file tree
Hide file tree
Showing 2 changed files with 16 additions and 16 deletions.
14 changes: 7 additions & 7 deletions index.bs
Original file line number Diff line number Diff line change
Expand Up @@ -858,17 +858,17 @@ Query for a possible path from A to Nantes.
Combining the RDF documents from Examples 26, 27 and 28, a RDF Surfaces reasoner should give as answer:

```
:angers :path :nantes .
:lemans :path :nantes .
:Angers :path :Nantes .
:Lemans :path :Nantes .
```

If we would remove the negative surface around `:chartes :oneway :lemans`, a RDF Surfaces reasoner should provide more answers:
If we would remove the negative surface around `:Chartes :oneway :Lemans`, a RDF Surfaces reasoner should provide more answers:

```
:angers :path :nantes .
:lemans :path :nantes .
:chartres :path :nantes .
:paris :path :nantes .
:Angers :path :Nantes .
:Lemans :path :Nantes .
:Chartres :path :Nantes .
:Paris :path :Nantes .
```

For more RDF Surfaces examples see:
Expand Down
18 changes: 9 additions & 9 deletions index.html
Original file line number Diff line number Diff line change
Expand Up @@ -2044,7 +2044,7 @@
<div class="head">
<p data-fill-with="logo"></p>
<h1 class="p-name no-ref" id="title">RDF Surfaces Primer</h1>
<h2 class="no-num no-toc no-ref heading settled" id="profile-and-date"><span class="content">Living Document, <time class="dt-updated" datetime="2024-05-14">14 May 2024</time></span></h2>
<h2 class="no-num no-toc no-ref heading settled" id="profile-and-date"><span class="content">Living Document, <time class="dt-updated" datetime="2024-05-15">15 May 2024</time></span></h2>
<div data-fill-with="spec-metadata">
<dl>
<dt>Issue Tracking:
Expand All @@ -2057,7 +2057,7 @@ <h2 class="no-num no-toc no-ref heading settled" id="profile-and-date"><span cla
<div data-fill-with="warning"></div>
<p class="copyright" data-fill-with="copyright"><a href="http://creativecommons.org/publicdomain/zero/1.0/" rel="license"><img alt="CC0" height="15" src="https://licensebuttons.net/p/zero/1.0/80x15.png" width="80"></a> To the extent possible under law, the editors have waived all copyright
and related or neighboring rights to this work.
In addition, as of 14 May 2024,
In addition, as of 15 May 2024,
the editors have made this specification available under the <a href="http://www.openwebfoundation.org/legal/the-owf-1-0-agreements/owfa-1-0" rel="license">Open Web Foundation Agreement Version 1.0</a>,
which is available at http://www.openwebfoundation.org/legal/the-owf-1-0-agreements/owfa-1-0.
Parts of this work may be from another specification document. If so, those parts are instead covered by the license of that specification document. </p>
Expand Down Expand Up @@ -2720,14 +2720,14 @@ <h2 class="heading settled" data-level="4" id="Examples"><span class="secno">4.
</pre>
</div>
<p>Combining the RDF documents from Examples 26, 27 and 28, a RDF Surfaces reasoner should give as answer:</p>
<pre>:angers :path :nantes .
:lemans :path :nantes .
<pre>:Angers :path :Nantes .
:Lemans :path :Nantes .
</pre>
<p>If we would remove the negative surface around <code>:chartes :oneway :lemans</code>, a RDF Surfaces reasoner should provide more answers:</p>
<pre>:angers :path :nantes .
:lemans :path :nantes .
:chartres :path :nantes .
:paris :path :nantes .
<p>If we would remove the negative surface around <code>:Chartes :oneway :Lemans</code>, a RDF Surfaces reasoner should provide more answers:</p>
<pre>:Angers :path :Nantes .
:Lemans :path :Nantes .
:Chartres :path :Nantes .
:Paris :path :Nantes .
</pre>
<p>For more RDF Surfaces examples see:</p>
<ul>
Expand Down

0 comments on commit eeb3ca2

Please sign in to comment.