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
Occurs when a
--profile option is not provided.
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.
Occurs when the
--input ontology does not conform to the
--profile. See the profile descriptions for more details.