RE: TEST: /2002/03owlt/intersectionOf

[...]

> cwm already supports it:
>
> <#z> <#prop> "string with \" escaped quote marks".
>
>          -- http://www.w3.org/2000/10/swap/test/strquot.n3

right, I forgot that and euler supports that as well I see

[[[
C:\temp>java Euler http://www.w3.org/2000/10/swap/test/strquot.n3 http:/
/www.w3.org/2000/10/swap/test/strquot.n3
# Generated with http://www.agfa.com/w3c/euler/#R3201 on 1 Oct 2002 20:1
8:09 GMT
# for query http://www.w3.org/2000/10/swap/test/strquot.n3
# given {http://www.w3.org/2000/10/swap/test/strquot.n3=[]}

@prefix dc: <http://purl.org/dc/elements/1.1/> .
@prefix log: <http://www.w3.org/2000/10/swap/log#> .

<http://www.w3.org/2000/10/swap/test/strquot.n3#x> <http://www.w3.org/20
00/10/swap/test/strquot.n3#prop> "simple string".
<http://www.w3.org/2000/10/swap/test/strquot.n3#y> <http://www.w3.org/20
00/10/swap/test/strquot.n3#prop> """triple quoted
string with newlines in it.""".
<http://www.w3.org/2000/10/swap/test/strquot.n3#z> <http://www.w3.org/20
00/10/swap/test/strquot.n3#prop> "string with \" escaped quote marks".
<http://www.w3.org/2000/10/swap/test/strquot.n3#zz> <http://www.w3.org/2
000/10/swap/test/strquot.n3#escapes> "\\\"\a\b\f\r\t\v".
<http://www.w3.org/2000/10/swap/test/strquot.n3#martin> <http://www.w3.o
rg/2000/10/swap/test/strquot.n3#surname> "D\u00fcrst".
<http://www.w3.org/2000/10/swap/test/strquot.n3> dc:description """testi
ng string parsing in N3.
Hmm... how much of this is in the primer?
How much should be there?
@@ Holding off on unicode until support
in python is sufficiently deployed
(e.g. python on tux doesn't grok,
nor does pythonwin on TimBL's laptop).
$Id: strquot.n3,v 1.2 2002/02/14 23:10:43 connolly Exp $
""".


# Proof found for http://www.w3.org/2000/10/swap/test/strquot.n3 in 9 st
eps (9268 steps/sec) using 1 engine
]]]


> You can't put an unescaped newline inside a "-delimited
> string, keep in mind.

that's indeed right as well

-- ,
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/

PS after reordering some owl-rules we now have a shorter proof
   for http://www.w3.org/2002/03owlt/intersectionOf/Manifest001
   and Dan is (again) right about functional terms i.e. no need