Description logics of context

Klarman, Szymon and Gutierrez Basulto, Victor ORCID: https://orcid.org/0000-0002-6117-5459 2016. Description logics of context. Journal of Logic and Computation 26 (3) , pp. 817-854. 10.1093/logcom/ext011

Preview

PDF - Accepted Post-Print Version Download (1MB) | Preview

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 forumla . As an interesting corollary, we show that under certain conditions this result holds also for a range of two-dimensional DLs, including the prominent forumla .

Item Type:	Article
Date Type:	Publication
Status:	Published
Schools:	Computer Science & Informatics
Publisher:	Oxford University Press
ISSN:	0955-792X
Date of First Compliant Deposit:	4 June 2018
Date of Acceptance:	28 May 2013
Last Modified:	02 Dec 2024 22:30
URI:	https://orca.cardiff.ac.uk/id/eprint/111925

Citation Data

Cited 21 times in Scopus. View in Scopus. Powered By Scopus® Data

Actions (repository staff only)

Edit Item