ROBOT

- - - - - - - - - -
view on github
usage
common errors
chaining commands
prefixes
makefile
- - - - - - - - - -
annotate
convert
diff
extract
filter
materialize
merge
mirror
query
reason
reduce
relax
repair
report
template
unmerge
validate
verify
- - - - - - - - - -

Validate

OWL 2 has a number of profiles that strike different balances between expressive power and reasoning efficiency. ROBOT can validate an input ontology against a profile (EL, DL, RL, QL, and Full) and generate a report. For example:

robot validate-profile --profile EL \
  --input merged.owl \
  --output results/merged-validation.txt

Profiles


Error Messages

Missing Profile Error

Occurs when a --profile option is not provided.

Invalid Profile Error

Occurs when the argument to --profile is not one of the following: EL, DL, RL, QL, or Full. See the above documentation for more details.

Profile Violation Error

Occurs when the --input ontology does not conform to the --profile. See the profile descriptions for more details.