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: | 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 |
Dimensions
Dimensions