The Cognitive Complexity of OWL Justifications

  • Matthew Horridge
  • Samantha Bail
  • Bijan Parsia
  • Ulrike Sattler
Conference paper

DOI: 10.1007/978-3-642-25073-6_16

Part of the Lecture Notes in Computer Science book series (LNCS, volume 7031)
Cite this paper as:
Horridge M., Bail S., Parsia B., Sattler U. (2011) The Cognitive Complexity of OWL Justifications. In: Aroyo L. et al. (eds) The Semantic Web – ISWC 2011. ISWC 2011. Lecture Notes in Computer Science, vol 7031. Springer, Berlin, Heidelberg

Abstract

In this paper, we present an approach to determining the cognitive complexity of justifications for entailments of OWL ontologies. We introduce a simple cognitive complexity model and present the results of validating that model via experiments involving OWL users. The validation is based on test data derived from a large and diverse corpus of naturally occurring justifications. Our contributions include validation for the cognitive complexity model, new insights into justification complexity, a significant corpus with novel analyses of justifications suitable for experimentation, and an experimental protocol suitable for model validation and refinement.

Download to read the full conference paper text

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Matthew Horridge
    • 1
  • Samantha Bail
    • 1
  • Bijan Parsia
    • 1
  • Ulrike Sattler
    • 1
  1. 1.The University of ManchesterManchesterUK

Personalised recommendations