Validate Profile

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

• EL
• RL
• QL
• DL
• Full

---

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.