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

Issue 563: Catch develop-2.0.0 up to develop #569

Closed
wants to merge 3 commits into from

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 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 committed Nov 22, 2023
    Configuration menu
    Copy the full SHA
    f599294 View commit details
    Browse the repository at this point in the history

Commits on Nov 30, 2023

  1. Merge pull request #564 from ucoProject/Feature-Issue-563

    Issue 563: Designate action:Action and core:Event disjoint
    plbt5 authored Nov 30, 2023
    Configuration menu
    Copy the full SHA
    429cfa7 View commit details
    Browse the repository at this point in the history