Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
As noted by @cmungall in #90, this relax step drops introduces a lot of redundant subclass of axioms. The alternative handling would be to continue processing it with reduce. However, as we are continuing to push for our vision of modular ontologies, our goal in the community should be that all our ontologies are publised in their relaxed/reduced format so that application ontology building becomes, in essence, a plug and play exercise. Hence my preference to dropping relax here. If need be we can relax individual sources in the `mirror` phase.
- Loading branch information