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

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).