From fb23e88f58b2d2e5b22f386d3220005187b42b16 Mon Sep 17 00:00:00 2001 From: william-vw Date: Fri, 15 Dec 2023 09:25:18 -0400 Subject: [PATCH] fix editor link! --- spec/create-markdown.py | 2 +- spec/index.bs | 202 ++++++++++++++-------------- spec/original/create-markdown.ipynb | 190 +++++++++++++------------- 3 files changed, 197 insertions(+), 197 deletions(-) diff --git a/spec/create-markdown.py b/spec/create-markdown.py index c23f2e0..9a05621 100644 --- a/spec/create-markdown.py +++ b/spec/create-markdown.py @@ -82,7 +82,7 @@ # In[604]: -editor_uri = "https://n3-editor.herokuapp.com/n3/editor/?formula=" +editor_uri = "https://editor.notation3.org/?formula=" md_string = "" diff --git a/spec/index.bs b/spec/index.bs index 461d5f6..947a5cb 100644 --- a/spec/index.bs +++ b/spec/index.bs @@ -303,7 +303,7 @@ Gets as object the SHA-1 hash **Schema**
`$s+ crypto:sha $o-`
where:
`$s`: `xsd:string`

**Examples**
-try in editor 🚀
+try in editor 🚀

Calculate the SHA-1 of the string "hello world". @@ -330,7 +330,7 @@ Calculates as object the absolute value of the subject. **Schema**
`$s+ math:absoluteValue $o-`

where:
`$s`: (`xsd:decimal` | `xsd:double` | `xsd:float`)
`$o`: (`xsd:decimal` | `xsd:double` | `xsd:float`)

**Examples**
-try in editor 🚀
+try in editor 🚀

Calculate the absolute value of the value -2. @@ -367,7 +367,7 @@ Calculates the object as the arc cosine value of the subject. **Schema**
`$s? math:acos $o?`

where:
`$s`: (`xsd:decimal` | `xsd:double` | `xsd:float`)
`$o`: (`xsd:decimal` | `xsd:double` | `xsd:float`)

**Examples**
-try in editor 🚀
+try in editor 🚀

Calculate the arc cosine of the value 1. @@ -404,7 +404,7 @@ Calculates the object as the arc sine value of the subject. **Schema**
`$s? math:asin $o?`

where:
`$s`: (`xsd:decimal` | `xsd:double` | `xsd:float`)
`$o`: (`xsd:decimal` | `xsd:double` | `xsd:float`)

**Examples**
-try in editor 🚀
+try in editor 🚀

Calculate the arc sine of the value 1. @@ -441,7 +441,7 @@ Calculates the object as the arc tangent value of the subject. **Schema**
`$s? math:atan $o?`

where:
`$s`: (`xsd:decimal` | `xsd:double` | `xsd:float`)
`$o`: (`xsd:decimal` | `xsd:double` | `xsd:float`)

**Examples**
-try in editor 🚀
+try in editor 🚀

Calculate the arc tangent of the value 1. @@ -478,7 +478,7 @@ Calculates the object as the cosine value of the subject. **Schema**
`$s? math:cos $o?`

where:
`$s`: (`xsd:decimal` | `xsd:double` | `xsd:float`)
`$o`: (`xsd:decimal` | `xsd:double` | `xsd:float`)

**Examples**
-try in editor 🚀
+try in editor 🚀

Calculate the cosine of the value 0. @@ -515,7 +515,7 @@ Calculates the object as the hyperbolic cosine value of the subject. **Schema**
`$s? math:cosh $o?`

where:
`$s`: (`xsd:decimal` | `xsd:double` | `xsd:float`)
`$o`: (`xsd:decimal` | `xsd:double` | `xsd:float`)

**Examples**
-try in editor 🚀
+try in editor 🚀

Calculate the hyperbolic cosine of the value 0. @@ -550,7 +550,7 @@ Calculates the object as the value in degrees corresponding to the radians value **Schema**
`$s? math:degrees $o?`

where:
`$s`: (`xsd:decimal` | `xsd:double` | `xsd:float`)
`$o`: (`xsd:decimal` | `xsd:double` | `xsd:float`)

**Examples**
-try in editor 🚀
+try in editor 🚀

Calculate the degrees of the radians value 1.57079632679. @@ -585,7 +585,7 @@ Calculates the object by subtracting the second number from the first number giv **Schema**
`( $s.1+ $s.2+ )+ math:difference $o-`

where:
`$s.1`: (`xsd:decimal` | `xsd:double` | `xsd:float`), `$s.2`: (`xsd:decimal` | `xsd:double` | `xsd:float`)
`$o`: (`xsd:decimal` | `xsd:double` | `xsd:float`)

**Examples**
-try in editor 🚀
+try in editor 🚀

Calculate the value of 7 minus 2. @@ -622,7 +622,7 @@ Checks whether the subject and object are the same number. **Schema**
`$s? math:equalTo $o?`

where:
`$s`: (`xsd:decimal` | `xsd:double` | `xsd:float`)
`$o`: (`xsd:decimal` | `xsd:double` | `xsd:float`)

**Examples**
-try in editor 🚀
+try in editor 🚀

Check if the numbers 42 and 42 are equal . @@ -658,7 +658,7 @@ You can also use this to calculate the logarithm of the object, with as base the **Schema**
`( $s.1+ $s.2? )+ math:exponentiation $o?`

where:
`$s.1`: (`xsd:decimal` | `xsd:double` | `xsd:float`), `$s.2`: (`xsd:decimal` | `xsd:double` | `xsd:float`)
`$o`: (`xsd:decimal` | `xsd:double` | `xsd:float`)

**Examples**
-try in editor 🚀
+try in editor 🚀

Calculate the logarithm of 49 base 2 . @@ -683,7 +683,7 @@ Calculate the logarithm of 49 base 2 .

-try in editor 🚀
+try in editor 🚀

Calculate the value of 7 raised to the power of 2 . @@ -720,7 +720,7 @@ Checks whether the subject is a number that is greater than the object. **Schema**
`$s+ math:greaterThan $o+`

where:
`$s`: (`xsd:decimal` | `xsd:double` | `xsd:float`)
`$o`: (`xsd:decimal` | `xsd:double` | `xsd:float`)

**Examples**
-try in editor 🚀
+try in editor 🚀

Check if 42 is greater than 41 . @@ -757,7 +757,7 @@ Checks whether the subject is a number that is less than the object. **Schema**
`$s+ math:lessThan $o+`

where:
`$s`: (`xsd:decimal` | `xsd:double` | `xsd:float`)
`$o`: (`xsd:decimal` | `xsd:double` | `xsd:float`)

**Examples**
-try in editor 🚀
+try in editor 🚀

Check if 41 is less than 42 . @@ -792,7 +792,7 @@ Calculates the object as the negation of the subject. **Schema**
`$s? math:negation $o?`

where:
`$s`: (`xsd:decimal` | `xsd:double` | `xsd:float`)
`$o`: (`xsd:decimal` | `xsd:double` | `xsd:float`)

**Examples**
-try in editor 🚀
+try in editor 🚀

Calculate the negation of the value 42 . @@ -829,7 +829,7 @@ Checks whether the subject and object are not the same number. **Schema**
`$s+ math:notEqualTo $o+`

where:
`$s`: (`xsd:decimal` | `xsd:double` | `xsd:float`)
`$o`: (`xsd:decimal` | `xsd:double` | `xsd:float`)

**Examples**
-try in editor 🚀
+try in editor 🚀

Check if the numbers 41 and 42 are not equal . @@ -867,7 +867,7 @@ You can use this as an equivalent of a lessThanOrEqual operator. **Schema**
`$s+ math:notGreaterThan $o+`

where:
`$s`: (`xsd:decimal` | `xsd:double` | `xsd:float`)
`$o`: (`xsd:decimal` | `xsd:double` | `xsd:float`)

**Examples**
-try in editor 🚀
+try in editor 🚀

Check if 41 is not greater than 42 . @@ -905,7 +905,7 @@ You can use this as an equivalent of a greaterThanOrEqual operator. **Schema**
`$s+ math:notLessThan $o+`

where:
`$s`: (`xsd:decimal` | `xsd:double` | `xsd:float`)
`$o`: (`xsd:decimal` | `xsd:double` | `xsd:float`)

**Examples**
-try in editor 🚀
+try in editor 🚀

Check if 42 is not less than 41 . @@ -940,7 +940,7 @@ Calculates the object as the product of the numbers given in the subject list. **Schema**
`( $s.i+ )+ math:product $o-`

where:
`$s.i`: (`xsd:decimal` | `xsd:double` | `xsd:float`)
`$o`: (`xsd:decimal` | `xsd:double` | `xsd:float`)

**Examples**
-try in editor 🚀
+try in editor 🚀

Calculate the product of 2 and 21. @@ -968,7 +968,7 @@ Calculate the product of 2 and 21.

-try in editor 🚀
+try in editor 🚀

Calculate the product of 2,4,6, and 8 . @@ -1003,7 +1003,7 @@ Calculates the object by dividing the first number by the second number given in **Schema**
`( $s.1+ $s.2+ )+ math:quotient $o-`

where:
`$s.1`: (`xsd:decimal` | `xsd:double` | `xsd:float`), `$s.2`: (`xsd:decimal` | `xsd:double` | `xsd:float`)
`$o`: (`xsd:decimal` | `xsd:double` | `xsd:float`)

**Examples**
-try in editor 🚀
+try in editor 🚀

Calculate the quotient of 42 and 2. @@ -1038,7 +1038,7 @@ Calculates the object as the remainder of the division of the first integer by t **Schema**
`( $s.1+ $s.2+ )+ math:remainder $o-`

where:
`$s.1`: `xsd:integer`, `$s.2`: `xsd:integer`
`$o`: `xsd:integer`

**Examples**
-try in editor 🚀
+try in editor 🚀

Calculate the remainder of 10 divided by 3. @@ -1075,7 +1075,7 @@ If there are two such numbers, then the one closest to positive infinity is retu **Schema**
`$s+ math:rounded $o-`

where:
`$s`: (`xsd:decimal` | `xsd:double` | `xsd:float`)
`$o`: `xsd:integer`

