Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Multiple axioms can map to the same core triple #14

Open
cmungall opened this issue Nov 1, 2021 · 0 comments
Open

Multiple axioms can map to the same core triple #14

cmungall opened this issue Nov 1, 2021 · 0 comments

Comments

@cmungall
Copy link
Member

cmungall commented Nov 1, 2021 •
edited
Loading

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

  1. <> 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 w3c/rdf-star#199
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@cmungall