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.

DOI: https://doi.org/10.1007/978-3-319-58068-5_29

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.

Viewing alternatives

Metrics

Item Actions

Export

You can export this page using these formats Digital Object Identifier - DOI