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
Available options for
--preserve-annotated-axioms: if set to true, axioms that have axiom annotations will not be removed, even if found to be redundant (default
--named-classes-only: if set to true, only subclass axioms between named classes will be checked for redundancy. Anonymous class expressions will be ignored (default
Reciprocal subclass axioms (e.g.
A SubClassOf B,
B SubClassOf A), entailing equivalence between
B, may be removed by
reduce. In this case it is important to
assert an equivalence axiom (
A EquivalentTo B) using the
reason command before running reduce.