manifest

Generated from manifest.jsonld

Entries:

About this test suite

https://w3c.github.io/rdf-star/tests/semantics/README

all-identical-quoted-triples-are-the-same 🔗

status:proposed
type:positive entailment test
regime:simple
test001a.ttl
prefix : <http://example.com/ns#>

<< :a :b :c >> :p1 :o1.
<< :a :b :c >> :p2 :o2.
MUST entail
test001r.ttl
prefix : <http://example.com/ns#>

<< :a :b :c >> :p1 :o1; :p2 :o2.

Multiple occurences of the same quoted triples are undistinguishable in the abstract model.

quoted-triples-no-spurious 🔗

status:proposed
type:negative entailment test
regime:simple
test002a.ttl
prefix : <http://example.com/ns#>

<< :a :b :c >> :p1 :o1.
MUST NOT entail
test005.ttl
prefix : <http://example.com/ns#>

<< :a :b :d >> :p1 :o1.

This test ensures that other entailments are not spurious.

bnodes-in-quoted-subject 🔗

status:proposed
type:positive entailment test
regime:simple
test002a.ttl
prefix : <http://example.com/ns#>

<< :a :b :c >> :p1 :o1.
MUST entail
test002sr.ttl
prefix : <http://example.com/ns#>

<< _:x :b :c >> :p1 :o1.

Terms inside quoted triples can be replaced by fresh bnodes.

bnodes-in-quoted-object 🔗

status:proposed
type:positive entailment test
regime:simple
test002a.ttl
prefix : <http://example.com/ns#>

<< :a :b :c >> :p1 :o1.
MUST entail
test002or.ttl
prefix : <http://example.com/ns#>

<< :a :b _:x >> :p1 :o1.

Terms inside quoted triples can be replaced by fresh bnodes.

bnodes-in-quoted-subject-and-object 🔗

status:proposed
type:positive entailment test
regime:simple
test002a.ttl
prefix : <http://example.com/ns#>

<< :a :b :c >> :p1 :o1.
MUST entail
test002sor.ttl
prefix : <http://example.com/ns#>

<< _:x :b _:y >> :p1 :o1.

Terms inside quoted triples can be replaced by fresh bnodes.

bnodes-in-quoted-subject-and-object-fail 🔗

status:proposed
type:negative entailment test
regime:simple
test002a.ttl
prefix : <http://example.com/ns#>

<< :a :b :c >> :p1 :o1.
MUST NOT entail
test002sbr.ttl
prefix : <http://example.com/ns#>

<< _:x :b _:x >> :p1 :o1.

The same bnode can not match different quoted terms.

same-bnode-same-quoted-term 🔗

status:proposed
type:positive entailment test
regime:simple
test003a.ttl
prefix : <http://example.com/ns#>

<< :a :b :a >> :p1 :o1.
MUST entail
test002sbr.ttl
prefix : <http://example.com/ns#>

<< _:x :b _:x >> :p1 :o1.

Identical quoted term can be replaced by the same fresh bnode multiple times.

different-bnodes-same-quoted-term 🔗

status:proposed
type:positive entailment test
regime:simple
test003a.ttl
prefix : <http://example.com/ns#>

<< :a :b :a >> :p1 :o1.
MUST entail
test002sor.ttl
prefix : <http://example.com/ns#>

<< _:x :b _:y >> :p1 :o1.

Different bnodes can match identical quoted terms.

constrained-bnodes-in-quoted-subject 🔗

status:proposed
type:positive entailment test
regime:simple
test004a.ttl
prefix : <http://example.com/ns#>

<< :a :b :c >> :p1 :o1.
:a :label "A".
:c :label "C".
MUST entail
test004sr.ttl
prefix : <http://example.com/ns#>

<< _:x :b :c >> :p1 :o1.
_:x :label "A".

Terms inside and outside quoted triples can be replaced by fresh bnodes

constrained-bnodes-in-quoted-object 🔗

status:proposed
type:positive entailment test
regime:simple
test004a.ttl
prefix : <http://example.com/ns#>

<< :a :b :c >> :p1 :o1.
:a :label "A".
:c :label "C".
MUST entail
test004or.ttl
prefix : <http://example.com/ns#>

<< :a :b _:x >> :p1 :o1.
_:x :label "C".

