From slack:

Hi all, I have a question about the use of the materialize command. Let's consider the following axioms:

car SubclassOf has part some wheel
convertible SubclassOf car

I would like to assert the inferred axiom:

convertible SubclassOf has part some wheel

My comprehension is that I should use the materialize command like this: robot materialize -i input.owl --reasoner ELK --term IRI:convertible -o output.owl

However, I don't see any difference between input and output (Robot v1.9.6)