**Examples**
-try in editor 🚀
+try in editor 🚀

Calculate the rounded version of 3.3. @@ -1113,7 +1113,7 @@ Calculates the object as the sine value of the subject. **Schema**
`$s? math:sin $o?`

where:
`$s`: (`xsd:decimal` | `xsd:double` | `xsd:float`)
`$o`: (`xsd:decimal` | `xsd:double` | `xsd:float`)

**Examples**
-try in editor 🚀
+try in editor 🚀

Calculate the sin of pi/2 (1.57079632679) . @@ -1152,7 +1152,7 @@ Calculates the object as the hyperbolic sine value of the subject. **Schema**
`$s? math:sinh $o?`

where:
`$s`: (`xsd:decimal` | `xsd:double` | `xsd:float`)
`$o`: (`xsd:decimal` | `xsd:double` | `xsd:float`)

**Examples**
-try in editor 🚀
+try in editor 🚀

Calculate the sinh of log(1 + sqrt(2)) (0.88137358701954302). @@ -1188,7 +1188,7 @@ Calculates the object as the sum of the numbers given in the subject list. **Schema**
`( $s.i+ )+ math:sum $o-`

where:
`$s.i`: (`xsd:decimal` | `xsd:double` | `xsd:float`)
`$o`: (`xsd:decimal` | `xsd:double` | `xsd:float`)

**Examples**
-try in editor 🚀
+try in editor 🚀

Calculate the sum of 1,2,3,4,5,6,7,8,9,10. @@ -1225,7 +1225,7 @@ Calculates the object as the tangent value of the subject. **Schema**
`$s? math:tan $o?`

where:
`$s`: (`xsd:decimal` | `xsd:double` | `xsd:float`)
`$o`: (`xsd:decimal` | `xsd:double` | `xsd:float`)

**Examples**
-try in editor 🚀
+try in editor 🚀

Calculate the tangent of the value 0.7853981633974483 . @@ -1264,7 +1264,7 @@ Calculates the object as the hyperbolic tangent value of the subject. **Schema**
`$s? math:tanh $o?`

where:
`$s`: (`xsd:decimal` | `xsd:double` | `xsd:float`)
`$o`: (`xsd:decimal` | `xsd:double` | `xsd:float`)

**Examples**
-try in editor 🚀
+try in editor 🚀

Calculate the hyperbolic tanget of 0.549306 . @@ -1302,7 +1302,7 @@ Gets as object the integer day component of the subject xsd:dateTime. **Schema**
`$s+ time:day $o-`

where:
`$s`: `xsd:dateTime`
`$o`: `xsd:integer`

**Examples**
-try in editor 🚀
+try in editor 🚀

Return the day component of the date "2023-04-01T18:06:04Z" . @@ -1338,7 +1338,7 @@ Gets as object the integer minutes component of the subject xsd:dateTime. **Schema**
`$s+ time:minute $o-`

where:
`$s`: `xsd:dateTime`
`$o`: `xsd:integer`

**Examples**
-try in editor 🚀
+try in editor 🚀

Return the minute component of the date "2023-04-01T18:06:04Z" . @@ -1374,7 +1374,7 @@ Gets as object the integer month component of the subject xsd:dateTime. **Schema**
`$s+ time:month $o-`

where:
`$s`: `xsd:dateTime`
`$o`: `xsd:integer`

**Examples**
-try in editor 🚀
+try in editor 🚀

Return the month component of the date "2023-04-01T18:06:04Z" . @@ -1410,7 +1410,7 @@ Gets as object the integer seconds component of the subject xsd:dateTime. **Schema**
`$s+ time:second $o-`

where:
`$s`: `xsd:dateTime`
`$o`: `xsd:integer`

**Examples**
-try in editor 🚀
+try in editor 🚀

