The authors introduce an algorithm for MinA extraction in EL based on bidirectional reachability. They obtain a significant reduction in the size of modules extracted at almost no additional cost to that of extracting standard reachability-based modules. Bidirectional modules are related to nested locality modules, but are aimed specifically at MinA extraction and are generally smaller. For acyclic EL TBoxes consisting of only primitive concept inclusions, all MinAs can be extracted without the need for subsumption testing
Reference:
Nortje, R, Britz, K and Meyer, T. 2011. Bidirectional reachability-based modules. Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011 2011
Nortje, R., Britz, k., & Meyer, T. (2011). Bidirectional reachability-based modules. Conference Paper. http://hdl.handle.net/10204/5148
Nortje, R, k Britz, and T Meyer. "Bidirectional reachability-based modules." (2011): http://hdl.handle.net/10204/5148