Klarman, Szymon and Gutierrez Basulto, Victor ![]() ![]() |
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: | 06 Nov 2023 20:50 |
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 |