Description logics of context
- Submitting institution
-
Cardiff University / Prifysgol Caerdydd
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 96911090
- Type
- D - Journal article
- DOI
-
10.1093/logcom/ext011
- Title of journal
- Journal of Logic and Computation
- Article number
- -
- First page
- 817
- Volume
- 26
- Issue
- 3
- ISSN
- 0955-792X
- Open access status
- Out of scope for open access requirements
- Month of publication
- June
- Year of publication
- 2016
- URL
-
http://dx.doi.org/10.1093/logcom/ext011
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
1
- Research group(s)
-
A - Artificial intelligence and data analytics
- Citation count
- 7
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- This paper proposes an entirely new approach in description logics to represent and reason about context-aware knowledge, based on J. McCarthy’s tradition of treating context as formal objects. The proposed framework is founded in two-dimensional combinations of logics, providing capabilities to describe contexts and their interaction with objects from the application domain. Our approach has served as the basis for the development of approaches for role-based systems (http://d-nb.info/1169763545, https://doi.org/10.1007/978-3-319-70682-5_5), reasoning with actions (https://doi.org/10.29007/s7cm) and preferential reasoning (https://doi.org/10.1007/s10472-019-09658-2).
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -