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 406 v1: OWL 2 DL review with SHACL-SPARQL #412

Merged
merged 5 commits into from
Aug 12, 2022
Merged

Commits on Jul 23, 2022

  1. Revert RDF list reference-consolidation and test for alignment

    This patch undoes an engineering convenience put in place as part of UCO
    CP-100.  RDF Lists that were part of semi-open vocabularies were given
    IRIs, so they could be referenced for OWL datatype definitions and for
    SHACL membership testing.  This was acknowledged as an incompatibility
    with OWL 2 DL, which requires that RDF Lists be identified as blank
    nodes.  The concepts were intended to remain until an OWL test mechanism
    would identify this error.
    
    A test mechanism is now under development as part of UCO Issue 406, and
    correctly flags IRI-identified RDF lists.  Hence, this patch undoes the
    change.
    
    To ensure the RDF lists are kept in sync. across their duplicate
    locations, a Python unit test has been added to confirm list-equality.
    
    References:
    * [UCO OC-12] (CP-100) UCO's idea of "Open vocabulary" does not agree
      with its implementation with owl:oneOf
    * #406
    
    Signed-off-by: Alex Nelson <alexander.nelson@nist.gov>
    ajnelson-nist committed Jul 23, 2022
    Configuration menu
    Copy the full SHA
    e77020d View commit details
    Browse the repository at this point in the history
  2. Add and exercise SHACL constraints to review OWL 2 DL conformance

    A follow-on patch will refresh Make-managed files.
    
    References:
    * #406
    
    Signed-off-by: Alex Nelson <alexander.nelson@nist.gov>
    ajnelson-nist committed Jul 23, 2022
    Configuration menu
    Copy the full SHA
    58f1fc6 View commit details
    Browse the repository at this point in the history
  3. Refresh Make-managed files

    References:
    * #406
    
    Signed-off-by: Alex Nelson <alexander.nelson@nist.gov>
    ajnelson-nist committed Jul 23, 2022
    Configuration menu
    Copy the full SHA
    deca582 View commit details
    Browse the repository at this point in the history
  4. Add review of imported ontologies

    A draft version of this patch series assisted in reviewing Issue 389.
    
    References:
    * #389
    * #406
    
    Signed-off-by: Alex Nelson <alexander.nelson@nist.gov>
    ajnelson-nist committed Jul 23, 2022
    Configuration menu
    Copy the full SHA
    a6f39a7 View commit details
    Browse the repository at this point in the history

Commits on Aug 8, 2022

  1. Fix copy-paste error

    One additional line was supposed to have been copied.  By luck, this
    error had still let the remainder of the recipe function, but it's
    better to not leave luck in place here.
    
    Signed-off-by: Alex Nelson <alexander.nelson@nist.gov>
    ajnelson-nist committed Aug 8, 2022
    Configuration menu
    Copy the full SHA
    40e16b0 View commit details
    Browse the repository at this point in the history