Return the seconds component of the date "2023-04-01T18:06:04Z" . @@ -1446,7 +1446,7 @@ Gets as object the trailing timezone offset of the subject xsd:dateTime (e.g., " **Schema**
`$s+ time:timeZone $o-`

where:
`$s`: `xsd:dateTime`
`$o`: `xsd:string`

**Examples**
-try in editor 🚀
+try in editor 🚀

Return the time zone component of the date "2023-04-01T18:06:04Z" . @@ -1482,7 +1482,7 @@ Gets as object the integer year component of the subject xsd:dateTime. **Schema**
`$s+ time:year $o-`

where:
`$s`: `xsd:dateTime`
`$o`: `xsd:integer`

**Examples**
-try in editor 🚀
+try in editor 🚀

Return the minute component of the date "2023-04-01T18:06:04Z" . @@ -1521,7 +1521,7 @@ Appends the lists from the subject list into a single list as object. **Schema**
`( $s.i?[*] )+ list:append $o?`

where:
`$s.i`: `rdf:List`
`$o`: `rdf:List`

**Examples**
-try in editor 🚀
+try in editor 🚀

Append (3 4) to the list (1 2). @@ -1540,7 +1540,7 @@ Append (3 4) to the list (1 2).

-try in editor 🚀
+try in editor 🚀

What do we need to prepend to (3 4) to get (1 2 3 4)? @@ -1559,7 +1559,7 @@ What do we need to prepend to (3 4) to get (1 2 3 4)?

-try in editor 🚀
+try in editor 🚀

Is the list (1 2 3 4) equal to appending (1), (2 3) , (4)? @@ -1578,7 +1578,7 @@ Is the list (1 2 3 4) equal to appending (1), (2 3) , (4)?

-try in editor 🚀
+try in editor 🚀

What do we need to append to (1 2) to get (1 2 3 4)? @@ -1606,7 +1606,7 @@ Gets the first element of the subject list as object. **Schema**
`$s+ list:first $o-`

where:
`$s`: `rdf:List`

**Examples**
-try in editor 🚀
+try in editor 🚀

What is the first element of ( ('a') { :a :b :c } 42 )? @@ -1634,7 +1634,7 @@ Checks whether the subject is a member of the object list. **Schema**
`$s-[*] list:in $o+`

where:
`$o`: `rdf:List`

**Examples**
-try in editor 🚀
+try in editor 🚀

What are the members of ( "dog" "penguin" "cat" )? @@ -1655,7 +1655,7 @@ What are the members of ( "dog" "penguin" "cat" )?

-try in editor 🚀
+try in editor 🚀

Does ( "dog" "penguin" "cat" ) contain a "cat"? @@ -1682,7 +1682,7 @@ Iterates over each member of the subject list, getting their index/value pairs a **Schema**
`$s+ list:iterate ( $o.1?[*] $o.2?[*] )?[*]`

where:
`$s`: `rdf:List`
`$o.1`: `xsd:integer`

**Examples**
-try in editor 🚀
+try in editor 🚀

Is "cat" the third item in the list ("dog" "penguin" "cat")? @@ -1709,7 +1709,7 @@ Is "cat" the third item in the list ("dog" "penguin" "cat")?

-try in editor 🚀
+try in editor 🚀

Iterate over the list ("dog" "penguin" "cat"). @@ -1730,7 +1730,7 @@ Iterate over the list ("dog" "penguin" "cat").

-try in editor 🚀
+try in editor 🚀

What is the index of "cat" in the list ("dog" "penguin" "cat")? @@ -1766,7 +1766,7 @@ Gets the last element of the subject list as object. **Schema**
`$s+ list:last $o-`

where:
`$s`: `rdf:List`

**Examples**
-try in editor 🚀
+try in editor 🚀

Test if the last element of the list (1 2 3 4) is 4. @@ -1794,7 +1794,7 @@ Test if the last element of the list (1 2 3 4) is 4.

-try in editor 🚀
+try in editor 🚀

Extract the last element of the list (1 2 3 4). @@ -1820,7 +1820,7 @@ Gets the length of the subject list as object. **Schema**
`$s+ list:length $o-`

where:
`$s`: `rdf:List`

**Examples**
-try in editor 🚀
+try in editor 🚀

Calculate the length of the list (1 2 3 4). @@ -1848,7 +1848,7 @@ Checks whether the subject list contains the object. **Schema**
`$s+ list:member $o-[*]`

where:
`$s`: `rdf:List`

**Examples**
-try in editor 🚀
+try in editor 🚀

Determine the members of the list ("dog" "penguin" "cat"). @@ -1869,7 +1869,7 @@ Determine the members of the list ("dog" "penguin" "cat").

-try in editor 🚀
+try in editor 🚀

Is "cat" a member of the list ("dog" "penguin" "cat")? @@ -1904,7 +1904,7 @@ Gets the member of the subject list at the given subject index as object (index **Schema**
`( $s.1+ $s.2?[*] )+ list:memberAt $o?[*]`

where:
`$s.1`: `rdf:List`, `$s.2`: `xsd:integer`

**Examples**
-try in editor 🚀
+try in editor 🚀

Find the index of "cat" in the list ("dog" "cat" "penguin" "cat"). @@ -1933,7 +1933,7 @@ Find the index of "cat" in the list ("dog" "cat" "penguin" "cat").

-try in editor 🚀
+try in editor 🚀

Get the third member of the list ("dog" "penguin" "cat"). @@ -1970,7 +1970,7 @@ Removes each occurrence of the subject member from the subject list, and returns **Schema**
`( $s.1+ $s.2+ )+ list:remove $o-`

where:
`$s.1`: `rdf:List`

**Examples**
-try in editor 🚀
+try in editor 🚀

Remove non-existent "parakeet" from the list ("dog" "penguin" "cat" "penguin"). @@ -1997,7 +1997,7 @@ Remove non-existent "parakeet" from the list ("dog" "penguin" "cat" "penguin").

-try in editor 🚀
+try in editor 🚀

Remove "penguin" from the list ("dog" "penguin" "cat" "penguin"). @@ -2035,7 +2035,7 @@ This applies scoped quantification. **Schema**
`( $s.1- $s.2+ $s.3- )+ log:collectAllIn $o?`

where:
`$s.2`: `log:Formula`, `$s.3`: `rdf:List`
`$o`: (Scope of the builtin. Leave as a variable to use current N3 document as scope.)

**Examples**
-try in editor 🚀
+try in editor 🚀

Set of basic examples for log:collectAllIn. @@ -2081,7 +2081,7 @@ Set of basic examples for log:collectAllIn.

-try in editor 🚀
+try in editor 🚀

Example where the list is already given; in that case, the collected list will be compared with the given list. @@ -2120,7 +2120,7 @@ by applying any rules it contains to the data it contains. **Schema**
`$s+ log:conclusion $o?`

where:
`$s`: `log:Formula`
`$o`: `log:Formula`

**Examples**
-try in editor 🚀
+try in editor 🚀

Draw all conclusions from the formula ":Felix a :Cat . { ?X a :Cat } => { ?X :says "Meow" . }". @@ -2162,7 +2162,7 @@ Merges the graph terms from the subject list into a single graph term as object. **Schema**
`( $s.i+ )+ log:conjunction $o?`

where:
`$s.i`: `log:Formula`
`$o`: `log:Formula`

**Examples**
-try in editor 🚀
+try in editor 🚀

Merge the formulas "{ :Felix a :Cat . }" , "{ :Pluto a :Dog . }", "{ :Pingu a :Penguin . }" . @@ -2201,7 +2201,7 @@ Dereferences the subject IRI and retrieves the online resource as the object str **Schema**
`$s+ log:content $o?`

where:
`$s`: `log:Uri`
`$o`: `xsd:string`

**Examples**
-try in editor 🚀
+try in editor 🚀

Fetch the content of https://www.w3.org/People/Berners-Lee/card. @@ -2234,7 +2234,7 @@ Creates a datatyped literal as object, based on the string value and datatype IR **Schema**
`( $s.1? $s.2? )? log:dtlit $o?`

where:
`$s.1`: `xsd:string`, `$s.2`: `log:Uri`
`$o`: `log:Literal`

**Examples**
-try in editor 🚀
+try in editor 🚀

Create a datatyped literal from the string "1971-05-05" and the type xsd:date. @@ -2255,7 +2255,7 @@ Create a datatyped literal from the string "1971-05-05" and the type xsd:date.

-try in editor 🚀
+try in editor 🚀

Parse the datatyped literal "1971-05-05"^^xsd:date into a string and data type IRI. @@ -2294,7 +2294,7 @@ Literals will be compared exactly: their datatypes must be identical (in case of **Schema**
`$s? log:equalTo $o?`

**Examples**

-try in editor 🚀
+try in editor 🚀

Determine if "Cat" is equal to "Cat"@en . @@ -2320,7 +2320,7 @@ Determine if "Cat" is equal to "Cat"@en .

-try in editor 🚀
+try in editor 🚀

Assign values from the object list to universal variables given in the subject list. This can be compared to "destructuring" or "unpacking" in programming languages such as JavaScript or Python. @@ -2348,7 +2348,7 @@ This mechanism works because an effort is made to ensure the truth of builtin st

-try in editor 🚀
+try in editor 🚀

Determine is equal to itself . @@ -2385,7 +2385,7 @@ Determine is equal to itself .

-try in editor 🚀
+try in editor 🚀

Assign values from the object list to universal variables given in the subject list. This can be compared to "destructuring" or "unpacking" in programming languages such as JavaScript or Python. @@ -2413,7 +2413,7 @@ This mechanism works because an effort is made to ensure the truthfulness of bui

-try in editor 🚀
+try in editor 🚀

Determine if 1 is equal to 1 and "Cat" is equal to "Cat" and { :A :B :C . :D :E :F } is equal to { :D :E :F . :A :B :C }. @@ -2440,7 +2440,7 @@ Determine if 1 is equal to 1 and "Cat" is equal to "Cat" and { :A :B :C . :D :E

-try in editor 🚀
+try in editor 🚀

Assign a value to an existential or universal variable. @@ -2480,7 +2480,7 @@ This applies a scoped quantification. **Schema**
`( $s.1+ $s.2+ )+ log:forAllIn $o?`

where:
`$s.1`: `log:Formula`, `$s.2`: `log:Formula`
`$o`: (Scope of the builtin. Leave as a variable to use current N3 document as scope.)

**Examples**
-try in editor 🚀
+try in editor 🚀

For each subtask of a composite task, check whether the subtask is completed. @@ -2524,7 +2524,7 @@ Variable substitution is applied recursively to nested compound terms such as gr **Schema**
`$s+ log:includes $o+`

where:
`$s`: `log:Formula`
(Can also be left as a variable to use current N3 document as scope.)
`$o`: `log:Formula`

**Examples**
-try in editor 🚀
+try in editor 🚀

Check whether the formula { :Felix a :Cat } includes { ?X a :Cat }. @@ -2549,7 +2549,7 @@ Check whether the formula { :Felix a :Cat } includes { ?X a :Cat }.

-try in editor 🚀
+try in editor 🚀

Check whether the current N3 document includes { ?X a :Cat }. @@ -2592,7 +2592,7 @@ Creates a language-tagged literal as object, based on the string value and langu **Schema**
`( $s.1? $s.2? )? log:langlit $o?`

where:
`$s.1`: `xsd:string`, `$s.2`: `xsd:string`
`$o`: `log:Literal`

**Examples**
-try in editor 🚀
+try in editor 🚀

Create a language-tagged literal from the string "hello" and language tag "en". @@ -2619,7 +2619,7 @@ Checks whether the subject and object N3 terms are _not_ the same (comparison oc **Schema**
`$s+ log:notEqualTo $o+`

**Examples**

-try in editor 🚀
+try in editor 🚀

Check whether two graph terms, one containing a universal variable, are not equal. @@ -2645,7 +2645,7 @@ Check whether two graph terms, one containing a universal variable, are not equa

-try in editor 🚀
+try in editor 🚀

Determine if 1 is not equal to 2 and "Cat" is not equal to "CAT" and { :A :B :C . } is not equal to { :C :B :A }. @@ -2672,7 +2672,7 @@ Determine if 1 is not equal to 2 and "Cat" is not equal to "CAT" and { :A :B :C

-try in editor 🚀
+try in editor 🚀

Determine if "Cat" is not equal to "Cat"@en . @@ -2697,7 +2697,7 @@ Determine if "Cat" is not equal to "Cat"@en .

-try in editor 🚀
+try in editor 🚀

Check if an existential or universal variable is not equal to a value. @@ -2732,7 +2732,7 @@ Checks whether the subject graph term _does not_ include the object graph term ( **Schema**
`$s+ log:notIncludes $o+`

where:
`$s`: `log:Formula`
`$o`: `log:Formula`

**Examples**
-try in editor 🚀
+try in editor 🚀

Check whether the formula { :Felix a :Cat } does not include { ?X :eats ?Y }. @@ -2757,7 +2757,7 @@ Check whether the formula { :Felix a :Cat } does not include { ?X :eats ?Y }.

-try in editor 🚀
+try in editor 🚀

Check whether the formula { :a :b :c } does not include { :a :b :d }. @@ -2792,7 +2792,7 @@ The concrete semantics of this builtin (e.g., which N3 resource types are suppor **Schema**
`$s+ log:outputString $o+`

where:
`$o`: `xsd:string`

**Examples**
-try in editor 🚀
+try in editor 🚀

Print the two string "This is the first line " , "This is the second line @@ -2825,7 +2825,7 @@ Parses the subject string into an object graph term. **Schema**
`$s+ log:parsedAsN3 $o-`

where:
`$s`: `xsd:string`
(should be a syntactically valid string in N3 format)
`$o`: `log:Formula`

**Examples**
-try in editor 🚀
+try in editor 🚀

Parse the string ':Socrates a :Human .' as N3. @@ -2864,7 +2864,7 @@ N3 resource types include `log:Formula`, `log:Literal`, `rdf:List` or `log:Other **Schema**
`$s+ log:rawType $o-`

where:
`$o`: `log:Uri`

**Examples**
-try in editor 🚀
+try in editor 🚀

Get the type of literal resources. @@ -2893,7 +2893,7 @@ Get the type of literal resources.

-try in editor 🚀
+try in editor 🚀

Get the type of lists and graph terms. @@ -2921,7 +2921,7 @@ Get the type of lists and graph terms.

-try in editor 🚀
+try in editor 🚀

Get the type of resources. @@ -2954,7 +2954,7 @@ Gets as object the graph term that results from parsing an online (N3) string, f **Schema**
`$s+ log:semantics $o?`

where:
`$s`: `log:Uri`
`$o`: `log:Formula`

**Examples**
-try in editor 🚀
+try in editor 🚀

Read the contents of the file `` and parse it as Notation3. We assume `` contains the text: @@ -2985,7 +2985,7 @@ Either gets as object the graph term that results from parsing an online (N3) st **Schema**
`$s+ log:semanticsOrError $o?`

where:
`$s`: `log:Uri`
`$o`: (either a log:Formula or xsd:string)

**Examples**
-try in editor 🚀
+try in editor 🚀

Read the contents a non existing `` and parse it as Notation3 (which of course will fail). @@ -3011,7 +3011,7 @@ Gets as object a skolem IRI that is a function of the subject (commonly a list) **Schema**
`$s+ log:skolem $o-`

**Examples**

-try in editor 🚀
+try in editor 🚀

Generate a unique Skolem IRI from the list (:abc 77 "xyz") . @@ -3037,7 +3037,7 @@ Gets as object the string representation of the subject URI. **Schema**
`$s? log:uri $o?`

where:
`$s`: (a URI)
`$o`: `xsd:string`

**Examples**
-try in editor 🚀
+try in editor 🚀

Parse the URI into a string . @@ -3064,7 +3064,7 @@ Concatenates the strings from the subject list into a single string as object. **Schema**
`( $s.i+ )+ string:concatenation $o-`

where:
`$s.i`: `xsd:string`
`$o`: `xsd:string`

**Examples**
-try in editor 🚀
+try in editor 🚀

Concatenates the string "hello", " " and "world!". @@ -3101,7 +3101,7 @@ Checks whether the subject string contains the object string. **Schema**
`$s+ string:contains $o+`

where:
`$s`: `xsd:string`
`$o`: `xsd:string`

**Examples**
-try in editor 🚀
+try in editor 🚀

Checks whether the string "hello world!" contains the string "llo worl". @@ -3139,7 +3139,7 @@ Checks whether the subject string contains the object string, ignoring differenc **Schema**
`$s+ string:containsIgnoringCase $o+`

where:
`$s`: `xsd:string`
`$o`: `xsd:string`

**Examples**
-try in editor 🚀
+try in editor 🚀

Checks whether the string "hello world!" contains the string "lLO woRl". @@ -3175,7 +3175,7 @@ Checks whether the subject string ends with the object string. **Schema**
`$s+ string:endsWith $o+`

where:
`$s`: `xsd:string`
`$o`: `xsd:string`

**Examples**
-try in editor 🚀
+try in editor 🚀

Checks whether the string "hello world!" ends with "orld!". @@ -3211,7 +3211,7 @@ Checks whether the subject string is the same as the object string, ignoring dif **Schema**
`$s+ string:equalIgnoringCase $o+`

where:
`$s`: `xsd:string`
`$o`: `xsd:string`

**Examples**
-try in editor 🚀
+try in editor 🚀

Checks whether the string "hello world!" is equal to "hELLo wORld!" ignoring the case . @@ -3248,7 +3248,7 @@ See C's sprintf function for details on these tags. **Schema**
`( $s.i+ )+ string:format $o-`

where:
`$s.i`: `xsd:string`
`$o`: `xsd:string`

**Examples**
-try in editor 🚀
+try in editor 🚀

Calculate the result of applying the format "%s://%s/%s" to the strings "https", "w3c.github.io" and "N3/spec" . @@ -3285,7 +3285,7 @@ Checks whether the subject string is greater than the object string, according t **Schema**
`$s+ string:greaterThan $o+`

where:
`$s`: `xsd:string`
`$o`: `xsd:string`

**Examples**
-try in editor 🚀
+try in editor 🚀

Checks whether the string "Pengiun" is greater than the string "Cat" . @@ -3323,7 +3323,7 @@ Checks whether the subject string is less than the object string, according to U **Schema**
`$s+ string:lessThan $o+`

where:
`$s`: `xsd:string`
`$o`: `xsd:string`

**Examples**
-try in editor 🚀
+try in editor 🚀

Checks whether the string "Cat" is less than the string "Penguin" . @@ -3362,7 +3362,7 @@ The regular expression follows the perl, python style. **Schema**
`$s+ string:matches $o+`

where:
`$s`: `xsd:string`
`$o`: `xsd:string`

**Examples**
-try in editor 🚀
+try in editor 🚀

Checks whether the string "hello world!" matches the regular expression ".*(l)+o wo.*". @@ -3398,7 +3398,7 @@ Checks whether the subject string is not the same as the object string, ignoring **Schema**
`$s+ string:notEqualIgnoringCase $o+`

where:
`$s`: `xsd:string`
`$o`: `xsd:string`

**Examples**
-try in editor 🚀
+try in editor 🚀

Checks whether the string "hello world!" is not equal to "hELLo dunia!" ignorning the case . @@ -3437,7 +3437,7 @@ You can use this as an equivalent of a lessThanOrEqual operator. **Schema**
`$s+ string:notGreaterThan $o+`

where:
`$s`: `xsd:string`
`$o`: `xsd:string`

**Examples**
-try in editor 🚀
+try in editor 🚀

Checks whether the string "Cat" is not greater than the string "Penguin" . @@ -3476,7 +3476,7 @@ You can use this as an equivalent of a greaterThanOrEqual operator. **Schema**
`$s+ string:notLessThan $o+`

where:
`$s`: `xsd:string`
`$o`: `xsd:string`

**Examples**
-try in editor 🚀
+try in editor 🚀

Checks whether the string "Penguin" is not less than the string "Cat" . @@ -3515,7 +3515,7 @@ The regular expression follows the perl, python style. **Schema**
`$s+ string:notMatches $o+`

where:
`$s`: `xsd:string`
`$o`: `xsd:string`

**Examples**
-try in editor 🚀
+try in editor 🚀

Checks whether the string "hello world!" no matches the regular expression ".*(l)+o dunia.*". @@ -3551,7 +3551,7 @@ Calculates the object as the result of, given the strings in the subject list, r **Schema**
`( $s.1+ $s.2+ $s.3+ )+ string:replace $o-`

where:
`$s.1`: `xsd:string`, `$s.2`: `xsd:string`, `$s.3`: `xsd:string`
`$o`: `xsd:string`

**Examples**
-try in editor 🚀
+try in editor 🚀

Replace all "l"-s in the string "hello world!" with the bracket version "[l]" . @@ -3589,7 +3589,7 @@ Calculates the object as the first matching group when, given the subject list, **Schema**
`( $s.1+ $s.2+ )+ string:scrape $o-`

where:
`$s.1`: `xsd:string`, `$s.2`: `xsd:string`
`$o`: `xsd:string`

**Examples**
-try in editor 🚀
+try in editor 🚀

Extract from the string "https://w3c.github.io/N3/spec/" the last path element using a regular expression . @@ -3625,7 +3625,7 @@ Checks whether the subject string starts with the object string. **Schema**
`$s+ string:startsWith $o+`

where:
`$s`: `xsd:string`
`$o`: `xsd:string`

**Examples**
-try in editor 🚀
+try in editor 🚀

Checks whether the string "hello world!" starts with "hello" . diff --git a/spec/original/create-markdown.ipynb b/spec/original/create-markdown.ipynb index 8da0e86..9a98149 100644 --- a/spec/original/create-markdown.ipynb +++ b/spec/original/create-markdown.ipynb @@ -126,7 +126,7 @@ "metadata": {}, "outputs": [], "source": [ - "editor_uri = \"https://n3-editor.herokuapp.com/n3/editor/?formula=\"\n", + "editor_uri = \"https://editor.notation3.org/?formula=\"\n", "md_string = \"\"" ] }, @@ -390,7 +390,7 @@ "\n", "`true` if and only if `$o` is the arithmetic product of all numbers `$s.i`\n", "\n", - "**Schema**
`( $s.i+ )+ math:product $o-`

where:
`$s.i`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`)
`$o`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`)

**Examples**
Try in Notation3 Editor 🚀\n", + "**Schema**
`( $s.i+ )+ math:product $o-`
where:
`$s.i`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`)
`$o`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`)

**Examples**
Try in Notation3 Editor 🚀\n", "\n", "\n", "
\n", @@ -420,7 +420,7 @@ " ```\n", "
\n", " \n", - "Try in Notation3 Editor 🚀\n", + "Try in Notation3 Editor 🚀\n", "\n", "\n", "
\n", @@ -457,7 +457,7 @@ "\n", "`true` if and only if `$s` is a number that is not greater than `$o`.\n", "\n", - "**Schema**
`$s+ math:notGreaterThan $o+`
where:
`$s`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`)
`$o`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`)

**Examples**
Try in Notation3 Editor 🚀\n", + "**Schema**
`$s+ math:notGreaterThan $o+`
where:
`$s`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`)
`$o`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`)

**Examples**
Try in Notation3 Editor 🚀\n", "\n", "\n", "
\n", @@ -493,7 +493,7 @@ "\n", "`true` if and only if `$o` is the absolute value of `$s`.\n", "\n", - "**Schema**
`$s+ math:absoluteValue $o-`
where:
`$s`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`)
`$o`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`)

**Examples**
Try in Notation3 Editor 🚀\n", + "**Schema**
`$s+ math:absoluteValue $o-`
where:
`$s`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`)
`$o`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`)

**Examples**
Try in Notation3 Editor 🚀\n", "\n", "\n", "
\n", @@ -529,7 +529,7 @@ "\n", "`true` if and only if `$s` is a number that is greater than `$o`.\n", "\n", - "**Schema**
`$s+ math:greaterThan $o+`
where:
`$s`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`)
`$o`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`)

**Examples**
Try in Notation3 Editor 🚀\n", + "**Schema**
`$s+ math:greaterThan $o+`
where:
`$s`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`)
`$o`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`)

