TriG-star Syntax Tests

Generated from:manifest.jsonld
creator: RDF-star Interest Group within the W3C RDF-DEV Community Group
issued:2021-06-21
modified:2021-07-18
see also:https://w3c.github.io/rdf-tests/

Entries:

About this test suite

https://w3c.github.io/rdf-tests/

TriG-star - subject quoted triple 🔗

status:proposed
type:rdft:TestTrigPositiveSyntax
trig-star-syntax-basic-01.trig
PREFIX : <http://example/>

:G {
  :s :p :o .
  <<:s :p :o>> :q 123 .
}
MUST be accepted

TriG-star - object quoted triple 🔗

status:proposed
type:rdft:TestTrigPositiveSyntax
trig-star-syntax-basic-02.trig
PREFIX : <http://example/>

:G {
  :s :p :o .
  :x :p <<:s :p :o>> .
}
MUST be accepted

TriG-star - quoted triple inside blankNodePropertyList 🔗

status:proposed
type:rdft:TestTrigPositiveSyntax
trig-star-syntax-inside-01.trig
PREFIX : <http://example/>

:G {
  :s :p :o .
  [ :q <<:s :p :o>> ] :b :c .
}
MUST be accepted

TriG-star - quoted triple inside collection 🔗

status:proposed
type:rdft:TestTrigPositiveSyntax
trig-star-syntax-inside-02.trig
PREFIX : <http://example/>

:G {
  :s :p :o1 .
  :s :p :o2 .
  ( <<:s :p :o1>> <<:s :p :o2>> )  :q 123 .
}
MUST be accepted

TriG-star - nested quoted triple, subject position 🔗

status:proposed
type:rdft:TestTrigPositiveSyntax
trig-star-syntax-nested-01.trig
PREFIX : <http://example/>

:G {
  :s :p :o .

  <<:s :p :o >> :r :z .

  << <<:s :p :o >> :r :z >> :q 1 .
}
MUST be accepted

TriG-star - nested quoted triple, object position 🔗

status:proposed
type:rdft:TestTrigPositiveSyntax
trig-star-syntax-nested-02.trig
PREFIX : <http://example/>

:G {
  :s :p :o .
  :a :q <<:s :p :o >> .
  << :a :q <<:s :p :o >>>> :r :z .
}
MUST be accepted

TriG-star - compound forms 🔗

status:proposed
type:rdft:TestTrigPositiveSyntax
trig-star-syntax-compound.trig
PREFIX : <http://example/>

:G {
  :x :r :z .
  :a :b :c .
  <<:a :b :c>> :r :z .
  <<:x :r :z >> :p <<:a :b :c>> .

  << <<:x :r :z >> :p <<:a :b :c>> >>
     :q
  << <<:x :r :z >> :p <<:a :b :c>> >> .
}
MUST be accepted

TriG-star - blank node subject 🔗

status:proposed
type:rdft:TestTrigPositiveSyntax
trig-star-syntax-bnode-01.trig
PREFIX : <http://example/>

:G {
  _:a :p :o .
  <<_:a :p :o >> :q 456 .
}
MUST be accepted

TriG-star - blank node object 🔗

status:proposed
type:rdft:TestTrigPositiveSyntax
trig-star-syntax-bnode-02.trig
PREFIX : <http://example/>

:G {
  :s :p _:a .
  <<:s :p _:a >> :q 456 .
}
MUST be accepted

TriG-star - blank node 🔗

status:proposed
type:rdft:TestTrigPositiveSyntax
trig-star-syntax-bnode-03.trig
PREFIX : <http://example/>

:G {<<[] :p [] >> :q :z .}
MUST be accepted

TriG-star - bad - quoted triple as predicate 🔗

status:proposed
type:rdft:TestTrigNegativeSyntax
trig-star-syntax-bad-01.trig
PREFIX : <http://example/>

:G {
  :s :p :o .
  :x <<:s :p :o>> 123 .
}
MUST be rejected

TriG-star - bad - quoted triple outside triple 🔗

status:proposed
type:rdft:TestTrigNegativeSyntax
trig-star-syntax-bad-02.trig
PREFIX : <http://example/>

:G {
  :s :p :o .
  <<:s :p :o>> .
}
MUST be rejected

TriG-star - bad - collection list in quoted triple 🔗

status:proposed
type:rdft:TestTrigNegativeSyntax
trig-star-syntax-bad-03.trig
PREFIX : <http://example/>

:G {
  :s :p ("abc") .
  <<:s :p ("abc") >> :q 123 .
}
MUST be rejected

TriG-star - bad - literal in subject position of quoted triple 🔗

status:proposed
type:rdft:TestTrigNegativeSyntax
trig-star-syntax-bad-04.trig
PREFIX : <http://example/>

:G {
  :s :p :o .
  <<3 :p :o >> :q :z .
}
MUST be rejected

TriG-star - bad - blank node as predicate in quoted triple 🔗

status:proposed
type:rdft:TestTrigNegativeSyntax
trig-star-syntax-bad-05.trig
PREFIX : <http://example/>

:G {
  <<:s [] :o>> :q 123 .
}
MUST be rejected

TriG-star - bad - compound blank node expression 🔗

status:proposed
type:rdft:TestTrigNegativeSyntax
trig-star-syntax-bad-06.trig
PREFIX : <http://example/>

:G {
  <<:s :p [ :p1 :o1 ]  >> :q 123 .
}
MUST be rejected

TriG-star - bad - incomplete quoted triple 🔗

status:proposed
type:rdft:TestTrigNegativeSyntax
trig-star-syntax-bad-07.trig
PREFIX : <http://example/>


:G {:s :p << :p :r >> .}
MUST be rejected

TriG-star - bad - over-long quoted triple 🔗

status:proposed
type:rdft:TestTrigNegativeSyntax
trig-star-syntax-bad-08.trig
PREFIX : <http://example/>

:G {:s :p << :g :s :p :o >> .}
MUST be rejected

TriG-star - Annotation form 🔗

status:proposed
type:rdft:TestTrigPositiveSyntax
trig-star-annotation-1.trig
PREFIX : <http://example/>

:G {:s :p :o {| :r :z |} }
MUST be accepted

TriG-star - Annotation example 🔗

status:proposed
type:rdft:TestTrigPositiveSyntax
trig-star-annotation-2.trig
PREFIX :       <http://example/>
PREFIX xsd:     <http://www.w3.org/2001/XMLSchema#>

:G {
  :s :p :o {| :source [ :graph <http://host1/> ;
                        :date "2020-01-20"^^xsd:date
                      ] ;
              :source [ :graph <http://host2/> ;
                        :date "2020-12-31"^^xsd:date
                      ]
            |} .
}
MUST be accepted

TriG-star - bad - empty annotation 🔗

status:proposed
type:rdft:TestTrigNegativeSyntax
trig-star-syntax-bad-ann-1.trig
PREFIX : <http://example.com/ns#>

:G {:s :p :o {|  |} .}

MUST be rejected

TriG-star - bad - triple as annotation 🔗

status:proposed
type:rdft:TestTrigNegativeSyntax
trig-star-syntax-bad-ann-2.trig
PREFIX : <http://example.com/ns#>

:G {:a :b :c {| :s :p :o |} .}
MUST be rejected