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:
PDF (Accepted Manuscript) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
Download (728kB) | Preview
DOI (Digital Object Identifier) Link:
Google Scholar: Look up in Google Scholar


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: 24 Jun 2019 20:00
Share this page:


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