The cognitive complexity of OWL justifications

Authors:
Matthew Horridge;Samantha Bail;Bijan Parsia;Ulrike Sattler
Affiliations:
The University of Manchester, Oxford Road, Manchester;The University of Manchester, Oxford Road, Manchester;The University of Manchester, Oxford Road, Manchester;The University of Manchester, Oxford Road, Manchester
Venue:
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part I
Year:
2011

Citing 8
Cited 2

The Role of Cognitive Science in Knowledge Engineering

Proceedings of the First Joint Workshop on Contemporary Knowledge Engineering and Cognition
Laconic and Precise Justifications in OWL

ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
Explanation in the DL-Lite Family of Description Logics

OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part II on On the Move to Meaningful Internet Systems
A catalogue of OWL ontology antipatterns

Proceedings of the fifth international conference on Knowledge capture
Obvious logical inferences

IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 1
Debugging unsatisfiable classes in OWL ontologies

Web Semantics: Science, Services and Agents on the World Wide Web
Justification oriented proofs in OWL

ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
Repairing unsatisfiable concepts in OWL ontologies

ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications

An empirical perspective on representing time

Proceedings of the seventh international conference on Knowledge capture
Toward cognitive support for OWL justifications

Knowledge-Based Systems

Quantified Score

Hi-index	0.00

Visualization

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.