{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,2]],"date-time":"2025-11-02T16:33:41Z","timestamp":1762101221272},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642250729"},{"type":"electronic","value":"9783642250736"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-25073-6_16","type":"book-chapter","created":{"date-parts":[[2011,10,18]],"date-time":"2011-10-18T04:58:08Z","timestamp":1318913888000},"page":"241-256","source":"Crossref","is-referenced-by-count":19,"title":["The Cognitive Complexity of OWL Justifications"],"prefix":"10.1007","author":[{"given":"Matthew","family":"Horridge","sequence":"first","affiliation":[]},{"given":"Samantha","family":"Bail","sequence":"additional","affiliation":[]},{"given":"Bijan","family":"Parsia","sequence":"additional","affiliation":[]},{"given":"Ulrike","family":"Sattler","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"16_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1440","DOI":"10.1007\/978-3-540-88873-4_35","volume-title":"On the Move to Meaningful Internet Systems: OTM 2008","author":"A. Borgida","year":"2008","unstructured":"Borgida, A., Calvanese, D., Rodriguez-Muro, M.: Explanation in the DL-lite family of description logics. In: Chung, S. (ed.) OTM 2008, Part II. LNCS, vol.\u00a05332, pp. 1440\u20131457. Springer, Heidelberg (2008)"},{"key":"16_CR2","unstructured":"Davis, M.: Obvious logical inferences. In: IJCAI-1981 (1981)"},{"key":"16_CR3","doi-asserted-by":"crossref","unstructured":"Horridge, M., Parsia, B.: From justifications towards proofs for ontology engineering. In: KR-2010 (2010)","DOI":"10.1007\/978-3-642-17746-0_23"},{"key":"16_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1007\/978-3-540-88564-1_21","volume-title":"The Semantic Web - ISWC 2008","author":"M. Horridge","year":"2008","unstructured":"Horridge, M., Parsia, B., Sattler, U.: Laconic and Precise Justifications in OWL. In: Sheth, A.P., Staab, S., Dean, M., Paolucci, M., Maynard, D., Finin, T., Thirunarayan, K. (eds.) ISWC 2008. LNCS, vol.\u00a05318, pp. 323\u2013338. Springer, Heidelberg (2008)"},{"key":"16_CR5","unstructured":"Horridge, M., Parsia, B., Sattler, U.: Lemmas for justifications in OWL. In: DL 2009 (2009)"},{"key":"16_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"354","DOI":"10.1007\/978-3-642-17746-0_23","volume-title":"The Semantic Web \u2013 ISWC 2010","author":"M. Horridge","year":"2010","unstructured":"Horridge, M., Parsia, B., Sattler, U.: Justification Oriented Proofs in OWL. In: Patel-Schneider, P.F., Pan, Y., Hitzler, P., Mika, P., Zhang, L., Pan, J.Z., Horrocks, I., Glimm, B. (eds.) ISWC 2010, Part I. LNCS, vol.\u00a06496, pp. 354\u2013369. Springer, Heidelberg (2010)"},{"key":"16_CR7","unstructured":"Johnson-Laird, P.N., Byrne, R.M.J.: Deduction. Psychology Press (1991)"},{"key":"16_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1007\/11762256_15","volume-title":"The Semantic Web: Research and Applications","author":"A. Kalyanpur","year":"2006","unstructured":"Kalyanpur, A., Parsia, B., Sirin, E., Cuenca-Grau, B.: Repairing Unsatisfiable Concepts in OWL Ontologies. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol.\u00a04011, pp. 170\u2013184. Springer, Heidelberg (2006)"},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"Kalyanpur, A., Parsia, B., Sirin, E., Hendler, J.: Debugging unsatisfiable classes in OWL ontologies. Journal of Web Semantics\u00a03(4) (2005)","DOI":"10.1016\/j.websem.2005.09.005"},{"key":"16_CR10","unstructured":"Kazakov, Y.: $\\mathcal{RIQ}$ and $\\mathcal{SROIQ}$ are harder than $\\mathcal{SHOIQ}$ . In: KR 2008. AAAI Press (2008)"},{"key":"16_CR11","unstructured":"Lam, S.C.J.: Methods for Resolving Inconsistencie In Ontologies. PhD thesis, Department of Computer Science, Aberdeen (2007)"},{"key":"16_CR12","unstructured":"Lewis, C.H.: Using the thinking-aloud method in cognitive interface design. Research report RC-9265, IBM (1982)"},{"key":"16_CR13","doi-asserted-by":"crossref","unstructured":"Newstead, S., Brandon, P., Handley, S., Dennis, I., Evans, J.S.B.: Predicting the difficulty of complex logical reasoning problems, vol. 12. Psychology Press (2006)","DOI":"10.1080\/13546780542000023"},{"issue":"10","key":"16_CR14","doi-asserted-by":"publisher","first-page":"954","DOI":"10.1093\/cercor\/11.10.954","volume":"11","author":"L.M. Parsons","year":"2001","unstructured":"Parsons, L.M., Osherson, D.: New evidence for distinct right and left brain systems for deductive versus probabilistic reasoning. Cerebral Cortex\u00a011(10), 954\u2013965 (2001)","journal-title":"Cerebral Cortex"},{"key":"16_CR15","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5680.001.0001","volume-title":"The Psychology of Proof","author":"L.J. Rips","year":"1994","unstructured":"Rips, L.J.: The Psychology of Proof. MIT Press, Cambridge (1994)"},{"key":"16_CR16","doi-asserted-by":"crossref","unstructured":"Roussey, C., Corcho, O., Vilches-Bl\u00e1zquez, L.: A catalogue of OWL ontology antipatterns. In: Proc. of K-CAP-2009, pp. 205\u2013206 (2009)","DOI":"10.1145\/1597735.1597784"},{"key":"16_CR17","doi-asserted-by":"crossref","unstructured":"Strube, G.: The role of cognitive science in knowledge engineering. In: Contemporary Knowledge Engineering and Cognition (1992)","DOI":"10.1007\/BFb0045689"}],"container-title":["Lecture Notes in Computer Science","The Semantic Web \u2013 ISWC 2011"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-25073-6_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,26]],"date-time":"2020-06-26T03:48:09Z","timestamp":1593143289000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-25073-6_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642250729","9783642250736"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-25073-6_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}