diff --git a/index.bs b/index.bs index 76fcaee..cefa798 100644 --- a/index.bs +++ b/index.bs @@ -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: diff --git a/index.html b/index.html index 949898e..00a1100 100644 --- a/index.html +++ b/index.html @@ -2044,7 +2044,7 @@
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 Open Web Foundation Agreement Version 1.0, 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.
@@ -2720,14 +2720,14 @@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::angers :path :nantes . -:lemans :path :nantes . -:chartres :path :nantes . -:paris :path :nantes . +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 .For more RDF Surfaces examples see: