ROBOT

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

Reduce

ROBOT can be used to remove redundant subClassOf axioms:

robot reduce --reasoner ELK \
  --input ribosome.owl \
  --output results/reduced.owl

See reason for details on supported reasoners (EMR is not supported in reduce).