The Open UniversitySkip to content
 

Improving comprehension of Knowledge Representation languages: a case study with Description Logics

Warren, Paul; Mulholland, Paul; Collins, Trevor and Motta, Enrico (2018). Improving comprehension of Knowledge Representation languages: a case study with Description Logics. International Journal of Human-Computer Studies (Early Access).

Full text available as:
Full text not publicly available (Accepted Manuscript)
Due to publisher licensing restrictions, this file is not available for public download until 14 September 2019
Click here to request a copy from the OU Author.
DOI (Digital Object Identifier) Link: https://doi.org/10.1016/j.ijhcs.2018.08.009
Google Scholar: Look up in Google Scholar

Abstract

Knowledge representation languages are frequently difficult to understand, particularly for those not trained in formal logic. This is the case for Description Logics, which have been adopted for knowledge representation on the Web and in a number of application areas. This work looks at the difficulties experienced with Description Logics; and in particular with the widely-used Manchester OWL Syntax, which employs natural language keywords. The work comprises three studies. The first two identify a number of difficulties which users experience, e.g. with negated intersection, functional properties, the use of subproperties and restrictions. Insights from cognitive psychology and the study of language are applied to understand these difficulties. Whilst these difficulties are in part inherent in reasoning about logic, and Description Logics in particular, they are made worse by the syntax. In the third study, alternative syntactic constructs are proposed which demonstrate some improvement in accuracy and efficiency of comprehension. In addition to proposing alternative syntactic constructs, the work makes some suggestions regarding training and support systems for Description Logics.

Item Type: Journal Item
Copyright Holders: 2018 Elsevier B.V.
ISSN: 1071-5819
Academic Unit/School: Faculty of Science, Technology, Engineering and Mathematics (STEM) > Knowledge Media Institute (KMi)
Faculty of Science, Technology, Engineering and Mathematics (STEM)
Item ID: 56672
Depositing User: ORO Import
Date Deposited: 19 Sep 2018 13:04
Last Modified: 08 Dec 2018 04:19
URI: http://oro.open.ac.uk/id/eprint/56672
Share this page:

Metrics

Altmetrics from Altmetric

Citations from Dimensions

Actions (login may be required)

Policies | Disclaimer

© The Open University   contact the OU