dc.contributor.author |
Klarman, S
|
|
dc.contributor.author |
Gutierrez-Basulto, V
|
|
dc.date.accessioned |
2013-07-02T12:30:40Z |
|
dc.date.available |
2013-07-02T12:30:40Z |
|
dc.date.issued |
2013-05 |
|
dc.identifier.citation |
Klarman, S and Gutierrez-Basulto, V. 2013. Description logics of context. Journal of Logic and Computation, pp 1-47 |
en_US |
dc.identifier.issn |
0955-792X |
|
dc.identifier.uri |
http://logcom.oxfordjournals.org/content/early/2013/05/28/logcom.ext011.short
|
|
dc.identifier.uri |
http://hdl.handle.net/10204/6851
|
|
dc.description |
Copyright: 2013 Oxford University Press. This is an ABSTRACT ONLY. The definitive version is published in Journal of Logic and Computation, pp 1-47 |
en_US |
dc.description.abstract |
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. |
en_US |
dc.language.iso |
en |
en_US |
dc.publisher |
Oxford University Press |
en_US |
dc.relation.ispartofseries |
Workflow;11155 |
|
dc.subject |
Description Logics of Context |
en_US |
dc.subject |
DLCs |
en_US |
dc.subject |
Context-based reasoning |
en_US |
dc.subject |
Complexity |
en_US |
dc.title |
Description logics of context |
en_US |
dc.type |
Article |
en_US |
dc.identifier.apacitation |
Klarman, S., & Gutierrez-Basulto, V. (2013). Description logics of context. http://hdl.handle.net/10204/6851 |
en_ZA |
dc.identifier.chicagocitation |
Klarman, S, and V Gutierrez-Basulto "Description logics of context." (2013) http://hdl.handle.net/10204/6851 |
en_ZA |
dc.identifier.vancouvercitation |
Klarman S, Gutierrez-Basulto V. Description logics of context. 2013; http://hdl.handle.net/10204/6851. |
en_ZA |
dc.identifier.ris |
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 -
|
en_ZA |