Module-theoretic properties of reachability modules for SRIQ

Nortje, RBritz, KMeyer, T2013-11-062013-11-062013-07Nortje, 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 2013http://www.cair.za.net/sites/default/files/outputs/DL2013.pdfhttp://hdl.handle.net/10204/703426th International Workshop on Description Logics (DL2013), Germany, 23-26 July 2013In 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.enOntologiesModularizationDescription logicsModule-theoretic properties of reachability modules for SRIQConference PresentationNortje, 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/7034Nortje, R, K Britz, and T Meyer. "Module-theoretic properties of reachability modules for SRIQ." (2013): http://hdl.handle.net/10204/7034Nortje 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 .TY - Conference Presentation AU - Nortje, R AU - Britz, K AU - Meyer, T AB - 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. DA - 2013-07 DB - ResearchSpace DP - CSIR KW - Ontologies KW - Modularization KW - Description logics LK - https://researchspace.csir.co.za PY - 2013 T1 - Module-theoretic properties of reachability modules for SRIQ TI - Module-theoretic properties of reachability modules for SRIQ UR - http://hdl.handle.net/10204/7034 ER -