{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,20]],"date-time":"2025-06-20T04:11:10Z","timestamp":1750392670770,"version":"3.41.0"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319620749"},{"type":"electronic","value":"9783319620756"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-62075-6_18","type":"book-chapter","created":{"date-parts":[[2017,6,27]],"date-time":"2017-06-27T14:58:50Z","timestamp":1498575530000},"page":"255-271","source":"Crossref","is-referenced-by-count":4,"title":["Reasoning with Concept Diagrams About Antipatterns in Ontologies"],"prefix":"10.1007","author":[{"given":"Zohreh","family":"Shams","sequence":"first","affiliation":[]},{"given":"Mateja","family":"Jamnik","sequence":"additional","affiliation":[]},{"given":"Gem","family":"Stapleton","sequence":"additional","affiliation":[]},{"given":"Yuri","family":"Sato","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,6,28]]},"reference":[{"key":"18_CR1","unstructured":"The OWL2 web ontology language. https:\/\/www.w3.org\/TR\/owl2-direct-semantics\/ , December 2016"},{"key":"18_CR2","unstructured":"Prot\u00e9g\u00e9: A free, open-source ontology editor. http:\/\/protege.stanford.edu , December 2016"},{"key":"18_CR3","series-title":"International Handbooks on Information Systems","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/978-3-540-92673-3_1","volume-title":"Handbook on Ontologies","author":"F Baader","year":"2009","unstructured":"Baader, F., Horrocks, I., Sattler, U.: Description logics. In: Staab, S., Studer, R. (eds.) Handbook on Ontologies. International Handbooks on Information Systems, pp. 21\u201343. Springer, Heidelberg (2009)"},{"key":"18_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1007\/978-3-540-30475-3_15","volume-title":"The Semantic Web \u2013 ISWC 2004","author":"S Brockmans","year":"2004","unstructured":"Brockmans, S., Volz, R., Eberhart, A., L\u00f6ffler, P.: Visual modeling of OWL DL ontologies using UML. In: McIlraith, S.A., Plexousakis, D., Harmelen, F. (eds.) ISWC 2004. LNCS, vol. 3298, pp. 198\u2013213. Springer, Heidelberg (2004). doi: 10.1007\/978-3-540-30475-3_15"},{"key":"18_CR5","doi-asserted-by":"crossref","unstructured":"Chapman, P., Stapleton, G., Howse, J., Oliver, I.: Deriving sound inference rules for concept diagrams. In: 2011 IEEE Symposium on Visual Languages and Human-Centric Computing, VL\/HCC 2011, pp. 87\u201394. IEEE (2011)","DOI":"10.1109\/VLHCC.2011.6070384"},{"key":"18_CR6","unstructured":"Corcho, \u00d3., Roussey, C., Bl\u00e1zquez, L.M.V., P\u00e9rez, I.: Pattern-based OWL ontology debugging guidelines. In: Proceedings of the Workshop on Ontology Patterns (WOP 2009), vol. 516, CEUR Workshop Proceedings. CEUR-WS.org (2009)"},{"issue":"5","key":"18_CR7","doi-asserted-by":"crossref","first-page":"539","DOI":"10.1016\/j.jvlc.2007.12.003","volume":"19","author":"F Dau","year":"2008","unstructured":"Dau, F., Eklund, P.W.: A diagrammatic reasoning system for the description logic ACL. J. Vis. Lang. Comput. 19(5), 539\u2013573 (2008)","journal-title":"J. Vis. Lang. Comput."},{"key":"18_CR8","doi-asserted-by":"crossref","unstructured":"Gil, J., Howse, J., Kent, S.: Formalizing spider diagrams. In: IEEE Symposium on Visual Languages, pp. 130\u2013137. IEEE Computer Society (1999)","DOI":"10.1109\/VL.1999.795884"},{"key":"18_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1007\/978-3-319-12206-9_30","volume-title":"Conceptual Modeling","author":"G Guizzardi","year":"2014","unstructured":"Guizzardi, G., Sales, T.P.: Detection, simulation and elimination of semantic anti-patterns in ontology-driven conceptual models. In: Yu, E., Dobbie, G., Jarke, M., Purao, S. (eds.) ER 2014. LNCS, vol. 8824, pp. 363\u2013376. Springer, Cham (2014). doi: 10.1007\/978-3-319-12206-9_30"},{"issue":"4","key":"18_CR10","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1006\/jvlc.1999.0130","volume":"10","author":"C Gurr","year":"1999","unstructured":"Gurr, C.: Effective diagrammatic communication: syntactic, semantic and pragmatic issues. J. Vis. Lang. Comput. 10(4), 317\u2013342 (1999)","journal-title":"J. Vis. Lang. Comput."},{"key":"18_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1007\/978-3-642-04388-8_11","volume-title":"Scalable Uncertainty Management","author":"M Horridge","year":"2009","unstructured":"Horridge, M., Parsia, B., Sattler, U.: Explaining inconsistencies in OWL ontologies. In: Godo, L., Pugliese, A. (eds.) SUM 2009. LNCS, vol. 5785, pp. 124\u2013137. Springer, Heidelberg (2009). doi: 10.1007\/978-3-642-04388-8_11"},{"issue":"1","key":"18_CR12","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1016\/j.websem.2003.07.001","volume":"1","author":"I Horrocks","year":"2003","unstructured":"Horrocks, I., Patel-Schneider, P.F., van Harmelen, F.: From SHIQ and RDF to OWL: the making of a web ontology language. J. Web Semant. 1(1), 7\u201326 (2003)","journal-title":"J. Web Semant."},{"key":"18_CR13","doi-asserted-by":"crossref","unstructured":"Hou, T., Chapman, P., Blake, A.: Antipattern comprehension: an empirical evaluation. In: Formal Ontology in Information Systems. Frontiers in Artificial Intelligence, vol. 283, pp. 211\u2013224. IOS Press (2016)","DOI":"10.3233\/978-1-61499-660-6-211"},{"key":"18_CR14","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. LNCS, vol. 7031, pp. 257\u2013272. Springer, Heidelberg (2011). doi: 10.1007\/978-3-642-25073-6_17"},{"key":"18_CR15","unstructured":"Itzik, N., Reinhartz-Berger, I.: SOVA - a tool for semantic and ontological variability analysis. In: Joint Proceedings of the CAiSE 2014 Forum and CAiSE 2014 Doctoral Consortium, vol. 1164, pp. 177\u2013184. CEUR-WS.org (2014)"},{"issue":"4","key":"18_CR16","doi-asserted-by":"crossref","first-page":"399","DOI":"10.3233\/SW-150200","volume":"7","author":"S Lohmann","year":"2016","unstructured":"Lohmann, S., Negru, S., Haag, F., Ertl, T.: Visualizing ontologies with VOWL. Semant. Web 7(4), 399\u2013419 (2016)","journal-title":"Semant. Web"},{"key":"18_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1007\/978-3-540-76298-0_28","volume-title":"The Semantic Web","author":"G Qi","year":"2007","unstructured":"Qi, G., Hunter, A.: Measuring incoherence in description logic-based ontologies. In: Aberer, K., Choi, K.-S., Noy, N., Allemang, D., Lee, K.-I., Nixon, L., Golbeck, J., Mika, P., Maynard, D., Mizoguchi, R., Schreiber, G., Cudr\u00e9-Mauroux, P. (eds.) ASWC\/ISWC -2007. LNCS, vol. 4825, pp. 381\u2013394. Springer, Heidelberg (2007). doi: 10.1007\/978-3-540-76298-0_28"},{"issue":"1","key":"18_CR18","doi-asserted-by":"crossref","first-page":"53","DOI":"10.3758\/s13421-013-0349-y","volume":"42","author":"M Ragni","year":"2014","unstructured":"Ragni, M., Khemlani, S., Johnson-Laird, P.N.: The evaluation of the consistency of quantified assertions. Mem. Cogn. 42(1), 53\u201366 (2014)","journal-title":"Mem. Cogn."},{"key":"18_CR19","unstructured":"Stapleton, G., Howse, J., Chapman, P., Delaney, A., Burton, J., Oliver, I.: Formalizing concept diagrams. In: 19th International Conference on Distributed Multimedia Systems, Visual Languages and Computing, pp. 182\u2013187. Knowledge Systems Institute (2013)"},{"issue":"4","key":"18_CR20","doi-asserted-by":"crossref","first-page":"487","DOI":"10.1007\/s10849-015-9229-0","volume":"24","author":"M Urbas","year":"2015","unstructured":"Urbas, M., Jamnik, M., Stapleton, G.: Speedith: a reasoner for spider diagrams. J. Logic Lang. Inf. 24(4), 487\u2013540 (2015)","journal-title":"J. Logic Lang. Inf."}],"container-title":["Lecture Notes in Computer Science","Intelligent Computer Mathematics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-62075-6_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,20]],"date-time":"2025-06-20T02:43:08Z","timestamp":1750387388000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-62075-6_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319620749","9783319620756"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-62075-6_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}