Copy the page URI to the clipboard
Warren, Paul; Mulholland, Paul; Collins, Trevor and Motta, Enrico
(2017).
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
Download history
Metrics
Public Attention
Altmetrics from AltmetricNumber of Citations
Citations from DimensionsItem Actions
Export
About
- Item ORO ID
- 51116
- 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 or 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)
- Depositing User
- Paul Mulholland