Euler Yet another proof Engine
IRI with eight digit numeric escape (\U)
prefix with PN CHARS BASE character boundaries (prefix: AZazÀÖØöø...:)
prefix with_non_leading_extras (_:a·̀ͯ‿.⁀)
localName with assigned, NFC-normalized, basic-multilingual-plane PN CHARS BASE character boundaries (p:AZazÀÖØöø...)
localName with assigned, NFC-normalized PN CHARS BASE character boundaries (p:AZazÀÖØöø...)
localName with nfc-normalize PN CHARS BASE character boundaries (p:AZazÀÖØöø...)
localName with_non_leading_extras (_:a·̀ͯ‿.⁀)
labeled blank node with PN_CHARS_BASE character boundaries (_:AZazÀÖØöø...)
labeled blank node with_leading_underscore (_:_)
labeled blank node with_leading_digit (_:0)
labeled blank node with_non_leading_extras (_:a·̀ͯ‿.⁀)
sole blankNodePropertyList [ <o> ] .
blankNodePropertyList as subject [ … ] <o> .
blankNodePropertyList as object [ … ] .
blankNodePropertyList with multiple triples [ ; <s2> <p2> ]
nested blankNodePropertyLists [ <p1> [ <p2> <o2> ] ; <p3> <o3> ]
blankNodePropertyList containing collection [ <p1> ( … ) ]
first, not last, non-empty nested collection
last, not first, non-empty nested collection
LITERAL1_ascii_boundaries '\x00\x09\x0b\x0c\x0e\x26\x28...'
LITERAL1_with_UTF8_boundaries '\x80\x7ff\x800\xfff...'
LITERAL1_all_controls '\x00\x01\x02\x03\x04...'
LITERAL_LONG1_ascii_boundaries '\x00\x26\x28...'
LITERAL_LONG1_with_UTF8_boundaries '\x80\x7ff\x800\xfff...'
LITERAL2_ascii_boundaries '\x00\x09\x0b\x0c\x0e\x21\x23...'
LITERAL2_with_UTF8_boundaries '\x80\x7ff\x800\xfff...'
LITERAL_LONG2_ascii_boundaries '\x00\x21\x23...'
LITERAL_LONG2_with_UTF8_boundaries '\x80\x7ff\x800\xfff...'
literal with escaped CHARACTER TABULATION
predicateObjectList with two objectLists … <o1>,<o2>
repeated semis at end <o> ;; <p2> <o2> .
repeated semis not at end <o> ;;.
two LITERAL_LONG2s testing quote delimiter overrun
langtagged LONG with subtag """Cheers"""@en-UK
long string literal with embedded single- and double-quotes
long string literal with embedded newline
squote long string literal with embedded single- and double-quotes
long langString literal with embedded newline
squote long langString literal with embedded newline
integer literal with decimal lexical confusion
predicate list with object list and dangling ';'
Bad IRI : bad long escape (negative test)
Bad IRI : character escapes not allowed (negative test)
Bad IRI : character escapes not allowed (2) (negative test)
@prefix without prefix name (negative test)
Turtle does not allow literals-as-subjects (negative test)
Turtle does not allow literals-as-predicates (negative test)
Turtle does not allow bnodes-as-predicates (negative test)
Turtle does not allow labeled bnodes-as-predicates (negative test)
'a' cannot be used as subject (negative test)
'a' cannot be used as object (negative test)
'true' cannot be used as subject (negative test)
'true' cannot be used as object (negative test)
{} fomulae not in Turtle (negative test)
N3 is...of not in Turtle (negative test)
subject, predicate, no object (negative test)
labeled bnode as predicate (negative test)
langString with bad lang (negative test)
'~' must be escaped in pname (negative test)
Bad unicode escape in pname (negative test)
mismatching string literal open/close (negative test)
mismatching string literal long/short (negative test)
mismatching long string literal open/close (negative test)
Long literal with missing end (negative test)
Long literal with extra quote (negative test)
Long literal with extra squote (negative test)
triple with IRIs and embedded whitespace
tests for rdf:_<numbers> and other qnames starting with _
repeating a @prefix changes pname definition
Repeating @base changes base for relative IRI lookup
Bad IRI : good escape, bad charcater (negative evaluation test)
Bad IRI : hex 3C is < (negative evaluation test)
Bad IRI : hex 3E is (negative evaluation test)
Bad IRI : {abc} (negative evaluation test)
Prefix must not end in dot (error in triple, not prefix directive like turtle-syntax-bad-ns-dot-end)
Prefix must not start with dot (error in triple, not prefix directive like turtle-syntax-bad-ns-dot-end)
Dot delimeter may not appear in anonymous nodes