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

Issue 563: Designate action:Action and core:Event disjoint #564

Merged
merged 2 commits into from
Nov 30, 2023
Merged

Issue 563: Designate action:Action and core:Event disjoint #564

merged 2 commits into from
Nov 30, 2023

Commits on Nov 22, 2023

  1. Designate action:Action and core:Event disjoint 

    In an OWL-only sense, the ontology portion of this patch could have been
accomplished by adding one triple to `action:Action`.

For the sake of symmetry and explicitness, `core:Event` also picked up
the `owl:disjointWith` statement.  To satisfy OWL syntactic
requirements, a stub reference to `action:Action` is added, as was done
for `types:Dictionary` for Issue 541 (discussed in PR 542).

To enforce disjointedness with SHACL, a new independent shape is added,
`action:Action-disjointWith-Event-shape`.

A follow-on patch will regenerate Make-managed files.

EDIT 2023-11-22: An initial version of this patch included an inlined
anonymous `sh:NodeShape`.  I now believe the scenario that shape
mitigates (multi-import of a shapes graph leading to SHACL-scoped syntax
errors) is unlikely, and I also saw that the noted rationale around
`sh:not` was confused with another predicate (`sh:inversePath`).

References:
* #563
* #542

Signed-off-by: Alex Nelson <[email protected]>
    @ajnelson-nist
    ajnelson-nist committed Nov 22, 2023
    Configuration menu
    Copy the full SHA
    6669aab View commit details
    Browse the repository at this point in the history

  2. Regenerate Make-managed files 

    References:
* #563

Signed-off-by: Alex Nelson <[email protected]>
    @ajnelson-nist
    ajnelson-nist committed Nov 22, 2023
    Configuration menu
    Copy the full SHA
    f599294 View commit details
    Browse the repository at this point in the history