Expand IRI in object position

[multimeric]

I'm working with SHACL where sh:class expects the IRI of a class. Therefore, I want sh:class to behave with the same magic properties as @type, so that it always treats its object as an IRI, and always expands it. The goal is to be able to do {"class": "Foo"} in the actual graph, with whatever @context hacks are necessary. I'm finding this very difficult however. Can anyone suggest a solution?

My attempts are below.

---

First I try just marking class as taking an IRI, but this doesn't expand Foo:

{
  "@context": {
    "Foo": "https://example.org/Foo",
    "class": {"@type": "@id", "@id": "http://www.w3.org/ns/shacl#Class"}
  },
  "class": "Foo"
}

{
  "http://www.w3.org/ns/shacl#Class": { "@id": "Foo" }
}

---

Trying to play with Foo's own @type has no effect, e.g.

{
  "@context": {
    "Foo": {"@type": "@id", "@id": "https://example.org/Foo"},
    "class": {"@type": "@id", "@id": "http://www.w3.org/ns/shacl#Class"}
  },
  "class": "Foo"
}

Or

{
  "@context": {
    "Foo": {"@type": "@vocab", "@id": "https://example.org/Foo"},
    "class": {"@type": "@id", "@id": "http://www.w3.org/ns/shacl#Class"}
  },
  "class": "Foo"
}

---

The only hacky workaround I can find is to mark Foo as a prefix and then also add a colon (which I don't want):

{
  "@context": {
    "Foo": {"@prefix": true, "@id": "https://example.org/Foo"},
    "class": {"@type": "@id", "@id": "http://www.w3.org/ns/shacl#Class"}
  },
  "class": "Foo:"
}

{
  "http://www.w3.org/ns/shacl#Class": {
    "@id": "https://example.org/Foo"
  }
}

[BigBlueHat]

@multimeric have you been able to solve this?

It is possible to alias class to @type in your context file:

{
  "@context": {
    "Foo": "https://example.org/Foo",
    "class": "@type"
  },
  "class": "Foo"
}

which becomes...

_:b0 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <https://example.org/Foo> .

But that of course doesn't map to http://www.w3.org/ns/shacl#class...

Reading between all the lines, I think the main thing you're wanting is for a value-side IRI to have all the "short-hand" magic of an @type value, correct?

You're wanting the following to be possible...

{
  "@context": {
    "Foo": {"@id": "https://example.org/Foo"},
    "class": {"@type": "@id", "@id": "http://www.w3.org/ns/shacl#class"}
  },
  "class": "Foo"
}

but (sadly) only this is possible...

{
  "@context": {
    "class": {"@type": "@id", "@id": "http://www.w3.org/ns/shacl#class"}
  },
  "class": "https://example.org/Foo"
}

Is that the main issue?

[multimeric]

Thanks, this confirms that there is currently no way to do what I want. The motivation is to have a JSON document that is fully expressive but uses no IRIs or CURIEs except for in the context.

I wonder if there could be a new type called @term or something which tells the parser to look up the value in the context. e.g.

{
  "@context": {
    "Foo": "https://example.org/Foo",
    "class": {"@type": "@term", "@id": "http://www.w3.org/ns/shacl#Class"}
  },
  "class": "Foo"
}