**Examples**
Try in Notation3 Editor 🚀\n", "\n", "\n", "
\n", @@ -566,7 +566,7 @@ "\n", "`true` if and only if `$s` is a number that is not less than `$o`.\n", "\n", - "**Schema**
`$s+ math:notLessThan $o+`
where:
`$s`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`)
`$o`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`)

**Examples**
Try in Notation3 Editor 🚀\n", + "**Schema**
`$s+ math:notLessThan $o+`
where:
`$s`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`)
`$o`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`)

**Examples**
Try in Notation3 Editor 🚀\n", "\n", "\n", "
\n", @@ -602,7 +602,7 @@ "\n", "`true` if and only if `$o` is the sine value of `$s`.\n", "\n", - "**Schema**
`$s? math:sin $o?`
where:
`$s`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`)
`$o`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`)

**Examples**
Try in Notation3 Editor 🚀\n", + "**Schema**
`$s? math:sin $o?`
where:
`$s`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`)
`$o`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`)

**Examples**
Try in Notation3 Editor 🚀\n", "\n", "\n", "
\n", @@ -640,7 +640,7 @@ "\n", "`true` if and only if `$s` is a number that is less than `$o`.\n", "\n", - "**Schema**
`$s+ math:lessThan $o+`
where:
`$s`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`)
`$o`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`)

**Examples**
Try in Notation3 Editor 🚀\n", + "**Schema**
`$s+ math:lessThan $o+`
where:
`$s`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`)
`$o`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`)

**Examples**
Try in Notation3 Editor 🚀\n", "\n", "\n", "
\n", @@ -678,7 +678,7 @@ "If there are two such numbers, then the one closest to positive infinity is returned.\n", "\n", "\n", - "**Schema**
`$s+ math:rounded $o-`
where:
`$s`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`)
`$o`: `xsd:integer`

**Examples**
Try in Notation3 Editor 🚀\n", + "**Schema**
`$s+ math:rounded $o-`
where:
`$s`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`)
`$o`: `xsd:integer`

**Examples**
Try in Notation3 Editor 🚀\n", "\n", "\n", "
\n", @@ -715,7 +715,7 @@ "\n", "`true` if and only if `$o` is the arc tangent value of `$s`.\n", "\n", - "**Schema**
`$s? math:atan $o?`
where:
`$s`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`)
`$o`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`)

