Multiple axioms can map to the same core triple

[cmungall]

Based on my understanding of https://lists.w3.org/Archives/Public/public-rdf-star/2020Jun/0006.html

It is not possible to have distinct rdf-star statements that use the same core triple; these are collapsed

This presents problems with layering owlstar on rdfstar. e.g. if we have

• A sub R some B
• A sub R only B

The intent of owlstar is that we have two separate statements:

1 <<A R B>> os:interp allsome 2 <<A R B>> os:interp allonly

Each of these could have distinct provenance associated with them

However, this may have been a mistaken interpretation of rdf-star, as it seems 1 and 2 are collapsed

3. <<A R B>> os:interp allonly, allsome`

And thus collapsing any provenance associated with them

A workaround is to introduce an extra level of quoting but this is not ideal

See also https://github.com/w3c/rdf-star/issues/199