ROBOT

- - - - - - - - - -
view on github
getting started
common errors
chaining commands
global options
makefile
- - - - - - - - - -
annotate
convert
diff
extract
filter
materialize
merge
mirror
query
reason
reduce
relax
remove
repair
report
template
unmerge
validate
verify
- - - - - - - - - -
ROBOT is licensed under the
BSD 3-Clause License.
Theme by orderedlist

Verify

The verify command is used to check an ontology for violations of rules. Each rule is expressed as a SPARQL SELECT query that matches violations of the rule. If the query produces any results, verify will exit with an error message that reports the violations. If the ontology conforms to the rule, the query should find no violations, and the verify command will succeed.

You can use verify in two ways:

  1. --query query-file output-file
  2. --queries query-file-1 query-file-2 … --output-dir some-directory

For example:

robot verify --input asserted-equiv.owl --queries equivalent.sparql --output-dir results/

Should output as a response:

Rule /ontodev/robot/examples/equivalent.sparql: 1 violation(s)
first,second,firstLabel,secondLabel
http://purl.obolibrary.org/obo/TEST_A,http://purl.obolibrary.org/obo/TEST_B,,

And the CSV file results/equivalent.csv should have:

first,second,firstLabel,secondLabel
http://purl.obolibrary.org/obo/TEST_A,http://purl.obolibrary.org/obo/TEST_B,,

Error Messages

Verification Failed

At least one of the query you specifies returned results. The number of failures for each rule will be printed. A CSV file will be generated with the results that matched the rule.

Missing Query Error

You must specify a query to execute with --query or --queries.