**Examples**
Try in Notation3 Editor 🚀\n", + "**Schema**
`$s? math:atan $o?`
where:
`$s`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`)
`$o`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`)

**Examples**
Try in Notation3 Editor 🚀\n", "\n", "\n", "
\n", @@ -751,7 +751,7 @@ "\n", "`true` if and only if `$o` is the arc cosine value of `$s`.\n", "\n", - "**Schema**
`$s? math:acos $o?`
where:
`$s`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`)
`$o`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`)

**Examples**
Try in Notation3 Editor 🚀\n", + "**Schema**
`$s? math:acos $o?`
where:
`$s`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`)
`$o`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`)

**Examples**
Try in Notation3 Editor 🚀\n", "\n", "\n", "
\n", @@ -787,7 +787,7 @@ "\n", "`true` if and only if `$o` is the hyperbolic cosine value of `$s`.\n", "\n", - "**Schema**
`$s? math:cosh $o?`
where:
`$s`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`)
`$o`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`)

**Examples**
Try in Notation3 Editor 🚀\n", + "**Schema**
`$s? math:cosh $o?`
where:
`$s`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`)
`$o`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`)

**Examples**
Try in Notation3 Editor 🚀\n", "\n", "\n", "
\n", @@ -823,7 +823,7 @@ "\n", "`true` if and only if `$o` is the negation of `$s`.\n", "\n", - "**Schema**
`$s? math:negation $o?`
where:
`$s`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`)
`$o`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`)

**Examples**
Try in Notation3 Editor 🚀\n", + "**Schema**
`$s? math:negation $o?`
where:
`$s`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`)
`$o`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`)

**Examples**
Try in Notation3 Editor 🚀\n", "\n", "\n", "
\n", @@ -859,7 +859,7 @@ "\n", "`true` if and only if `$o` is the hyperbolic sine value of `$s`.\n", "\n", - "**Schema**
`$s? math:sinh $o?`
where:
`$s`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`)
`$o`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`)

**Examples**
Try in Notation3 Editor 🚀\n", + "**Schema**
`$s? math:sinh $o?`
where:
`$s`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`)
`$o`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`)

**Examples**
Try in Notation3 Editor 🚀\n", "\n", "\n", "
\n", @@ -896,7 +896,7 @@ "\n", "`true` if and only if `$o` is the arithmetic sum of all numbers `$s.i`\n", "\n", - "**Schema**
`( $s.i+ )+ math:sum $o-`
where:
`$s.i`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`)
`$o`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`)

**Examples**
Try in Notation3 Editor 🚀\n", + "**Schema**
`( $s.i+ )+ math:sum $o-`
where:
`$s.i`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`)
`$o`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`)

**Examples**
Try in Notation3 Editor 🚀\n", "\n", "\n", "
\n", @@ -932,7 +932,7 @@ "\n", "`true` if and only if `$o` is the result of subtracting `$s.2` from `$s.1`.\n", "\n", - "**Schema**
`( $s.1+ $s.2+ )+ math:difference $o-`
where:
`$s.1`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`), `$s.2`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`)
`$o`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`)

**Examples**
Try in Notation3 Editor 🚀\n", + "**Schema**
`( $s.1+ $s.2+ )+ math:difference $o-`
where:
`$s.1`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`), `$s.2`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`)
`$o`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`)

**Examples**
Try in Notation3 Editor 🚀\n", "\n", "\n", "
\n", @@ -968,7 +968,7 @@ "\n", "`true` if and only if `$o` is the hyperbolic tangent value of `$s`.\n", "\n", - "**Schema**
`$s? math:tanh $o?`
where:
`$s`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`)
`$o`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`)

**Examples**
Try in Notation3 Editor 🚀\n", + "**Schema**
`$s? math:tanh $o?`
where:
`$s`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`)
`$o`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`)

**Examples**
Try in Notation3 Editor 🚀\n", "\n", "\n", "
\n", @@ -1007,7 +1007,7 @@ "\n", "`true` if and only if `$o` is the result of raising `$s.1` to the power of `$s.2`\n", "\n", - "**Schema**
`( $s.1+ $s.2? )+ math:exponentiation $o?`
where:
`$s.1`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`), `$s.2`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`)
`$o`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`)

**Examples**
Try in Notation3 Editor 🚀\n", + "**Schema**
`( $s.1+ $s.2? )+ math:exponentiation $o?`
where:
`$s.1`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`), `$s.2`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`)
`$o`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`)

**Examples**
Try in Notation3 Editor 🚀\n", "\n", "\n", "
\n", @@ -1034,7 +1034,7 @@ " ```\n", "
\n", " \n", - "Try in Notation3 Editor 🚀\n", + "Try in Notation3 Editor 🚀\n", "\n", "\n", "
\n", @@ -1070,7 +1070,7 @@ "\n", "`true` if and only if `$s` is the not same number as `$o`.\n", "\n", - "**Schema**
`$s+ math:notEqualTo $o+`
where:
`$s`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`)
`$o`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`)

**Examples**
Try in Notation3 Editor 🚀\n", + "**Schema**
`$s+ math:notEqualTo $o+`
where:
`$s`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`)
`$o`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`)

**Examples**
Try in Notation3 Editor 🚀\n", "\n", "\n", "
\n", @@ -1106,7 +1106,7 @@ "\n", "`true` if and only if `$o` is the result of dividing `$s.1` by `$s.2`.\n", "\n", - "**Schema**
`( $s.1+ $s.2+ )+ math:quotient $o-`
where:
`$s.1`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`), `$s.2`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`)
`$o`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`)

**Examples**
Try in Notation3 Editor 🚀\n", + "**Schema**
`( $s.1+ $s.2+ )+ math:quotient $o-`
where:
`$s.1`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`), `$s.2`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`)
`$o`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`)

**Examples**
Try in Notation3 Editor 🚀\n", "\n", "\n", "
\n", @@ -1142,7 +1142,7 @@ "\n", "`true` if and only if `$s` is the same number as `$o`.\n", "\n", - "**Schema**
`$s? math:equalTo $o?`
where:
`$s`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`)
`$o`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`)

**Examples**
Try in Notation3 Editor 🚀\n", + "**Schema**
`$s? math:equalTo $o?`
where:
`$s`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`)
`$o`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`)

**Examples**
Try in Notation3 Editor 🚀\n", "\n", "\n", "
\n", @@ -1178,7 +1178,7 @@ "\n", "`true` if and only if `$o` is the cosine value of `$s`.\n", "\n", - "**Schema**
`$s? math:cos $o?`
where:
`$s`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`)
`$o`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`)

**Examples**
Try in Notation3 Editor 🚀\n", + "**Schema**
`$s? math:cos $o?`
where:
`$s`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`)
`$o`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`)

**Examples**
Try in Notation3 Editor 🚀\n", "\n", "\n", "
\n", @@ -1214,7 +1214,7 @@ "\n", "`true` if and only if `$o` is the tangent value of `$s`.\n", "\n", - "**Schema**
`$s? math:tan $o?`
where:
`$s`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`)
`$o`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`)

**Examples**
Try in Notation3 Editor 🚀\n", + "**Schema**
`$s? math:tan $o?`
where:
`$s`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`)
`$o`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`)

**Examples**
Try in Notation3 Editor 🚀\n", "\n", "\n", "
\n", @@ -1252,7 +1252,7 @@ "\n", "`true` if and only if `$o` is the remainder of dividing `$s.1` by `$s.2`.\n", "\n", - "**Schema**
`( $s.1+ $s.2+ )+ math:remainder $o-`
where:
`$s.1`: `xsd:integer`, `$s.2`: `xsd:integer`
`$o`: `xsd:integer`

**Examples**
Try in Notation3 Editor 🚀\n", + "**Schema**
`( $s.1+ $s.2+ )+ math:remainder $o-`
where:
`$s.1`: `xsd:integer`, `$s.2`: `xsd:integer`
`$o`: `xsd:integer`

**Examples**
Try in Notation3 Editor 🚀\n", "\n", "\n", "
\n", @@ -1288,7 +1288,7 @@ "\n", "`true` if and only if `$o` is the value in degrees corresponding to the radians value of `$s`.\n", "\n", - "**Schema**
`$s? math:degrees $o?`
where:
`$s`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`)
`$o`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`)

**Examples**
Try in Notation3 Editor 🚀\n", + "**Schema**
`$s? math:degrees $o?`
where:
`$s`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`)
`$o`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`)

**Examples**
Try in Notation3 Editor 🚀\n", "\n", "\n", "
\n", @@ -1324,7 +1324,7 @@ "\n", "`true` if and only if `$o` is the arc sine value of `$s`.\n", "\n", - "**Schema**
`$s? math:asin $o?`
where:
`$s`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`)
`$o`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`)

**Examples**
Try in Notation3 Editor 🚀\n", + "**Schema**
`$s? math:asin $o?`
where:
`$s`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`)
`$o`: (`xsd:decimal` **or** `xsd:double` **or** `xsd:float`)

**Examples**
Try in Notation3 Editor 🚀\n", "\n", "\n", "
\n", @@ -1361,7 +1361,7 @@ "\n", "`true` if and only if `$o` is the integer minutes component of `$s`.\n", "\n", - "**Schema**
`$s+ time:minute $o-`
where:
`$s`: `xsd:dateTime`
`$o`: `xsd:integer`

**Examples**
Try in Notation3 Editor 🚀\n", + "**Schema**
`$s+ time:minute $o-`
where:
`$s`: `xsd:dateTime`
`$o`: `xsd:integer`

**Examples**
Try in Notation3 Editor 🚀\n", "\n", "\n", "
\n", @@ -1398,7 +1398,7 @@ "\n", "`true` if and only if `$o` is the integer day component of `$s`.\n", "\n", - "**Schema**
`$s+ time:day $o-`
where:
`$s`: `xsd:dateTime`
`$o`: `xsd:integer`

**Examples**
Try in Notation3 Editor 🚀\n", + "**Schema**
`$s+ time:day $o-`
where:
`$s`: `xsd:dateTime`
`$o`: `xsd:integer`

