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.

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

SHACL: Do not prohibit inverse reasoning #141

Open
VladimirAlexiev opened this issue Dec 7, 2024 · 0 comments
Open

SHACL: Do not prohibit inverse reasoning #141

VladimirAlexiev opened this issue Dec 7, 2024 · 0 comments
Assignees
Labels
reasoning Pertains to needed reasoning and its consequences shacl Pertains to SHACL shapes

Comments

@VladimirAlexiev
Copy link
Collaborator

It was decided that Inverse reasoning should not be mandatory, but is desirable for querying.

There were plans to write SHACL shapes to check that cims:AssociationUsed "No" triples are not included.
If shapes that prohibit inverse triples are added,
they will raise a number of errors on repositories that do in fact provide inverse reasoning.
This problem may be overcome by validating only named graphs with explicit instance data
(eg in GraphDB all inferred triples are in the onto:implicit graph).
But it may complicate validation scenarios.

@VladimirAlexiev VladimirAlexiev added shacl Pertains to SHACL shapes reasoning Pertains to needed reasoning and its consequences labels Dec 7, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
reasoning Pertains to needed reasoning and its consequences shacl Pertains to SHACL shapes
Projects
None yet
Development

No branches or pull requests

2 participants