Skip to content

Conversation

@ajnelson-nist
Copy link
Member

No description provided.

kchason and others added 16 commits January 10, 2024 14:49
A follow-on patch will regenerate Make-managed files.

References:
* #155

Signed-off-by: Alex Nelson <[email protected]>
References:
* #155

Signed-off-by: Alex Nelson <[email protected]>
This step involved modifying, but not committing, `version_info.py` and
the CASE submodule pointer.

References:
* #155

Signed-off-by: Alex Nelson <[email protected]>
This step involved modifying, but not committing, `version_info.py` and
the CASE submodule pointer.

References:
* #155

Signed-off-by: Alex Nelson <[email protected]>
References:
* #141

Signed-off-by: Alex Nelson <[email protected]>
…uilds

Include closure in monolithic builds
A follow-on patch will regenerate Make-managed files.

Signed-off-by: Alex Nelson <[email protected]>
No effects were observed on Make-managed files.

Signed-off-by: Alex Nelson <[email protected]>
Adoption of CASE 1.3.0 happens to address `case-utils` Issue 142,
because UCO Issue 571 deactivated `uco-owl:List-shape`.

This patch considers some of the OWL shapes as applicable in ABox review.

* `uco-owl:distinctMembers-subjects-shape` and
  `uco-owl:members-subjects-shape` can be used in `owl:AllDifferent` to
  specify that some IRIs in the graph truly do not pertain to the same
  individual.
* `uco-owl:rdf-first-subjects-shape` and
  `uco-owl:rdf-rest-subjects-shape` serve as an RDF-wide syntax reviewer
  on `rdf:List`, confirming that lists are specified at least as much as
  they need to be, and also do not fork.

No effects were observed on Make-managed files.

References:
* #142
* ucoProject/UCO#571

Signed-off-by: Alex Nelson <[email protected]>
Signed-off-by: Alex Nelson <[email protected]>
References:
* #141

Signed-off-by: Alex Nelson <[email protected]>
@ajnelson-nist ajnelson-nist added this to the 0.16.0 milestone Jan 25, 2024
@ajnelson-nist ajnelson-nist marked this pull request as ready for review January 25, 2024 13:13
@ajnelson-nist ajnelson-nist requested a review from a team as a code owner January 25, 2024 13:13
@kchason kchason merged commit 0b19779 into main Jan 25, 2024
@kchason kchason deleted the release-0.16.0 branch January 25, 2024 13:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants