The Efficacy of OWL and DL on User Understanding of Axioms and Their Entailments

Eisa Alharbi, John Howse, Gem Stapleton, Ali Hamie, Anestis Touloumis

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBNResearchpeer-review

Abstract

OWL 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 eective 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 eective 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 eective 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.
Original languageEnglish
Title of host publicationISWC2017 The 16th International Semantic Web Conference
Place of PublicationVienna
PublisherSpringer
Pages20-36
Number of pages17
ISBN (Print)9783319682877
Publication statusPublished - 4 Oct 2017
EventISWC2017 The 16th International Semantic Web Conference - Vienna, Austria, 21-25 October 2017
Duration: 4 Oct 2017 → …

Publication series

NameLecture Notes in Computer Science

Conference

ConferenceISWC2017 The 16th International Semantic Web Conference
Period4/10/17 → …

Fingerprint

Ontology

Bibliographical note

The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-68288-4_2

Keywords

  • ontologies
  • OWL
  • DL
  • Manchester OWL Syntax
  • usability

Cite this

Alharbi, E., Howse, J., Stapleton, G., Hamie, A., & Touloumis, A. (2017). The Efficacy of OWL and DL on User Understanding of Axioms and Their Entailments. In ISWC2017 The 16th International Semantic Web Conference (pp. 20-36). (Lecture Notes in Computer Science). Vienna: Springer.
Alharbi, Eisa ; Howse, John ; Stapleton, Gem ; Hamie, Ali ; Touloumis, Anestis. / The Efficacy of OWL and DL on User Understanding of Axioms and Their Entailments. ISWC2017 The 16th International Semantic Web Conference. Vienna : Springer, 2017. pp. 20-36 (Lecture Notes in Computer Science).
@inproceedings{cb209090294e4bd792c8759ca098c23d,
title = "The Efficacy of OWL and DL on User Understanding of Axioms and Their Entailments",
abstract = "OWL 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 eective 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 eective 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 eective 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.",
keywords = "ontologies, OWL, DL, Manchester OWL Syntax, usability",
author = "Eisa Alharbi and John Howse and Gem Stapleton and Ali Hamie and Anestis Touloumis",
note = "The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-68288-4_2",
year = "2017",
month = "10",
day = "4",
language = "English",
isbn = "9783319682877",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "20--36",
booktitle = "ISWC2017 The 16th International Semantic Web Conference",

}

Alharbi, E, Howse, J, Stapleton, G, Hamie, A & Touloumis, A 2017, The Efficacy of OWL and DL on User Understanding of Axioms and Their Entailments. in ISWC2017 The 16th International Semantic Web Conference. Lecture Notes in Computer Science, Springer, Vienna, pp. 20-36, ISWC2017 The 16th International Semantic Web Conference, 4/10/17.

The Efficacy of OWL and DL on User Understanding of Axioms and Their Entailments. / Alharbi, Eisa; Howse, John; Stapleton, Gem; Hamie, Ali; Touloumis, Anestis.

ISWC2017 The 16th International Semantic Web Conference. Vienna : Springer, 2017. p. 20-36 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBNResearchpeer-review

TY - GEN

T1 - The Efficacy of OWL and DL on User Understanding of Axioms and Their Entailments

AU - Alharbi, Eisa

AU - Howse, John

AU - Stapleton, Gem

AU - Hamie, Ali

AU - Touloumis, Anestis

N1 - The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-68288-4_2

PY - 2017/10/4

Y1 - 2017/10/4

N2 - OWL 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 eective 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 eective 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 eective 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.

AB - OWL 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 eective 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 eective 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 eective 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.

KW - ontologies

KW - OWL

KW - DL

KW - Manchester OWL Syntax

KW - usability

M3 - Conference contribution with ISSN or ISBN

SN - 9783319682877

T3 - Lecture Notes in Computer Science

SP - 20

EP - 36

BT - ISWC2017 The 16th International Semantic Web Conference

PB - Springer

CY - Vienna

ER -

Alharbi E, Howse J, Stapleton G, Hamie A, Touloumis A. The Efficacy of OWL and DL on User Understanding of Axioms and Their Entailments. In ISWC2017 The 16th International Semantic Web Conference. Vienna: Springer. 2017. p. 20-36. (Lecture Notes in Computer Science).