-
Notifications
You must be signed in to change notification settings - Fork 34
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
Owl 2 DL Vocabulary #427
Owl 2 DL Vocabulary #427
Commits on Jul 23, 2022
-
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 * ucoProject#406 Signed-off-by: Alex Nelson <alexander.nelson@nist.gov>
Configuration menu - View commit details
-
Copy full SHA for e77020d - Browse repository at this point
Copy the full SHA e77020dView commit details -
Add and exercise SHACL constraints to review OWL 2 DL conformance
A follow-on patch will refresh Make-managed files. References: * ucoProject#406 Signed-off-by: Alex Nelson <alexander.nelson@nist.gov>
Configuration menu - View commit details
-
Copy full SHA for 58f1fc6 - Browse repository at this point
Copy the full SHA 58f1fc6View commit details -
References: * ucoProject#406 Signed-off-by: Alex Nelson <alexander.nelson@nist.gov>
Configuration menu - View commit details
-
Copy full SHA for deca582 - Browse repository at this point
Copy the full SHA deca582View commit details -
Add review of imported ontologies
A draft version of this patch series assisted in reviewing Issue 389. References: * ucoProject#389 * ucoProject#406 Signed-off-by: Alex Nelson <alexander.nelson@nist.gov>
Configuration menu - View commit details
-
Copy full SHA for a6f39a7 - Browse repository at this point
Copy the full SHA a6f39a7View commit details
Commits on Aug 2, 2022
-
Resolving datatype completeness and removing redundant subClass format
frederich committedAug 2, 2022 Configuration menu - View commit details
-
Copy full SHA for 5e796bc - Browse repository at this point
Copy the full SHA 5e796bcView commit details
Commits on Aug 8, 2022
-
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>
Configuration menu - View commit details
-
Copy full SHA for 40e16b0 - Browse repository at this point
Copy the full SHA 40e16b0View commit details -
Add test for syntax of enumeration-of-literal datatypes
This test builds on the PR for Issue 406, and will fail CI as it is currently filed. The failure is an intentional demonstration of non-conformance. This test will need to be merged into another branch that had applied the syntax fix. References: * ucoProject#406 * ucoProject#435 Signed-off-by: Alex Nelson <alexander.nelson@nist.gov>
Configuration menu - View commit details
-
Copy full SHA for 548f1ab - Browse repository at this point
Copy the full SHA 548f1abView commit details -
Adjust pattern expectation for enumerant lists
References: * ucoProject#435 Signed-off-by: Alex Nelson <alexander.nelson@nist.gov>
Configuration menu - View commit details
-
Copy full SHA for aa19eaa - Browse repository at this point
Copy the full SHA aa19eaaView commit details -
Merge Feature-Issue-435 into OWL-2-DL-Vocabulary
frederich committedAug 8, 2022 Configuration menu - View commit details
-
Copy full SHA for 405f0f0 - Browse repository at this point
Copy the full SHA 405f0f0View commit details -
Merge branch 'Feature-Issue-435' of github.com:ucoProject/UCO into OW…
…L-2-DL-Vocabulary
frederich committedAug 8, 2022 Configuration menu - View commit details
-
Copy full SHA for 4c98f2e - Browse repository at this point
Copy the full SHA 4c98f2eView commit details -
Removing owl:withRestrictions from enumerated values
frederich committedAug 8, 2022 Configuration menu - View commit details
-
Copy full SHA for 454f1ac - Browse repository at this point
Copy the full SHA 454f1acView commit details
Commits on Aug 19, 2022
-
A pattern implemented in PR 463 is to avoid `sh:declare`, and where prefixes are needed in SHACL-SPARQL queries, to inline a PREFIX clause. This patch removes one instance of `sh:prefixes` that is not addressed by PR 463. References: * ucoProject#435 * ucoProject#463 Signed-off-by: Alex Nelson <alexander.nelson@nist.gov>
Configuration menu - View commit details
-
Copy full SHA for bbd58c1 - Browse repository at this point
Copy the full SHA bbd58c1View commit details