Klarman, SGutierrez-Basulto, V2013-07-022013-07-022013-05Klarman, S and Gutierrez-Basulto, V. 2013. Description logics of context. Journal of Logic and Computation, pp 1-470955-792Xhttp://logcom.oxfordjournals.org/content/early/2013/05/28/logcom.ext011.shorthttp://hdl.handle.net/10204/6851Copyright: 2013 Oxford University Press. This is an ABSTRACT ONLY. The definitive version is published in Journal of Logic and Computation, pp 1-47We introduce Description Logics of Context (DLCs) - an extension of Description Logics (DLs) for context-based reasoning. Our approach descends from J. McCarthy's tradition of treating contexts as formal objects over which one can quantify and express first-order properties. DLCs are founded in two-dimensional possible world semantics, where one dimension represents a usual object domain and the other a domain of contexts, and accommodate two interacting DL languages - the object and the context language - interpreted over their respective domains. Effectively, DLCs comprise a family of two-sorted, two-dimensional combinations of pairs of DLs. We argue that this setup ensures a well-grounded, generic framework for capturing and studying mechanisms of contextualization in the DL paradigm. As the main technical contribution, we prove 2ExpTime-completeness of the satisfiability problem in the maximally expressive DLC, based on the DL SHIO. As an interesting corollary, we show that under certain conditions this result holds also for a range of two-dimensional DLs, including the prominent (Kn)ALC.enDescription Logics of ContextDLCsContext-based reasoningComplexityArticleKlarman, S., & Gutierrez-Basulto, V. (2013). Description logics of context. http://hdl.handle.net/10204/6851Klarman, S, and V Gutierrez-Basulto "Description logics of context." (2013) http://hdl.handle.net/10204/6851Klarman S, Gutierrez-Basulto V. Description logics of context. 2013; http://hdl.handle.net/10204/6851.TY - Article AU - Klarman, S AU - Gutierrez-Basulto, V AB - We introduce Description Logics of Context (DLCs) - an extension of Description Logics (DLs) for context-based reasoning. Our approach descends from J. McCarthy's tradition of treating contexts as formal objects over which one can quantify and express first-order properties. DLCs are founded in two-dimensional possible world semantics, where one dimension represents a usual object domain and the other a domain of contexts, and accommodate two interacting DL languages - the object and the context language - interpreted over their respective domains. Effectively, DLCs comprise a family of two-sorted, two-dimensional combinations of pairs of DLs. We argue that this setup ensures a well-grounded, generic framework for capturing and studying mechanisms of contextualization in the DL paradigm. As the main technical contribution, we prove 2ExpTime-completeness of the satisfiability problem in the maximally expressive DLC, based on the DL SHIO. As an interesting corollary, we show that under certain conditions this result holds also for a range of two-dimensional DLs, including the prominent (Kn)ALC. DA - 2013-05 DB - ResearchSpace DP - CSIR KW - Description Logics of Context KW - DLCs KW - Context-based reasoning KW - Complexity LK - https://researchspace.csir.co.za PY - 2013 SM - 0955-792X T1 - Description logics of context TI - Description logics of context UR - http://hdl.handle.net/10204/6851 ER -