The Open UniversitySkip to content
 

Using Insights from Psychology and Language to Improve How People Reason with Description Logics

Warren, Paul; Mulholland, Paul; Collins, Trevor and Motta, Enrico (2017). Using Insights from Psychology and Language to Improve How People Reason with Description Logics. In: The Semantic Web. ESWC 2017. Lecture Notes in Computer Science, vol 10249. (Blomqvist, E.; Maynard, D.; Gangemi, A.; Hoekstra, R.; Hitzler, P. and Hartig, O. eds.), Springer, Cham, pp. 465–481.

Full text available as:
[img]
Preview
PDF (Accepted Manuscript) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
Download (728kB) | Preview
DOI (Digital Object Identifier) Link: https://doi.org/10.1007/978-3-319-58068-5_29
Google Scholar: Look up in Google Scholar

Abstract

Inspired by insights from theories of human reasoning and language, we propose additions to the Manchester OWL Syntax to improve comprehensibility. These additions cover: functional and inverse functional properties, negated conjunction, the definition of exceptions, and existential and universal restrictions. By means of an empirical study, we demonstrate the effectiveness of a number of these additions, in particular: the use of solely to clarify the uniqueness of the object in a functional property; the replacement of and with intersection in conjunction, which was particularly beneficial in negated conjunction; the use of except as a substitute for and not; and the replacement of some with including and only with noneOrOnly, which helped in certain situations to clarify the nature of these restrictions.

Item Type: Conference or Workshop Item
ISBN: 3-319-58068-X, 978-3-319-58068-5
ISSN: 0302-9743
Keywords: Description Logic; Human reasoning; Empirical study
Academic Unit/School: Faculty of Science, Technology, Engineering and Mathematics (STEM) > Knowledge Media Institute (KMi)
Faculty of Science, Technology, Engineering and Mathematics (STEM)
Research Group: Centre for Research in Computing (CRC)
Item ID: 51116
Depositing User: Paul Mulholland
Date Deposited: 29 Sep 2017 14:21
Last Modified: 11 Jun 2018 10:53
URI: http://oro.open.ac.uk/id/eprint/51116
Share this page:

Metrics

Altmetrics from Altmetric

Citations from Dimensions

Download history for this item

These details should be considered as only a guide to the number of downloads performed manually. Algorithmic methods have been applied in an attempt to remove automated downloads from the displayed statistics but no guarantee can be made as to the accuracy of the figures.

Actions (login may be required)

Policies | Disclaimer

© The Open University   contact the OU