Nortje, RBritz, kMeyer, T2011-09-212011-09-212011-07Nortje, 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 2011http://hdl.handle.net/10204/5148Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011 2011The 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 testingenReachability based modulesBidirectional modulesAlgorithmsConference PresentationNortje, R., Britz, k., & Meyer, T. (2011). Bidirectional reachability-based modules. Conference Paper. http://hdl.handle.net/10204/5148Nortje, R, k Britz, and T Meyer. "Bidirectional reachability-based modules." (2011): http://hdl.handle.net/10204/5148Nortje R, Britz k, Meyer T, Bidirectional reachability-based modules; Conference Paper; 2011. http://hdl.handle.net/10204/5148 .TY - Conference Presentation AU - Nortje, R AU - Britz, k AU - Meyer, T AB - 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 DA - 2011-07 DB - ResearchSpace DP - CSIR KW - Reachability based modules KW - Bidirectional modules KW - Algorithms LK - https://researchspace.csir.co.za PY - 2011 T1 - Bidirectional reachability-based modules TI - Bidirectional reachability-based modules UR - http://hdl.handle.net/10204/5148 ER -