Show simple item record

dc.contributor.authorStapleton, Gemmelia
dc.contributor.authorAlharbi, Eisa
dc.contributor.authorHowse, John
dc.contributor.authorHamie, Ali
dc.contributor.authorTouloumi, Anestis
dc.date.accessioned2020-04-09T23:30:17Z
dc.date.available2020-04-09T23:30:17Z
dc.date.issued2017-10-14
dc.identifier.urihttps://www.repository.cam.ac.uk/handle/1810/304237
dc.description.abstractOWL is recognized as the de facto standard notation for on- tology engineering. The Manchester OWL Syntax (MOS) was developed as an alternative to symbolic description logic (DL) and it is believed to be more e ective for users. This paper sets out to test that belief from two perspectives by evaluating how accurately and quickly people understand the informational content of axioms and derive inferences from them. By conducting a between-group empirical study, involving 60 novice participants, we found that DL is just as e ective as MOS for people's understanding of axioms. Moreover, for two types of inference problems, DL supported signi cantly better task performance than MOS, yet MOS never signi cantly outperformed DL. These surprising results suggest that the belief that MOS is more e ective than DL, at least for these types of task, is unfounded. An outcome of this research is the suggestion that ontology axioms, when presented to non-experts, may be better presented in DL rather than MOS. Further empirical studies are needed to explain these unexpected results and to see whether they hold for other types of task.
dc.rightsAll rights reserved
dc.titleThe Efficacy of OWL and DL on User Understanding of Axioms and Their Entailments
dc.typeConference Object
prism.publicationDate2017
prism.publicationNameThe 16th International Semantic Web Conference, 2017, pages 20-36, Springer, 2017.
dc.identifier.doi10.17863/CAM.51317
dcterms.dateAccepted2017-07-14
rioxxterms.versionofrecord10.17863/CAM.51317
rioxxterms.versionAM
rioxxterms.licenseref.urihttp://www.rioxx.net/licenses/all-rights-reserved
rioxxterms.licenseref.startdate2017-10-14
dc.contributor.orcidStapleton, Gem [0000-0002-6567-6752]
rioxxterms.typeConference Paper/Proceeding/Abstract
cam.orpheus.successThu Nov 05 11:52:49 GMT 2020 - Embargo updated
rioxxterms.freetoread.startdate2018-10-14


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record