Description logics of context

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.

Ontologies and Data Management: A Brief Survey

“…Here we list a few examples and refrain from a detailed discussion. Learning (ontologies and queries): see the survey [ 313 ] Privacy management: see [ 102 , 306 , 367 ] Stream reasoning with ontologies and/or (temporal) rules: see [ 92 , 318 , 338 ] Abstraction refinement for ontology materialization: see [ 87 , 174 ] DLs of context: see [ 68 , 78 , 227 , 355 ] Interactive query formulation and answering: see [ 10 , 12 , 164 , 360 , 361 ] Relaxations of query answering semantics: see [ 146 , 147 ] Ranking OMQ answers: see [ 368 ] …”

Automated Reasoning in Deontic Logic

“…Note that ϕ(N ) does not yet contain the translation of the seriality axiom. As shown in [12] the seriality axiom can be translated into the following TBox:…”

Towards adaptive normative systems for communities of agents

“…We have presented here a mechanism that can achieve it, avoiding the usage of too heavy mechanisms like the description logics of context [9], for example.…”

“…Description logics, as a foundation for describing ontologies, can also capture context [9], although the mechanism is quite complex. To cover the many situations that may arise a combination of deductive rules and description logics [14] has shown how such a hybrid can satisfy requirements from industry.…”