Update reason docs
@@ -84,12 +84,12 @@ robot reason --input unreasoned.owl
If you are only passing one axiom generator, it does not need to be surrounded by double quotes.
-The axioms that are generated for subclasses, class assertions, and sub-object properties can be either direct or indirect. By default, the operation will only generate direct axioms (`--include-indirect false`). For example, to generate all direct and indirect class assertions:
+The axioms that are generated for subclasses, class assertions, and sub-object properties can be either direct or indirect. By default, the operation will only generate direct axioms (`--include-indirect false`). It is recommended to pipe to `reduce` after to remove any redundant axioms. For example, to generate all direct and indirect superclass expressions:
```
robot reason --input unreasoned.owl
- --axiom-generators ClassAssertion
+ --reasoner emr
--include-indirect true
- --output reasoned.owl
+ reduce --output reasoned.owl
```
---