Terms inside and outside quoted triples can be replaced by fresh bnodes.

constrained-bnodes-in-quoted-fail 🔗

status:proposed
type:negative entailment test
regime:simple
test004a.ttl
prefix : <http://example.com/ns#>

<< :a :b :c >> :p1 :o1.
:a :label "A".
:c :label "C".
MUST NOT entail
test004fr.ttl
prefix : <http://example.com/ns#>

<< _:x :b :c >> :p1 :o1.
_:x :label "C".

Quoted bnode identifiers share the same scope as non-quoted ones. A bnode that occurs both inside quoted triples and inside asserted triples must satisfy all occurrences at the same time.

constrained-bnodes-on-literal 🔗

status:proposed
type:positive entailment test
regime:simple
test006a.ttl
prefix : <http://example.com/ns#>
prefix xsd: <http://www.w3.org/2001/XMLSchema#>

<< :a :b "42"^^xsd:integer >> :p1 :o1.
:s2 :p2 "42"^^xsd:integer.
MUST entail
test006r.ttl
prefix : <http://example.com/ns#>
prefix xsd: <http://www.w3.org/2001/XMLSchema#>

<< :a :b _:x >> :p1 :o1.
:s2 :p2 _:x.

Literals inside and outside quoted triples can be replaced by fresh bnodes.

malformed-literal-control 🔗

status:proposed
type:positive entailment test
regime:RDF
recognizing:xsd:integer
malformed-literal-control.ttl
prefix : <http://example.com/ns#>
prefix xsd: <http://www.w3.org/2001/XMLSchema#>

:a :b "c"^^xsd:integer.
MUST entail
a contradiction

Checks that xsd:integer is indeed recognized, to ensure that malformed-literal-* tests do not pass spuriously.

malformed-literal 🔗

status:proposed
type:negative entailment test
regime:RDF
recognizing:xsd:integer
malformed-literal.ttl
prefix : <http://example.com/ns#>
prefix xsd: <http://www.w3.org/2001/XMLSchema#>

<< :a :b "c"^^xsd:integer >> :p1 :o1.
MUST NOT entail
a contradiction

Malformed literals are allowed when quoted.

malformed-literal-accepted 🔗

status:proposed
type:positive entailment test
regime:RDF
recognizing:xsd:integer
malformed-literal.ttl
prefix : <http://example.com/ns#>
prefix xsd: <http://www.w3.org/2001/XMLSchema#>

<< :a :b "c"^^xsd:integer >> :p1 :o1.
MUST entail
malformed-literal.ttl
prefix : <http://example.com/ns#>
prefix xsd: <http://www.w3.org/2001/XMLSchema#>

<< :a :b "c"^^xsd:integer >> :p1 :o1.

Malformed literals are allowed when quoted.

malformed-literal-no-spurious 🔗

status:proposed
type:negative entailment test
regime:RDF
recognizing:xsd:integer
malformed-literal.ttl
prefix : <http://example.com/ns#>
prefix xsd: <http://www.w3.org/2001/XMLSchema#>

<< :a :b "c"^^xsd:integer >> :p1 :o1.
MUST NOT entail
malformed-literal-other.ttl
prefix : <http://example.com/ns#>
prefix xsd: <http://www.w3.org/2001/XMLSchema#>

<< :a :b "d"^^xsd:integer >> :p1 :o1.

Quoted malformed literals do not lead to spurious entailment.

malformed-literal-bnode 🔗

status:proposed
type:negative entailment test
regime:RDF
recognizing:xsd:integer
malformed-literal.ttl
prefix : <http://example.com/ns#>
prefix xsd: <http://www.w3.org/2001/XMLSchema#>

<< :a :b "c"^^xsd:integer >> :p1 :o1.
MUST NOT entail
test002or.ttl
prefix : <http://example.com/ns#>

<< :a :b _:x >> :p1 :o1.

Malformed literals can not be replaced by blank nodes.

opaque-literal-control 🔗

status:proposed
type:positive entailment test
regime:RDF
recognizing:xsd:integer
non-canonical-literal-control.ttl
prefix : <http://example.com/ns#>
prefix xsd: <http://www.w3.org/2001/XMLSchema#>

:a :b "042"^^xsd:integer.
MUST entail
canonical-literal-control.ttl
prefix : <http://example.com/ns#>
prefix xsd: <http://www.w3.org/2001/XMLSchema#>