**Examples**
Try in Notation3 Editor 🚀\n", "\n", "\n", "
\n", @@ -1435,7 +1435,7 @@ "\n", "`true` if and only if `$o` is the integer month component of `$s`.\n", "\n", - "**Schema**
`$s+ time:month $o-`
where:
`$s`: `xsd:dateTime`
`$o`: `xsd:integer`

**Examples**
Try in Notation3 Editor 🚀\n", + "**Schema**
`$s+ time:month $o-`
where:
`$s`: `xsd:dateTime`
`$o`: `xsd:integer`

**Examples**
Try in Notation3 Editor 🚀\n", "\n", "\n", "
\n", @@ -1472,7 +1472,7 @@ "\n", "`true` if and only if `$o` is the timezone offset of `$s`.\n", "\n", - "**Schema**
`$s+ time:timeZone $o-`
where:
`$s`: `xsd:dateTime`
`$o`: `xsd:string`

**Examples**
Try in Notation3 Editor 🚀\n", + "**Schema**
`$s+ time:timeZone $o-`
where:
`$s`: `xsd:dateTime`
`$o`: `xsd:string`

**Examples**
Try in Notation3 Editor 🚀\n", "\n", "\n", "
\n", @@ -1509,7 +1509,7 @@ "\n", "`true` if and only if `$o` is the integer year component of `$s`.\n", "\n", - "**Schema**
`$s+ time:year $o-`
where:
`$s`: `xsd:dateTime`
`$o`: `xsd:integer`

**Examples**
Try in Notation3 Editor 🚀\n", + "**Schema**
`$s+ time:year $o-`
where:
`$s`: `xsd:dateTime`
`$o`: `xsd:integer`

**Examples**
Try in Notation3 Editor 🚀\n", "\n", "\n", "
\n", @@ -1546,7 +1546,7 @@ "\n", "`true` if and only if `$o` is the integer seconds component of `$s`.\n", "\n", - "**Schema**
`$s+ time:second $o-`
where:
`$s`: `xsd:dateTime`
`$o`: `xsd:integer`

**Examples**
Try in Notation3 Editor 🚀\n", + "**Schema**
`$s+ time:second $o-`
where:
`$s`: `xsd:dateTime`
`$o`: `xsd:integer`

**Examples**
Try in Notation3 Editor 🚀\n", "\n", "\n", "
\n", @@ -1584,7 +1584,7 @@ "\n", "`true` if and only if `$` is a list and `$o` is the last member of that list.\n", "\n", - "**Schema**
`$s+ list:last $o-`
where:
`$s`: `rdf:List`

**Examples**
Try in Notation3 Editor 🚀\n", + "**Schema**
`$s+ list:last $o-`
where:
`$s`: `rdf:List`

**Examples**
Try in Notation3 Editor 🚀\n", "\n", "\n", "
\n", @@ -1614,7 +1614,7 @@ " ```\n", "
\n", " \n", - "Try in Notation3 Editor 🚀\n", + "Try in Notation3 Editor 🚀\n", "\n", "\n", "
\n", @@ -1641,7 +1641,7 @@ "\n", "`true` if and only if `$` is a list and `$o` is the first member of that list.\n", "\n", - "**Schema**
`$s+ list:first $o-`
where:
`$s`: `rdf:List`

**Examples**
Try in Notation3 Editor 🚀\n", + "**Schema**
`$s+ list:first $o-`
where:
`$s`: `rdf:List`

**Examples**
Try in Notation3 Editor 🚀\n", "\n", "\n", "
\n", @@ -1668,7 +1668,7 @@ "\n", "`true` if and only if `$o` is the concatenation of all lists `$s.i`.\n", "\n", - "**Schema**
`( $s.i?[*] )+ list:append $o?`
where:
`$s.i`: `rdf:List`
`$o`: `rdf:List`

**Examples**
Try in Notation3 Editor 🚀\n", + "**Schema**
`( $s.i?[*] )+ list:append $o?`
where:
`$s.i`: `rdf:List`
`$o`: `rdf:List`

**Examples**
Try in Notation3 Editor 🚀\n", "\n", "\n", "
\n", @@ -1689,7 +1689,7 @@ " ```\n", "
\n", " \n", - "Try in Notation3 Editor 🚀\n", + "Try in Notation3 Editor 🚀\n", "\n", "\n", "
\n", @@ -1710,7 +1710,7 @@ " ```\n", "
\n", " \n", - "Try in Notation3 Editor 🚀\n", + "Try in Notation3 Editor 🚀\n", "\n", "\n", "
\n", @@ -1731,7 +1731,7 @@ " ```\n", "
\n", " \n", - "Try in Notation3 Editor 🚀\n", + "Try in Notation3 Editor 🚀\n", "\n", "\n", "
\n", @@ -1758,7 +1758,7 @@ "\n", "`true` if and only if `$s.1` is a list, `$s.2` is a valid index in list `$s.1`, and `$o` is found at that index in the list.\n", "\n", - "**Schema**
`( $s.1+ $s.2?[*] )+ list:memberAt $o?[*]`
where:
`$s.1`: `rdf:List`, `$s.2`: `xsd:integer`

**Examples**
Try in Notation3 Editor 🚀\n", + "**Schema**
`( $s.1+ $s.2?[*] )+ list:memberAt $o?[*]`
where:
`$s.1`: `rdf:List`, `$s.2`: `xsd:integer`

**Examples**
Try in Notation3 Editor 🚀\n", "\n", "\n", "
\n", @@ -1788,7 +1788,7 @@ " ```\n", "
\n", " \n", - "Try in Notation3 Editor 🚀\n", + "Try in Notation3 Editor 🚀\n", "\n", "\n", "
\n", @@ -1826,7 +1826,7 @@ "`true` if and only if `$s` is a list and `$o` is a list with two elements: \n", "`$o.1` is a valid index in list `$s` (index starts at 0), and `$o.2` is found at that index in list `$s`.\n", "\n", - "**Schema**
`$s+ list:iterate ( $o.1?[*] $o.2?[*] )?[*]`
where:
`$s`: `rdf:List`
`$o.1`: `xsd:int`

**Examples**
Try in Notation3 Editor 🚀\n", + "**Schema**
`$s+ list:iterate ( $o.1?[*] $o.2?[*] )?[*]`
where:
`$s`: `rdf:List`
`$o.1`: `xsd:int`

**Examples**
Try in Notation3 Editor 🚀\n", "\n", "\n", "
\n", @@ -1855,7 +1855,7 @@ " ```\n", "
\n", " \n", - "Try in Notation3 Editor 🚀\n", + "Try in Notation3 Editor 🚀\n", "\n", "\n", "
\n", @@ -1884,7 +1884,7 @@ " ```\n", "
\n", " \n", - "Try in Notation3 Editor 🚀\n", + "Try in Notation3 Editor 🚀\n", "\n", "\n", "
\n", @@ -1913,7 +1913,7 @@ "\n", "`true` if and only `$s` is a list and `o` is a member of that list.\n", "\n", - "**Schema**
`$s+ list:member $o-[*]`
where:
`$s`: `rdf:List`

**Examples**
Try in Notation3 Editor 🚀\n", + "**Schema**
`$s+ list:member $o-[*]`
where:
`$s`: `rdf:List`

**Examples**
Try in Notation3 Editor 🚀\n", "\n", "\n", "
\n", @@ -1936,7 +1936,7 @@ " ```\n", "
\n", " \n", - "Try in Notation3 Editor 🚀\n", + "Try in Notation3 Editor 🚀\n", "\n", "\n", "
\n", @@ -1972,7 +1972,7 @@ "\n", "`true` if and only if `$o` is a list and `$s` is a member of that list.\n", "\n", - "**Schema**
`$s-[*] list:in $o+`
where:

`$o`: `rdf:List`

**Examples**
Try in Notation3 Editor 🚀\n", + "**Schema**
`$s-[*] list:in $o+`
where:

`$o`: `rdf:List`

