This Gist contains a test undertaken when reviewing portions of UCO Issue 586.
Participation by NIST in the creation of the documentation of mentioned software is not intended to imply a recommendation or endorsement by the National Institute of Standards and Technology, nor is it intended to imply that any specific software is necessarily the best available for the purpose.
Target environments: macOS, Linux, or Windows Subsystem for Linux.
Procedure:
- Clone Gist.
- Run
make -k
(for--keep-going
). Some resources will be downloaded. Any Java resources have previously-encountered hashes included in the Gist, and are verified before download procedure completes.
These were the results from a prior run. make -k
had been run once, which downloaded robot.jar
and then used it to run tests. This transcript is from a following make -k
run, which did not need to repeat the robot.jar
recipe.
java -jar robot.jar validate-profile \
--input asserted.ttl \
--profile DL \
--strict
OWL 2 DL Profile Report: [Ontology and imports closure in profile]
java -jar robot.jar validate-profile \
--input asserted.ttl \
--profile EL \
--strict
OWL 2 EL Profile Report: Ontology and imports closure NOT in profile. The following violations are present:
Use of data range not in profile: <https://example.org/DatatypeAndObjectProperty-1> [Declaration(Datatype(<https://example.org/DatatypeAndObjectProperty-1>)) in OntologyID(Anonymous-2)]
Use of data range not in profile: <https://example.org/DatatypeAndAnnotationProperty-1> [Declaration(Datatype(<https://example.org/DatatypeAndAnnotationProperty-1>)) in OntologyID(Anonymous-2)]
Use of data range not in profile: <https://example.org/DatatypeAndDatatypeProperty-1> [Declaration(Datatype(<https://example.org/DatatypeAndDatatypeProperty-1>)) in OntologyID(Anonymous-2)]
PROFILE VIOLATION ERROR null violates profile EL
For details see: http://robot.obolibrary.org/validate-profile#profile-violation-error
Use the -vvv option to show the stack trace.
Use the --help option to see usage information.
make: *** [check-el] Error 1
java -jar robot.jar validate-profile \
--input asserted.ttl \
--profile QL \
--strict
OWL 2 QL Profile Report: Ontology and imports closure NOT in profile. The following violations are present:
Use of data range not in profile: <https://example.org/DatatypeAndObjectProperty-1> [Declaration(Datatype(<https://example.org/DatatypeAndObjectProperty-1>)) in OntologyID(Anonymous-2)]
Use of data range not in profile: <https://example.org/DatatypeAndAnnotationProperty-1> [Declaration(Datatype(<https://example.org/DatatypeAndAnnotationProperty-1>)) in OntologyID(Anonymous-2)]
Use of data range not in profile: <https://example.org/DatatypeAndDatatypeProperty-1> [Declaration(Datatype(<https://example.org/DatatypeAndDatatypeProperty-1>)) in OntologyID(Anonymous-2)]
PROFILE VIOLATION ERROR null violates profile QL
For details see: http://robot.obolibrary.org/validate-profile#profile-violation-error
Use the -vvv option to show the stack trace.
Use the --help option to see usage information.
make: *** [check-ql] Error 1
java -jar robot.jar validate-profile \
--input asserted.ttl \
--profile RL \
--strict
OWL 2 RL Profile Report: Ontology and imports closure NOT in profile. The following violations are present:
Use of data range not in profile: <https://example.org/DatatypeAndObjectProperty-1> [Declaration(Datatype(<https://example.org/DatatypeAndObjectProperty-1>)) in OntologyID(Anonymous-2)]
Use of data range not in profile: <https://example.org/DatatypeAndAnnotationProperty-1> [Declaration(Datatype(<https://example.org/DatatypeAndAnnotationProperty-1>)) in OntologyID(Anonymous-2)]
Use of data range not in profile: <https://example.org/DatatypeAndDatatypeProperty-1> [Declaration(Datatype(<https://example.org/DatatypeAndDatatypeProperty-1>)) in OntologyID(Anonymous-2)]
PROFILE VIOLATION ERROR null violates profile RL
For details see: http://robot.obolibrary.org/validate-profile#profile-violation-error
Use the -vvv option to show the stack trace.
Use the --help option to see usage information.
make: *** [check-rl] Error 1
make: Target `all' not remade because of errors.