Matthew Horridge, Samantha Bail, Bijan Parsia, Ulrike Sattler. The Cognitive Complexity of OWL Justifications. In Riccardo Rosati, Sebastian Rudolph, Michael Zakharyaschev, editors, Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011. Volume 745 of CEUR Workshop Proceedings, CEUR-WS.org, 2011. [doi]
Abstract is missing.