**Examples**
Try in Notation3 Editor 🚀\n", "\n", "\n", "
\n", @@ -1993,7 +1993,7 @@ " ```\n", "
\n", " \n", - "Try in Notation3 Editor 🚀\n", + "Try in Notation3 Editor 🚀\n", "\n", "\n", "
\n", @@ -2022,7 +2022,7 @@ "\n", "`true` if and only if `$s.1` is a list, and `$o` is a list composed of the members of `$s.1` with member `$s.2` removed (if it was present; else, `$o` will be the same list).\n", "\n", - "**Schema**
`( $s.1+ $s.2+ )+ list:remove $o-`
where:
`$s.1`: `rdf:List`

**Examples**
Try in Notation3 Editor 🚀\n", + "**Schema**
`( $s.1+ $s.2+ )+ list:remove $o-`
where:
`$s.1`: `rdf:List`

**Examples**
Try in Notation3 Editor 🚀\n", "\n", "\n", "
\n", @@ -2057,7 +2057,7 @@ "\n", "`true` if and only if `$s` is a list and `$o` is the integer length of that list.\n", "\n", - "**Schema**
`$s+ list:length $o-`
where:
`$s`: `rdf:List`

**Examples**
Try in Notation3 Editor 🚀\n", + "**Schema**
`$s+ list:length $o-`
where:
`$s`: `rdf:List`

**Examples**
Try in Notation3 Editor 🚀\n", "\n", "\n", "
\n", @@ -2086,7 +2086,7 @@ "`true` if and only if `$o` is the string representation of `$s`.\n", "\n", "**Schema**
`$s? log:uri $o?`
where:
\n", - "(a URI)
`$o`: `xsd:string`

**Examples**
Try in Notation3 Editor 🚀\n", + "(a URI)
`$o`: `xsd:string`

**Examples**
Try in Notation3 Editor 🚀\n", "\n", "\n", "
\n", @@ -2114,7 +2114,7 @@ "`true` if and only if the N3 resource type of `$s` is `$o`.\n", "N3 resource types include `log:Formula`, `log:Literal`, `log:List`, `log:Set` or `log:Other`.\n", "\n", - "**Schema**
`$s+ log:rawType $o-`
where:

`$o`: `log:Uri`

**Examples**
Try in Notation3 Editor 🚀\n", + "**Schema**
`$s+ log:rawType $o-`
where:

`$o`: `log:Uri`

**Examples**
Try in Notation3 Editor 🚀\n", "\n", "\n", "
\n", @@ -2144,7 +2144,7 @@ " ```\n", "
\n", " \n", - "Try in Notation3 Editor 🚀\n", + "Try in Notation3 Editor 🚀\n", "\n", "\n", "
\n", @@ -2175,7 +2175,7 @@ " ```\n", "
\n", " \n", - "Try in Notation3 Editor 🚀\n", + "Try in Notation3 Editor 🚀\n", "\n", "\n", "
\n", @@ -2210,7 +2210,7 @@ "`true` if and only if `$o` is the set of conclusions which can be drawn from `$s` (deductive closure), \n", "by applying any rules it contains to the data it contains.\n", "\n", - "**Schema**
`$s+ log:conclusion $o?`
where:
`$s`: `log:Formula`
`$o`: `log:Formula`

**Examples**
Try in Notation3 Editor 🚀\n", + "**Schema**
`$s+ log:conclusion $o?`
where:
`$s`: `log:Formula`
`$o`: `log:Formula`

**Examples**
Try in Notation3 Editor 🚀\n", "\n", "\n", "
\n", @@ -2253,7 +2253,7 @@ "\n", "`true` if and only if `$o` is a string that represents the online resource to which `$s` is dereferenced.\n", "\n", - "**Schema**
`$s+ log:content $o?`
where:
`$s`: `log:Uri`
`$o`: `xsd:string`

**Examples**
Try in Notation3 Editor 🚀\n", + "**Schema**
`$s+ log:content $o?`
where:
`$s`: `log:Uri`
`$o`: `xsd:string`

**Examples**
Try in Notation3 Editor 🚀\n", "\n", "\n", "
\n", @@ -2287,7 +2287,7 @@ "`true` if and only if `$o` is a language-tagged literal with string value corresponding to `$s.1` and language tag corresponding to `$s.2`.\n", "`$s.2` should be a string in the form of a [BCP47](https://tools.ietf.org/html/bcp47) language tag.\n", "\n", - "**Schema**
`( $s.1? $s.2? )? log:langlit $o?`
where:
`$s.1`: `xsd:string`, `$s.2`: `xsd:string`
`$o`: `log:Literal`

**Examples**
Try in Notation3 Editor 🚀\n", + "**Schema**
`( $s.1? $s.2? )? log:langlit $o?`
where:
`$s.1`: `xsd:string`, `$s.2`: `xsd:string`
`$o`: `log:Literal`

**Examples**
Try in Notation3 Editor 🚀\n", "\n", "\n", "
\n", @@ -2315,7 +2315,7 @@ "This is a scoped universal quantification.\n", "\n", "**Schema**
`( $s.1+ $s.2+ )+ log:forAllIn $o?`
where:
`$s.1`: `log:Formula`, `$s.2`: `log:Formula`
\n", - "(Scope of the universal quantification. Leave as a variable to use current N3 document as scope.)

**Examples**
Try in Notation3 Editor 🚀\n", + "(Scope of the universal quantification. Leave as a variable to use current N3 document as scope.)

**Examples**
Try in Notation3 Editor 🚀\n", "\n", "\n", "
\n", @@ -2357,7 +2357,7 @@ "`$s` should be a syntactically valid string in N3 format.\n", "\n", "**Schema**
`$s+ log:parsedAsN3 $o-`
where:
`$s`: `xsd:string`\n", - "(should be a syntactically valid string in N3 format)
`$o`: `log:Formula`

**Examples**
Try in Notation3 Editor 🚀\n", + "(should be a syntactically valid string in N3 format)
`$o`: `log:Formula`

**Examples**
Try in Notation3 Editor 🚀\n", "\n", "\n", "
\n", @@ -2396,7 +2396,7 @@ "\n", "`true` if and only if `$o` is a quoted graph that includes the contents of each of the quoted graphs `$s.i`.\n", "\n", - "**Schema**
`( $s.i+ )+ log:conjunction $o?`
where:
`$s.i`: `log:Formula`
`$o`: `log:Formula`

**Examples**
Try in Notation3 Editor 🚀\n", + "**Schema**
`( $s.i+ )+ log:conjunction $o?`
where:
`$s.i`: `log:Formula`
`$o`: `log:Formula`

**Examples**
Try in Notation3 Editor 🚀\n", "\n", "\n", "
\n", @@ -2436,7 +2436,7 @@ "\n", "`true` if and only if `$s log:includes $o` is `false`.\n", "\n", - "**Schema**
`$s+ log:notIncludes $o+`
where:
`$s`: `log:Formula`
`$o`: `log:Formula`

**Examples**
Try in Notation3 Editor 🚀\n", + "**Schema**
`$s+ log:notIncludes $o+`
where:
`$s`: `log:Formula`
`$o`: `log:Formula`

**Examples**
Try in Notation3 Editor 🚀\n", "\n", "\n", "
\n", @@ -2466,7 +2466,7 @@ " ```\n", "
\n", " \n", - "Try in Notation3 Editor 🚀\n", + "Try in Notation3 Editor 🚀\n", "\n", "\n", "
\n", @@ -2499,7 +2499,7 @@ "\n", "`true` if and only if `$s log:equalTo $o` is false.\n", "\n", - "**Schema**
`$s+ log:notEqualTo $o+`**Examples**
Try in Notation3 Editor 🚀\n", + "**Schema**
`$s+ log:notEqualTo $o+`**Examples**
Try in Notation3 Editor 🚀\n", "\n", "\n", "
\n", @@ -2527,7 +2527,7 @@ " ```\n", "
\n", " \n", - "Try in Notation3 Editor 🚀\n", + "Try in Notation3 Editor 🚀\n", "\n", "\n", "
\n", @@ -2554,7 +2554,7 @@ " ```\n", "
\n", " \n", - "Try in Notation3 Editor 🚀\n", + "Try in Notation3 Editor 🚀\n", "\n", "\n", "
\n", @@ -2589,7 +2589,7 @@ "\n", "`true` if and only if `$o` is a skolem IRI that is a function of the subject.\n", "\n", - "**Schema**
`$s+ log:skolem $o-`**Examples**
Try in Notation3 Editor 🚀\n", + "**Schema**
`$s+ log:skolem $o-`**Examples**
Try in Notation3 Editor 🚀\n", "\n", "\n", "
\n", @@ -2616,7 +2616,7 @@ "\n", "`true` if and only if `$o` is a datatyped literal with string value corresponding to `$s.1` and datatype IRI corresponding to `$s.2`.\n", "\n", - "**Schema**
`( $s.1? $s.2? )? log:dtlit $o?`
where:
`$s.1`: `xsd:string`, `$s.2`: `log:Uri`
`$o`: `log:Literal`

**Examples**
Try in Notation3 Editor 🚀\n", + "**Schema**
`( $s.1? $s.2? )? log:dtlit $o?`
where:
`$s.1`: `xsd:string`, `$s.2`: `log:Uri`
`$o`: `log:Literal`

