ROBOT

- - - - - - - - - -
view on github
usage
common errors
chaining commands
global options
makefile
- - - - - - - - - -
annotate
convert
diff
extract
filter
materialize
merge
mirror
query
reason
reduce
relax
repair
report
template
unmerge
validate
verify
- - - - - - - - - -
ROBOT is licensed under the
BSD 3-Clause License.
Theme by orderedlist

Materialize

Robot can materialize all parent superclass and superclass expressions using the expression materializing reasoner, which wraps an existing OWL Reasoner

robot materialize --reasoner ELK \
  --input emr_example.obo \
  --term BFO:0000050  \
  --output results/emr_output.obo

This operation is similar to the reason command, but will also assert parents of the form P some D, for all P in the set passed in via --term

This can be chained with remove (by specifying a set of properties to keep, then selecing the complement properties of that set) and reduce to create a complete ontology subset:

robot materialize --reasoner ELK \
  --input emr_example.obo \
  remove --term BFO:0000050 --trim true \
  --select complement --select object-properties \
  reduce --output results/emr_reduced.obo

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