Two-Dimensional Description Logics for Context-Based Semantic Interoperability

Authors

  • Szymon Klarman Vrije Universiteit Amsterdam
  • Víctor Gutiérrez-Basulto Universität Bremen

Abstract

Description Logics (DLs) provide a clear and broadly accepted paradigm for modeling and reasoning about terminological knowledge. However, it has been often noted, that although DLs are well-suited for representing a single, global viewpoint on an application domain, they offer no formal grounding for dealing with knowledge pertaining to multiple heterogeneous viewpoints — a scenario ever more often approached in practical applications, e.g. concerned with reasoning over distributed knowledge sources on the Semantic Web. In this paper, we study a natural extension of DLs, in the style of two-dimensional modal logics, which supports declarative modeling of viewpoints as contexts, in the sense of McCarthy, and their semantic interoperability. The formalism is based on two-dimensional semantics, where one dimension represents a usual object domain and the other a (possibly infinite) domain of viewpoints, addressed by additional modal operators and a metalanguage, on the syntactic level. We systematically introduce a number of expressive fragments of the proposed logic, study their computational complexity and connections to related formalisms.

Downloads

Published

2011-08-04

How to Cite

Klarman, S., & Gutiérrez-Basulto, V. (2011). Two-Dimensional Description Logics for Context-Based Semantic Interoperability. Proceedings of the AAAI Conference on Artificial Intelligence, 25(1), 215-220. Retrieved from https://ojs.aaai.org/index.php/AAAI/article/view/7854

Issue

Section

AAAI Technical Track: Knowledge Representation and Reasoning