{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,13]],"date-time":"2025-05-13T13:07:51Z","timestamp":1747141671503,"version":"3.40.3"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319074429"},{"type":"electronic","value":"9783319074436"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-07443-6_37","type":"book-chapter","created":{"date-parts":[[2014,5,8]],"date-time":"2014-05-08T22:02:31Z","timestamp":1399586551000},"page":"550-564","source":"Crossref","is-referenced-by-count":14,"title":["The Usability of Description Logics"],"prefix":"10.1007","author":[{"given":"Paul","family":"Warren","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul","family":"Mulholland","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Trevor","family":"Collins","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Enrico","family":"Motta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"37_CR1","unstructured":"Baader, F., Calvanese, D., McGuiness, D., Nardi, D., Patel-Schneider, P.F.: The Description Logic Handbook: Theory, Implementation and Applications. In: CUP (2010)"},{"issue":"6","key":"37_CR2","doi-asserted-by":"publisher","first-page":"372","DOI":"10.1111\/j.1467-9280.1993.tb00584.x","volume":"4","author":"M.I. Bauer","year":"1993","unstructured":"Bauer, M.I., Johnson-Laird, P.N.: How diagrams can improve reasoning. Psychological Science\u00a04(6), 372\u2013378 (1993)","journal-title":"Psychological Science"},{"issue":"2","key":"37_CR3","doi-asserted-by":"publisher","first-page":"468","DOI":"10.1037\/0033-295X.112.2.468","volume":"112","author":"G.P. Goodwin","year":"2005","unstructured":"Goodwin, G.P., Johnson-Laird, P.N.: Reasoning about relations. Psychological Review\u00a0112(2), 468 (2005)","journal-title":"Psychological Review"},{"issue":"2","key":"37_CR4","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1080\/13546780442000033","volume":"10","author":"G.S. Halford","year":"2004","unstructured":"Halford, G.S., Andrews, G.: The development of deductive reasoning: How important is complexity? Thinking & Reasoning\u00a010(2), 123\u2013145 (2004)","journal-title":"Thinking & Reasoning"},{"key":"37_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/978-3-642-25073-6_16","volume-title":"The Semantic Web \u2013 ISWC 2011","author":"M. Horridge","year":"2011","unstructured":"Horridge, M., Bail, S., Parsia, B., Sattler, U.: The cognitive complexity of OWL justifications. In: Aroyo, L., Welty, C., Alani, H., Taylor, J., Bernstein, A., Kagal, L., Noy, N., Blomqvist, E. (eds.) ISWC 2011, Part I. LNCS, vol.\u00a07031, pp. 241\u2013256. Springer, Heidelberg (2011)"},{"key":"37_CR6","unstructured":"Horridge, M., Drummond, N., Goodwin, J., Rector, A., Stevens, R., Wang, H.H.: The manchester owl syntax. OWL: Experiences and Directions, 10\u201311 (2006)"},{"key":"37_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/978-3-642-25073-6_17","volume-title":"The Semantic Web \u2013 ISWC 2011","author":"J. Howse","year":"2011","unstructured":"Howse, J., Stapleton, G., Taylor, K., Chapman, P.: Visualizing ontologies: A case study. In: Aroyo, L., Welty, C., Alani, H., Taylor, J., Bernstein, A., Kagal, L., Noy, N., Blomqvist, E. (eds.) ISWC 2011, Part I. LNCS, vol.\u00a07031, pp. 257\u2013272. Springer, Heidelberg (2011)"},{"issue":"3","key":"37_CR8","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1016\/0749-596X(89)90036-3","volume":"28","author":"P.N. Johnson-Laird","year":"1989","unstructured":"Johnson-Laird, P.N., Byrne, R.M.: Only Reasoning. Journal of Memory and Language\u00a028(3), 313\u2013330 (1989)","journal-title":"Journal of Memory and Language"},{"key":"37_CR9","unstructured":"Johnson-Laird, P.N., Byrne, R.M.: Deduction. Lawrence Erlbaum Associates, Inc. (1991), \n                    \n                      http:\/\/psycnet.apa.org\/psycinfo\/1991-97828-000\n                    \n                    \n                   (retrieved)"},{"issue":"3","key":"37_CR10","doi-asserted-by":"publisher","first-page":"418","DOI":"10.1037\/0033-295X.99.3.418","volume":"99","author":"P.N. Johnson-Laird","year":"1992","unstructured":"Johnson-Laird, P.N., Byrne, R.M., Schaeken, W.: Propositional reasoning by model. Psychological Review\u00a099(3), 418 (1992)","journal-title":"Psychological Review"},{"issue":"4","key":"37_CR11","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1145\/1287620.1287621","volume":"39","author":"A. Katifori","year":"2007","unstructured":"Katifori, A., Halatsis, C., Lepouras, G., Vassilakis, C., Giannopoulou, E.: Ontology visualization methods\u2014a survey. ACM Computing Surveys (CSUR)\u00a039(4), 10 (2007)","journal-title":"ACM Computing Surveys (CSUR)"},{"key":"37_CR12","unstructured":"Khan, M.T., Blomqvist, E.: Ontology design pattern detection-initial method and usage scenarios. In: SEMAPRO 2010, The Fourth International Conference on Advances in Semantic Processing, pp. 19\u201324 (2010), \n                    \n                      http:\/\/www.thinkmind.org\/index.php?view=article&articleid=semapro_2010_1_40_50071\n                    \n                    \n                   (retrieved)"},{"key":"37_CR13","unstructured":"Khemlani, S., Orenes, I., Johnson-Laird, P.N.: Negating compound sentences. Naval Research Lab Washington DC Navy Center for Applied Research in Artificial in\u2121Ligence (2012a), \n                    \n                      http:\/\/mindmodeling.org\/cogsci2012\/papers\/0110\/paper0110.pdf\n                    \n                    \n                   (retrieved)"},{"issue":"5","key":"37_CR14","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1080\/20445911.2012.660913","volume":"24","author":"S. Khemlani","year":"2012","unstructured":"Khemlani, S., Orenes, I., Johnson-Laird, P.N.: Negation: A theory of its meaning, representation, and use. Journal of Cognitive Psychology\u00a024(5), 541\u2013559 (2012b)","journal-title":"Journal of Cognitive Psychology"},{"issue":"1","key":"37_CR15","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1111\/j.1551-6708.1987.tb00863.x","volume":"11","author":"J.H. Larkin","year":"1987","unstructured":"Larkin, J.H., Simon, H.A.: Why a diagram is (sometimes) worth ten thousand words. Cognitive Science\u00a011(1), 65\u2013100 (1987)","journal-title":"Cognitive Science"},{"key":"37_CR16","unstructured":"Motik, B., Grau, B., Horrocks, I., Wu, Z., Fokoue, A., Carsten, L.: OWL 2 Web Ontology Language Profiles, 2nd edn. W3C (2012), \n                    \n                      http:\/\/www.w3.org\/TR\/2012\/REC-owl2-profiles-20121211\/\n                    \n                    \n                   (retrieved)"},{"issue":"1","key":"37_CR17","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1080\/13546780542000023","volume":"12","author":"S.E. Newstead","year":"2006","unstructured":"Newstead, S.E., Bradon, P., Handley, S.J., Dennis, I., Evans, J.S.B.: Predicting the difficulty of complex logical reasoning problems. Thinking & Reasoning\u00a012(1), 62\u201390 (2006)","journal-title":"Thinking & Reasoning"},{"key":"37_CR18","unstructured":"Nguyen, Power, Piwek, Williams: Measuring the understandability of deduction rules for OWL. Presented at the First International Workshop on Debugging Ontologies and Ontology Mappings, Galway, Ireland (2012), \n                    \n                      http:\/\/oro.open.ac.uk\/34591\/\n                    \n                    \n                   (retrieved )"},{"key":"37_CR19","unstructured":"Power, R.: Complexity assumptions in ontology verbalisation. In: Proceedings of the ACL 2010 Conference Short Papers, pp. 132\u2013136 (2010), \n                    \n                      http:\/\/dl.acm.org\/citation.cfm?id=1858866\n                    \n                    \n                   (retrieved)"},{"key":"37_CR20","unstructured":"Power, R., Third, A.: Expressing OWL axioms by English sentences: dubious in theory, feasible in practice. In: Proceedings of the 23rd International Conference on Computational Linguistics: Posters, pp. 1006\u20131013 (2010), \n                    \n                      http:\/\/dl.acm.org\/citation.cfm?id=1944682\n                    \n                    \n                   (retrieved)"},{"key":"37_CR21","doi-asserted-by":"crossref","unstructured":"Rector, A., Drummond, N., Horridge, M., Rogers, J., Knublauch, H., Stevens, R., Wroe, C.: OWL pizzas: Practical experience of teaching OWL-DL: Common errors & common patterns. In: Engineering Knowledge in the Age of the Semantic Web, pp. 63\u201381. Springer (2004), \n                    \n                      http:\/\/link.springer.com\/chapter\/10.1007\/978-3-540-30202-5_5\n                    \n                    \n                   (retrieved)","DOI":"10.1007\/978-3-540-30202-5_5"},{"issue":"1","key":"37_CR22","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1037\/0033-295X.90.1.38","volume":"90","author":"L.J. Rips","year":"1983","unstructured":"Rips, L.J.: Cognitive processes in propositional reasoning. Psychological Review\u00a090(1), 38 (1983)","journal-title":"Psychological Review"},{"key":"37_CR23","unstructured":"Warren, P.: Ontology Users\u2019 Survey - Summary of Results (KMi Tech Report No. kmi-13-01) (2013), \n                    \n                      http:\/\/kmi.open.ac.uk\/publications\/pdf\/kmi-13-01.pdf\n                    \n                    \n                   (retrieved)"},{"issue":"3","key":"37_CR24","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1080\/09541440902830509","volume":"22","author":"T.A. Zielinski","year":"2010","unstructured":"Zielinski, T.A., Goodwin, G.P., Halford, G.S.: Complexity of categorical syllogisms: An integration of two metrics. European Journal of Cognitive Psychology\u00a022(3), 391\u2013421 (2010)","journal-title":"European Journal of Cognitive Psychology"}],"container-title":["Lecture Notes in Computer Science","The Semantic Web: Trends and Challenges"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-07443-6_37","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,26]],"date-time":"2019-05-26T15:36:39Z","timestamp":1558884999000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-07443-6_37"}},"subtitle":["Understanding the Cognitive Difficulties Presented by Description Logics"],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319074429","9783319074436"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-07443-6_37","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}