json-ld / json-ld.org

JSON for Linked Data's documentation and playground site
https://json-ld.org/
Other
853 stars 152 forks source link

Graph-aliased keywords don't work as containers in JSON-LD 1.1 #766

Closed niklasl closed 2 years ago

niklasl commented 2 years ago

It appears that @graph-aliased keywords don't work as containers in JSON-LD 1.1. Given:

{
  "@context": {
    "@base": "https://example.org/",
    "@vocab": "https://example.org/ns/",
    "entities": {
      "@id": "@graph",
      "@container": "@index"
    }
  },
  "entities": {
    "Q102071": {
      "@type": "item",
      "@id": "Q102071"
    }
  }
}

I'd expect the following:

[
  {
    "@id": "https://example.org/Q102071",
    "@type": [
      "https://example.org/ns/item"
    ],
    "@index": "Q102071"
  }
]

I haven't positively checked that this is a regression from 1.0, but I am quite sure that the intent has always been to support this. Alas, there seems to be no such form in the test suite (in fact, no @graph-aliases at all, to my surprise), otherwise it'd been caught.

This actually works in the JSON-LD 1.1 playground, and in RDFLib.

Crucially though, it does not work according to the JSON-LD 1.1 Expansion Algorithm, where step 13.4 and 13.4.5 creates an expanded value and continues (in 13.4.17), thus bypassing the container processing step at 13.5.

Thus it doesn't work in the faithfully implemented Ruby RDF distiller, nor in TRLD (equally faithfully implemented I hope).

The fix is simple: just exclude @graph in step 13.4 (and thus step 13.4.5 can just be removed). I tried that in the TRLD implementation, and if this is acknowledged, I'd like to fix this in the spec (at least getting it into JSON-LD 1.2).

This appears to work in the compaction algorithm, at least if the expanded graph array is wrapped in a graph object, i.e. given:

{
  "@graph": [
    {
      "@id": "https://example.org/Q102071",
      "@type": [
        "https://example.org/ns/item"
      ],
      "@index": "Q102071"
    }
  ]
}

Combined with the context from the initial example, and fed into compaction unaltered, that will be compacted into the form of that example.

We may want to clarify that the compaction algorithm must ensure that it is thusly wrapped if it is given an array, or at least spell it out that for compaction using graph aliases to work, it needs that form (with an outer graph object) as input.

niklasl commented 2 years ago

This ought to have been filed in the W3C repo. I just reported this there: https://github.com/w3c/json-ld-api/issues/536

(I believe this issue here should be closed; unless we'd need some kind of parallell tracking?)