:a :b "42"^^xsd:integer.

Checks that xsd:integer is indeed recognized, to ensure that opaque-literal does not pass spuriously.

opaque-literal 🔗

status:proposed
type:negative entailment test
regime:RDF
recognizing:xsd:integer
non-canonical-literal.ttl
prefix : <http://example.com/ns#>
prefix xsd: <http://www.w3.org/2001/XMLSchema#>

<< :a :b "042"^^xsd:integer >> :p1 :o1.
MUST NOT entail
canonical-literal.ttl
prefix : <http://example.com/ns#>
prefix xsd: <http://www.w3.org/2001/XMLSchema#>

<< :a :b "42"^^xsd:integer >> :p1 :o1.

Quoted literals are opaque, even when their datatype is recognized.

opaque-language-string-control 🔗

status:proposed
type:positive entailment test
regime:RDF
lowercase-language-string-control.ttl
prefix : <http://example.com/ns#>
prefix xsd: <http://www.w3.org/2001/XMLSchema#>

:a :b "hello"@en-us.
MUST entail
upercase-language-string-control.ttl
prefix : <http://example.com/ns#>

:a :b "hello"@en-US.

Checks that language strings are indeed recognized, to ensure that opaque-language-string does not pass spuriously.

opaque-language-string 🔗

status:proposed
type:negative entailment test
regime:RDF
lowercase-language-string.ttl
prefix : <http://example.com/ns#>
prefix xsd: <http://www.w3.org/2001/XMLSchema#>

<< :a :b "hello"@en-us >> :p1 :o1.
MUST NOT entail
upercase-language-string.ttl
prefix : <http://example.com/ns#>

<< :a :b "hello"@en-US >> :p1 :o1.

Quoted literals (including language strings) are opaque, even when their datatype is recognized.

opaque-iri-control 🔗

status:proposed
type:positive entailment test
regime:RDFS-Plus
control-sameas-a.ttl
prefix : <http://example.com/ns#>
prefix owl: <http://www.w3.org/2002/07/owl#>

:superman :can :fly .
:clark owl:sameAs :superman.
MUST entail
control-sameas-r.ttl
prefix : <http://example.com/ns#>

:clark :can :fly .

Check that owl:sameAs works as expected, to ensure that opaque-iri does not pass spuriously.

opaque-iri 🔗

status:proposed
type:negative entailment test
regime:RDFS-Plus
superman.ttl
prefix : <http://example.com/ns#>
prefix owl: <http://www.w3.org/2002/07/owl#>

<< :superman :can :fly >> :reportedBy :clark.
:clark owl:sameAs :superman.
MUST NOT entail
superman_undesired_entailment.ttl
prefix : <http://example.com/ns#>

<< :clark :can :fly >> :reportedBy :clark.

Quoted IRIs are opaque.

quoted-not-asserted 🔗

status:proposed
type:negative entailment test
regime:simple
test002a.ttl
prefix : <http://example.com/ns#>

<< :a :b :c >> :p1 :o1.
MUST NOT entail
test002pgr.ttl
prefix : <http://example.com/ns#>

:a :b :c.

Quoted triples are not asserted.

annotated-asserted 🔗

status:proposed
type:positive entailment test
regime:simple
test007a.ttl
prefix : <http://example.com/ns#>

:a :b :c {| :p1 :o1 |}.
MUST entail
test007r1.ttl
prefix : <http://example.com/ns#>

:a :b :c.

Annotated triples are asserted.

annotation 🔗

status:proposed
type:positive entailment test
regime:simple
test007a.ttl
prefix : <http://example.com/ns#>

:a :b :c {| :p1 :o1 |}.
MUST entail
test007r2.ttl
prefix : <http://example.com/ns#>

<< :a :b :c >> :p1 :o1.

Annotation are about the annotated triple.

annotation-unfolded 🔗

status:proposed
type:positive entailment test
regime:simple
test007a2.ttl
prefix : <http://example.com/ns#>

:a :b :c.
<< :a :b :c >> :p1 :o1.
MUST entail
test007a.ttl
prefix : <http://example.com/ns#>

:a :b :c {| :p1 :o1 |}.

Annotation is the same as separate assertions.