In this paper we investigate the module-theoretic properties of bot and top-reachability modules in terms of inseparability relations for the DL SRIQ. We show that, although these modules are not depleting or self-contained, they share the robustness properties of syntactic locality modules and preserve all justifications for an entailment.
Reference:
Nortje, R, Britz, K and Meyer, T. 2013. Module-theoretic properties of reachability modules for SRIQ. In: 26th International Workshop on Description Logics (DL2013), Germany, 23-26 July 2013
Nortje, R., Britz, K., & Meyer, T. (2013). Module-theoretic properties of reachability modules for SRIQ. CAIR (Centre for Artificial Intelligence Research). http://hdl.handle.net/10204/7034
Nortje, R, K Britz, and T Meyer. "Module-theoretic properties of reachability modules for SRIQ." (2013): http://hdl.handle.net/10204/7034
Nortje R, Britz K, Meyer T, Module-theoretic properties of reachability modules for SRIQ; CAIR (Centre for Artificial Intelligence Research); 2013. http://hdl.handle.net/10204/7034 .