**Examples**
Try in Notation3 Editor 🚀\n", "\n", "\n", "
\n", @@ -2639,7 +2639,7 @@ " ```\n", "
\n", " \n", - "Try in Notation3 Editor 🚀\n", + "Try in Notation3 Editor 🚀\n", "\n", "\n", "
\n", @@ -2678,7 +2678,7 @@ "whereby every variable, universally or existentially quantified in `$o`', is quantified in the same way in `$s`. \n", "Variable substitution is applied recursively to nested compound terms such as quoted graphs ans lists.\n", "\n", - "**Schema**
`$s+ log:includes $o+`
where:
`$s`: `log:Formula`
`$o`: `log:Formula`

**Examples**
Try in Notation3 Editor 🚀\n", + "**Schema**
`$s+ log:includes $o+`
where:
`$s`: `log:Formula`
`$o`: `log:Formula`

**Examples**
Try in Notation3 Editor 🚀\n", "\n", "\n", "
\n", @@ -2713,7 +2713,7 @@ "`true` if and only if `$s` and `$o` are the same N3 resource.\n", "Not to be confused with owl:sameAs.\n", "\n", - "**Schema**
`$s? log:equalTo $o?`**Examples**
Try in Notation3 Editor 🚀\n", + "**Schema**
`$s? log:equalTo $o?`**Examples**
Try in Notation3 Editor 🚀\n", "\n", "\n", "
\n", @@ -2743,7 +2743,7 @@ " ```\n", "
\n", " \n", - "Try in Notation3 Editor 🚀\n", + "Try in Notation3 Editor 🚀\n", "\n", "\n", "
\n", @@ -2773,7 +2773,7 @@ " ```\n", "
\n", " \n", - "Try in Notation3 Editor 🚀\n", + "Try in Notation3 Editor 🚀\n", "\n", "\n", "
\n", @@ -2802,7 +2802,7 @@ " ```\n", "
\n", " \n", - "Try in Notation3 Editor 🚀\n", + "Try in Notation3 Editor 🚀\n", "\n", "\n", "
\n", @@ -2830,7 +2830,7 @@ " ```\n", "
\n", " \n", - "Try in Notation3 Editor 🚀\n", + "Try in Notation3 Editor 🚀\n", "\n", "\n", "
\n", @@ -2867,7 +2867,7 @@ "\n", "The concrete semantics of this builtin (e.g., which N3 resource types are supported) will depend on the N3 reasoner.\n", "\n", - "**Schema**
`$s+ log:outputString $o+`
where:

`$o`: `xsd:string`

**Examples**
Try in Notation3 Editor 🚀\n", + "**Schema**
`$s+ log:outputString $o+`
where:

`$o`: `xsd:string`

**Examples**
Try in Notation3 Editor 🚀\n", "\n", "\n", "
\n", @@ -2901,7 +2901,7 @@ "`true` if and only if (a) `$o` is a quoted graph that results from parsing the string that results from dereferencing `$s`; or (b) an error message explaining what went wrong.\n", "\n", "**Schema**
`$s+ log:semanticsOrError $o?`
where:
`$s`: `log:Uri`
\n", - "(either a log:Formula or xsd:string)

**Examples**
Try in Notation3 Editor 🚀\n", + "(either a log:Formula or xsd:string)

**Examples**
Try in Notation3 Editor 🚀\n", "\n", "\n", "
\n", @@ -2929,7 +2929,7 @@ "\n", "`true` if and only if `$o` is a quoted graph that results from parsing the string that results from dereferencing `$s`.\n", "\n", - "**Schema**
`$s+ log:semantics $o?`
where:
`$s`: `log:Uri`
`$o`: `log:Formula`

**Examples**
Try in Notation3 Editor 🚀\n", + "**Schema**
`$s+ log:semantics $o?`
where:
`$s`: `log:Uri`
`$o`: `log:Formula`

**Examples**
Try in Notation3 Editor 🚀\n", "\n", "\n", "
\n", @@ -2963,7 +2963,7 @@ "\n", "`true` if and only if `$s` is not greater than `$o` as per the Unicode code order.\n", "\n", - "**Schema**
`$s+ string:notGreaterThan $o+`
where:
`$s`: `xsd:string`
`$o`: `xsd:string`

**Examples**
Try in Notation3 Editor 🚀\n", + "**Schema**
`$s+ string:notGreaterThan $o+`
where:
`$s`: `xsd:string`
`$o`: `xsd:string`

**Examples**
Try in Notation3 Editor 🚀\n", "\n", "\n", "
\n", @@ -3000,7 +3000,7 @@ "\n", "`true` if and only if `$s` is not the same string as `$o` when ignoring case differences.\n", "\n", - "**Schema**
`$s+ string:notEqualIgnoringCase $o+`
where:
`$s`: `xsd:string`
`$o`: `xsd:string`

**Examples**
Try in Notation3 Editor 🚀\n", + "**Schema**
`$s+ string:notEqualIgnoringCase $o+`
where:
`$s`: `xsd:string`
`$o`: `xsd:string`

**Examples**
Try in Notation3 Editor 🚀\n", "\n", "\n", "
\n", @@ -3037,7 +3037,7 @@ "\n", "`true` if and only if `$s` contains `$o`.\n", "\n", - "**Schema**
`$s+ string:contains $o+`
where:
`$s`: `xsd:string`
`$o`: `xsd:string`

**Examples**
Try in Notation3 Editor 🚀\n", + "**Schema**
`$s+ string:contains $o+`
where:
`$s`: `xsd:string`
`$o`: `xsd:string`

**Examples**
Try in Notation3 Editor 🚀\n", "\n", "\n", "
\n", @@ -3074,7 +3074,7 @@ "\n", "`true` if and only if `$s` is greater than `$o` as per the Unicode code order.\n", "\n", - "**Schema**
`$s+ string:greaterThan $o+`
where:
`$s`: `xsd:string`
`$o`: `xsd:string`

**Examples**
Try in Notation3 Editor 🚀\n", + "**Schema**
`$s+ string:greaterThan $o+`
where:
`$s`: `xsd:string`
`$o`: `xsd:string`

**Examples**
Try in Notation3 Editor 🚀\n", "\n", "\n", "
\n", @@ -3111,7 +3111,7 @@ "\n", "`true` if and only if `$s` contains `$o` when ignoring case differences.\n", "\n", - "**Schema**
`$s+ string:containsIgnoringCase $o+`
where:
`$s`: `xsd:string`
`$o`: `xsd:string`

**Examples**
Try in Notation3 Editor 🚀\n", + "**Schema**
`$s+ string:containsIgnoringCase $o+`
where:
`$s`: `xsd:string`
`$o`: `xsd:string`

**Examples**
Try in Notation3 Editor 🚀\n", "\n", "\n", "
\n", @@ -3149,7 +3149,7 @@ "\n", "`true` if and only if `$s` is not less than `$o` as per the Unicode code order.\n", "\n", - "**Schema**
`$s+ string:notLessThan $o+`
where:
`$s`: `xsd:string`
`$o`: `xsd:string`

**Examples**
Try in Notation3 Editor 🚀\n", + "**Schema**
`$s+ string:notLessThan $o+`
where:
`$s`: `xsd:string`
`$o`: `xsd:string`

**Examples**
Try in Notation3 Editor 🚀\n", "\n", "\n", "
\n", @@ -3186,7 +3186,7 @@ "\n", "`true` if and only if `$s` ends with `$o`.\n", "\n", - "**Schema**
`$s+ string:endsWith $o+`
where:
`$s`: `xsd:string`
`$o`: `xsd:string`

**Examples**
Try in Notation3 Editor 🚀\n", + "**Schema**
`$s+ string:endsWith $o+`
where:
`$s`: `xsd:string`
`$o`: `xsd:string`

**Examples**
Try in Notation3 Editor 🚀\n", "\n", "\n", "
\n", @@ -3223,7 +3223,7 @@ "\n", "`true` if and only if `$o` is the first matching group when matching `$s.2` as a regular expression against `$s.1`\n", "\n", - "**Schema**
`( $s.1+ $s.2+ )+ string:scrape $o-`
where:
`$s.1`: `xsd:string`, `$s.2`: `xsd:string`
`$o`: `xsd:string`

**Examples**
Try in Notation3 Editor 🚀\n", + "**Schema**
`( $s.1+ $s.2+ )+ string:scrape $o-`
where:
`$s.1`: `xsd:string`, `$s.2`: `xsd:string`
`$o`: `xsd:string`

**Examples**
Try in Notation3 Editor 🚀\n", "\n", "\n", "
\n", @@ -3260,7 +3260,7 @@ "\n", "`true` if and only if `$o` is the result of replacing all occurrences of `$s.2` in `$s.1` with `$s.3`\n", "\n", - "**Schema**
`( $s.1+ $s.2+ $s.3+ )+ string:replace $o-`
where:
`$s.1`: `xsd:string`, `$s.2`: `xsd:string`, `$s.3`: `xsd:string`
`$o`: `xsd:string`

**Examples**
Try in Notation3 Editor 🚀\n", + "**Schema**
`( $s.1+ $s.2+ $s.3+ )+ string:replace $o-`
where:
`$s.1`: `xsd:string`, `$s.2`: `xsd:string`, `$s.3`: `xsd:string`
`$o`: `xsd:string`

**Examples**
Try in Notation3 Editor 🚀\n", "\n", "\n", "
\n", @@ -3299,7 +3299,7 @@ "\n", "`true` if and only if `$s` is less than `$o` as per the Unicode code order.\n", "\n", - "**Schema**
`$s+ string:lessThan $o+`
where:
`$s`: `xsd:string`
`$o`: `xsd:string`

**Examples**
Try in Notation3 Editor 🚀\n", + "**Schema**
`$s+ string:lessThan $o+`
where:
`$s`: `xsd:string`
`$o`: `xsd:string`

**Examples**
Try in Notation3 Editor 🚀\n", "\n", "\n", "
\n", @@ -3336,7 +3336,7 @@ "\n", "`true` if and only if the string concatenation of `$s.i` equals `$o`.\n", "\n", - "**Schema**
`( $s.i+ )+ string:concatenation $o-`
where:
`$s.i`: `xsd:string`
`$o`: `xsd:string`

**Examples**
Try in Notation3 Editor 🚀\n", + "**Schema**
`( $s.i+ )+ string:concatenation $o-`
where:
`$s.i`: `xsd:string`
`$o`: `xsd:string`

**Examples**
Try in Notation3 Editor 🚀\n", "\n", "\n", "
\n", @@ -3372,7 +3372,7 @@ "\n", "`true` if and only if `$s` is the same string as `$o` when ignoring case differences.\n", "\n", - "**Schema**
`$s+ string:equalIgnoringCase $o+`
where:
`$s`: `xsd:string`
`$o`: `xsd:string`

**Examples**
Try in Notation3 Editor 🚀\n", + "**Schema**
`$s+ string:equalIgnoringCase $o+`
where:
`$s`: `xsd:string`
`$o`: `xsd:string`

**Examples**
Try in Notation3 Editor 🚀\n", "\n", "\n", "
\n", @@ -3409,7 +3409,7 @@ "\n", "`true` if and only if `$s` starts with `$o`.\n", "\n", - "**Schema**
`$s+ string:startsWith $o+`
where:
`$s`: `xsd:string`
`$o`: `xsd:string`

**Examples**
Try in Notation3 Editor 🚀\n", + "**Schema**
`$s+ string:startsWith $o+`
where:
`$s`: `xsd:string`
`$o`: `xsd:string`

**Examples**
Try in Notation3 Editor 🚀\n", "\n", "\n", "
\n", @@ -3447,7 +3447,7 @@ "\n", "`true` if and only if string `$s` matches the regular expression `$o`\n", "\n", - "**Schema**
`$s+ string:matches $o+`
where:
`$s`: `xsd:string`
`$o`: `xsd:string`

**Examples**
Try in Notation3 Editor 🚀\n", + "**Schema**
`$s+ string:matches $o+`
where:
`$s`: `xsd:string`
`$o`: `xsd:string`

**Examples**
Try in Notation3 Editor 🚀\n", "\n", "\n", "
\n", @@ -3485,7 +3485,7 @@ "\n", "`true` if and only if string `$s` does not match the regular expression `$o`\n", "\n", - "**Schema**
`$s+ string:notMatches $o+`
where:
`$s`: `xsd:string`
`$o`: `xsd:string`

**Examples**
Try in Notation3 Editor 🚀\n", + "**Schema**
`$s+ string:notMatches $o+`
where:
`$s`: `xsd:string`
`$o`: `xsd:string`

**Examples**
Try in Notation3 Editor 🚀\n", "\n", "\n", "
\n", @@ -3523,7 +3523,7 @@ "\n", "`true` if and only if `$o` is the result of replacing the tags found in `$s.(i=1)` with the strings `$s.(i>1)`\n", "\n", - "**Schema**
`( $s.i+ )+ string:format $o-`
where:
`$s.i`: `xsd:string`
`$o`: `xsd:string`

**Examples**
Try in Notation3 Editor 🚀\n", + "**Schema**
`( $s.i+ )+ string:format $o-`
where:
`$s.i`: `xsd:string`
`$o`: `xsd:string`

**Examples**
Try in Notation3 Editor 🚀\n", "\n", "\n", "
\n",