{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,30]],"date-time":"2023-09-30T01:19:58Z","timestamp":1696036798120},"reference-count":71,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2010,10,19]],"date-time":"2010-10-19T00:00:00Z","timestamp":1287446400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Knowl Inf Syst"],"published-print":{"date-parts":[[2011,11]]},"DOI":"10.1007\/s10115-010-0350-8","type":"journal-article","created":{"date-parts":[[2010,10,18]],"date-time":"2010-10-18T11:22:25Z","timestamp":1287400945000},"page":"349-378","source":"Crossref","is-referenced-by-count":9,"title":["Knowledge visualization for evaluation tasks"],"prefix":"10.1007","volume":"29","author":[{"given":"Joachim","family":"Baumeister","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martina","family":"Freiberg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2010,10,19]]},"reference":[{"issue":"1","key":"350_CR1","doi-asserted-by":"crossref","first-page":"39","DOI":"10.3233\/AIC-1994-7104","volume":"7","author":"A Aamodt","year":"1994","unstructured":"Aamodt A, Plaza E (1994) Case-based reasoning: foundational issues, methodological variations, and system approaches. AI Commun 7(1): 39\u201359","journal-title":"AI Commun"},{"key":"350_CR2","volume-title":"Knowledge engineering, vol I: fundamentals","author":"H Adeli","year":"1990","unstructured":"Adeli H (1990) Knowledge engineering, vol I: fundamentals. McGraw-Hill Inc., New York"},{"issue":"6","key":"350_CR3","doi-asserted-by":"crossref","first-page":"509","DOI":"10.1109\/TC.1978.1675141","volume":"27","author":"S Akers","year":"1978","unstructured":"Akers S (1978) Binary decision diagrams. IEEE Trans Comput 27(6): 509\u2013516","journal-title":"IEEE Trans Comput"},{"key":"350_CR4","volume-title":"Validation, verification and test of knowledge-based systems","author":"M Ayel","year":"1991","unstructured":"Ayel M, Laurent JP (1991) Validation, verification and test of knowledge-based systems. Wiley, London"},{"key":"350_CR5","unstructured":"Baumeister J (2009) Advanced measures for empirical testing. In: FLAIRS\u201909: proceedings of the 22th international Florida artificial intelligence research society conference. AAAI Press, pp 378\u2013383"},{"key":"350_CR6","unstructured":"Baumeister J, Bregenzer J, Puppe F (2006) Gray box robustness testing of rule systems. In: KI\u201906: proceedings of the 29th annual German conference on artificial intelligence. LNAI 4314. Springer, pp 346\u2013360"},{"key":"350_CR7","unstructured":"Baumeister J, Menge M, Puppe F (2008) Visualization techniques for the evaluation of knowledge systems. In: FLAIRS\u201908: proceedings of the 21th international Florida artificial intelligence research society conference. AAAI Press, pp 329\u2013334"},{"key":"350_CR8","doi-asserted-by":"crossref","unstructured":"Baumeister J, Reutelshoefer J, Puppe F (2010) KnowWE: a semantic wiki for knowledge engineering. Appl Intell. doi: 10.1007\/s10489-010-0224-5","DOI":"10.1007\/s10489-010-0224-5"},{"key":"350_CR9","unstructured":"Baumeister J, Seipel D (2005) Smelly owls\u2014design anomalies in ontologies. In: FLAIRS\u201905: proceedings of the 18th international Florida artificial intelligence research society conference. AAAI Press, pp 215\u2013220"},{"key":"350_CR10","doi-asserted-by":"crossref","unstructured":"Baumeister J, Seipel D (2006) Verification and refactoring of ontologies with rules. In: EKAW\u201906: proceedings of the 15th international conference on knowledge engineering and knowledge management, LNAI 4248. Springer, Berlin, pp 82\u201395","DOI":"10.1007\/11891451_11"},{"issue":"1","key":"350_CR11","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1016\/j.websem.2009.12.003","volume":"8","author":"J Baumeister","year":"2010","unstructured":"Baumeister J, Seipel D (2010) Anomalies in ontologies with rules. Web Semant Sci Serv Agents World Wide Web 8(1): 55\u201368","journal-title":"Web Semant Sci Serv Agents World Wide Web"},{"issue":"Suppl Issue 2","key":"350_CR12","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1142\/S0218488503002429","volume":"11","author":"J Baumeister","year":"2003","unstructured":"Baumeister J, Seipel D, Puppe F (2003) Incremental development of diagnostic set-covering models with therapy effects. Int J Uncertain Fuzziness Knowl Based Syst 11(Suppl Issue 2): 25\u201349","journal-title":"Int J Uncertain Fuzziness Knowl Based Syst"},{"key":"350_CR13","unstructured":"Baumeister J et\u00a0al (2008) The knowledge modeling environment d3web.KnowME, open-source at: http:\/\/d3web.sourceforge.net"},{"issue":"4","key":"350_CR14","doi-asserted-by":"crossref","first-page":"833","DOI":"10.1145\/571647.571649","volume":"21","author":"BB Bederson","year":"2002","unstructured":"Bederson BB, Shneiderman B, Wattenberg M (2002) Ordered and quantum treemaps: making effective use of 2D space to display hierarchies. ACM Trans Graph (TOG) 21(4): 833\u2013854","journal-title":"ACM Trans Graph (TOG)"},{"issue":"1","key":"350_CR15","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1007\/s10115-006-0046-2","volume":"13","author":"J Blanchard","year":"2007","unstructured":"Blanchard J, Guillet F, Briand H (2007) Interactive visual exploration of association rules with rule- focusing methodology. Knowl Inf Syst 13(1): 43\u201375","journal-title":"Knowl Inf Syst"},{"key":"350_CR16","unstructured":"Bresciani S, Eppler MJ (2008) Do visualizations foster experience sharing and retention in groups? towards an experimental validation. In: Proceedings of I-KNOW \u201908 and I-MEDIA \u201908"},{"issue":"2","key":"350_CR17","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1007\/s10115-007-0075-5","volume":"13","author":"Y Cai","year":"2007","unstructured":"Cai Y, Stumpf R, Wynne T, Tomlinson M, Chung DSH, Boutonnier X, Ihmig M, Franco R, Bauernfeind N (2007) Visual transformation for interactive spatiotemporal data mining. Knowl Inf Syst 13(2): 119\u2013142","journal-title":"Knowl Inf Syst"},{"issue":"3","key":"350_CR18","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1016\/0004-3702(85)90016-5","volume":"27","author":"WJ Clancey","year":"1985","unstructured":"Clancey WJ (1985) Heuristic classification. Artif Intell 27(3): 289\u2013350","journal-title":"Artif Intell"},{"key":"350_CR19","doi-asserted-by":"crossref","unstructured":"Ensan F, Du W (2010) A knowledge encapsulation approach to ontology modularization. Knowl Inf Syst. doi: 10.1007\/s10115-009-0279-y","DOI":"10.1007\/s10115-009-0279-y"},{"key":"350_CR20","unstructured":"Fluit C, Sabou M, van Harmelen F (2006) Ontology-based information visualization. In: Visualizing the semantic web. Springer, pp 36\u201348"},{"issue":"2","key":"350_CR21","doi-asserted-by":"crossref","first-page":"224","DOI":"10.1007\/s10115-003-0140-7","volume":"7","author":"P Groot","year":"2003","unstructured":"Groot P, ten Teije A, van Harmelen F (2003) A quantitative analysis of the robustness of knowledge-based systems through degradation studies. Knowl Inf Syst 7(2): 224\u2013245","journal-title":"Knowl Inf Syst"},{"key":"350_CR22","doi-asserted-by":"crossref","unstructured":"Hartung RL, H\u00e5kansson A (2007) Automated testing for knowledge based systems. In: KES 2007: proceedings of the 11th international conference on knowledge-based intelligent information and engineering systems, part I, LNCS 4693. Springer, pp 270\u2013278","DOI":"10.1007\/978-3-540-74819-9_34"},{"key":"350_CR23","doi-asserted-by":"crossref","unstructured":"Helfman R, Dumer J, Hanratty T (1995) TED-turbine engine diagnostics: an expert diagnostic system for the M1 Abrams AGT1500 turbine engine. In: 11th conference on artificial intelligence for applications. IEEE Computer Society, Los Alamitos, CA, USA, pp 1032\u20131038","DOI":"10.1109\/CAIA.1995.378774"},{"issue":"2","key":"350_CR24","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1016\/S0004-3702(02)00119-4","volume":"136","author":"T Horiyama","year":"2002","unstructured":"Horiyama T, Ibaraki T (2002) Ordered binary decision diagrams as knowledge-bases. Artif Intell 136(2): 189\u2013213","journal-title":"Artif Intell"},{"key":"350_CR25","unstructured":"Hu B, Shadbolt N (2003) Visualising a DL knowledge base with delogviz. In: DL2003: proceedings of the international workshop on description logics (CEUR 81)"},{"key":"350_CR26","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1007\/s00063-004-1020-y","volume":"3","author":"M H\u00fcttig","year":"2004","unstructured":"H\u00fcttig M, Buscher G, Menzel T, Scheppach W, Puppe F, Buscher H-P (2004) A diagnostic expert system for structured reports, quality assessment, and training of residents in sonography. Med Klin 3: 117\u2013122","journal-title":"Med Klin"},{"key":"350_CR27","unstructured":"Iglezakis I, Reinartz T, Roth-Berghofer T (2004) Maintenance memories: beyond concepts and techniques for case base maintenance. In: Advances in case-based reasoning. Springer, LNCS 3155, pp 227\u2013241"},{"issue":"6","key":"350_CR28","doi-asserted-by":"crossref","first-page":"561","DOI":"10.1023\/B:JOMS.0000044958.66816.a1","volume":"28","author":"S Ji","year":"2004","unstructured":"Ji S, Matsumura Y, Kuwata S, Nakano H, Chen Y, Teratani T, Zhang Q, Mineno T, Takeda H (2004) Creation of a master table for checking indication and contraindication of medicine from a knowledge base linked with a thesaurus. J Med Syst 28(6): 561\u2013573","journal-title":"J Med Syst"},{"key":"350_CR29","unstructured":"JSPWiki (n.d.) The open-source wiki clone JSPWiki. http:\/\/www.jspwiki.org"},{"issue":"4","key":"350_CR30","doi-asserted-by":"crossref","first-page":"380","DOI":"10.1007\/s10115-003-0135-4","volume":"6","author":"I Jurisica","year":"2004","unstructured":"Jurisica I, Mylopoulos J, Yu E (2004) Ontologies for knowledge management: an information systems perspective. Knowl Inf Syst 6(4): 380\u2013401","journal-title":"Knowl Inf Syst"},{"issue":"3","key":"350_CR31","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1016\/j.tmaid.2004.08.003","volume":"3","author":"M Kimura","year":"2005","unstructured":"Kimura M, Sakamoto M, Adachi T, Sagara H (2005) Diagnosis of febrile illnesses in returned travelers using the PC software GIDEON. Travel Med Infect Dis 3(3): 157\u2013160","journal-title":"Travel Med Infect Dis"},{"issue":"3","key":"350_CR32","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1109\/TSMCB.2002.999805","volume":"32","author":"R Knauf","year":"2002","unstructured":"Knauf R, Gonzalez AJ, Abel T (2002) A framework for validation of rule-based systems. IEEE Trans Syst Man Cybern B Cybern 32(3): 281\u2013295","journal-title":"IEEE Trans Syst Man Cybern B Cybern"},{"issue":"1","key":"350_CR33","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1007\/s10115-005-0227-4","volume":"10","author":"K Kotis","year":"2006","unstructured":"Kotis K, Vouros A (2006) Human-centered ontology engineering: the hcome methodology. Knowl Inf Syst 10(1): 109\u2013131","journal-title":"Knowl Inf Syst"},{"issue":"1","key":"350_CR34","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1002\/(SICI)1097-4571(199601)47:1<57::AID-ASI6>3.0.CO;2-1","volume":"47","author":"FW Lancaster","year":"1996","unstructured":"Lancaster FW, Ulvila JW, Humphrey SM, Smith LC, Allen B, Herner S (1996) Evaluation of interactive knowledge-based systems: overview and design for empirical testing. J Am Soc Inf Sci 47(1): 57\u201369","journal-title":"J Am Soc Inf Sci"},{"key":"350_CR35","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-32446-1","volume-title":"Logical foundations for rule-based systems, studies in computational intelligence, vol 11","author":"A Ligeza","year":"2006","unstructured":"Ligeza A (2006) Logical foundations for rule-based systems, studies in computational intelligence, vol 11. Springer, Berlin"},{"key":"350_CR36","volume-title":"Introduction to information visualization","author":"R Mazza","year":"2009","unstructured":"Mazza R (2009) Introduction to information visualization. Springer, Berlin"},{"key":"350_CR37","unstructured":"Mersmann S, Dojat M (2004) SmartCaretm\u2014automated clinical guidelines in critical care. In: ECAI\u201904\/PAIS\u201904: proceedings of the 16th European conference on artificial intelligence, including prestigious applications of intelligent systems. IOS Press, Valencia, Spain, pp 745\u2013749"},{"issue":"8","key":"350_CR38","doi-asserted-by":"crossref","first-page":"892","DOI":"10.1016\/j.knosys.2008.03.054","volume":"21","author":"SJ Miah","year":"2008","unstructured":"Miah SJ, Kerr D, Gammack J, Cowan T (2008) A generic design environment for the rural industry knowledge acquisition. Knowl Based Syst 21(8): 892\u2013899","journal-title":"Knowl Based Syst"},{"key":"350_CR39","doi-asserted-by":"crossref","unstructured":"Middelfart M, Pedersen TB (2009) Discovering sentinel rules for business intelligence. In: DEXA \u201909: proceedings of the 20th international conference on database and expert systems applications. pp 592\u2013602","DOI":"10.1007\/978-3-642-03573-9_49"},{"key":"350_CR40","unstructured":"Milne R, Nicol C (2000) TIGER: continuous diagnosis of gas turbines. In: ECAI\u201900: proceedings of the 14th European conference on artificial intelligence. Berlin, Germany"},{"key":"350_CR41","doi-asserted-by":"crossref","unstructured":"Nalepa GJ (2007) Proposal of business process and rules modeling with the XTT method. In: SYNASC \u201907: proceedings of the ninth international symposium on symbolic and numeric algorithms for scientific computing. IEEE Computer Society, Washington, DC, USA, pp 500\u2013506","DOI":"10.1109\/SYNASC.2007.58"},{"issue":"2","key":"350_CR42","first-page":"89","volume":"31","author":"GJ Nalepa","year":"2005","unstructured":"Nalepa GJ, Ligeza A (2005) A graphical tabular model for rule-based logic programming and verification. Syst Sci 31(2): 89\u201395","journal-title":"Syst Sci"},{"issue":"2","key":"350_CR43","first-page":"31","volume":"23","author":"DD Nghia","year":"2009","unstructured":"Nghia DD, Puppe F (2009) Hybrides, skalierbares Diagnosesystem f\u00fcr freie Kfz-Werkst\u00e4tten[Hybrid and scalable diagnosis system for car garages]. KI Ger AI Mag 23(2): 31\u201337","journal-title":"KI Ger AI Mag"},{"key":"350_CR44","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-09438-9","volume-title":"Principles of artificial intelligence","author":"NJ Nilsson","year":"1982","unstructured":"Nilsson NJ (1982) Principles of artificial intelligence. Springer, Berlin"},{"issue":"4","key":"350_CR45","doi-asserted-by":"crossref","first-page":"428","DOI":"10.1007\/s10115-003-0137-2","volume":"6","author":"NF Noy","year":"2004","unstructured":"Noy NF, Klein M (2004) Ontology evolution: not the same as schema evolution. Knowl Inf Syst 6(4): 428\u2013440","journal-title":"Knowl Inf Syst"},{"key":"350_CR46","first-page":"3","volume-title":"Validation, verification and test of knowledge-based systems","author":"DE O\u2019Leary","year":"1991","unstructured":"O\u2019Leary DE (1991) Design, development and validation of expert systems: a survey of developers. In: Ayel M, Laurent JP (eds) Validation, verification and test of knowledge-based systems. John Wiley & Sons Inc., London, pp 3\u201319"},{"issue":"1","key":"350_CR47","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/j.artmed.2006.08.004","volume":"39","author":"MH Ou","year":"2007","unstructured":"Ou MH, West GAW, Lazarescu M, Clay C (2007) Dynamic knowledge validation and verification for CBR teledermatology system. Art Intell Med 39(1): 79\u201396","journal-title":"Art Intell Med"},{"issue":"1","key":"350_CR48","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1016\/j.knosys.2008.07.001","volume":"22","author":"T Padma","year":"2009","unstructured":"Padma T, Balasubramanie P (2009) Knowledge based decision support system to assist work-related risk analysis in musculoskeletal disorder. Knowle Based Syst 22(1): 72\u201378","journal-title":"Knowle Based Syst"},{"key":"350_CR49","volume-title":"Probabilistic reasoning in intelligent systems: networks of plausible inference","author":"J Pearl","year":"1988","unstructured":"Pearl J (1988) Probabilistic reasoning in intelligent systems: networks of plausible inference. Morgan Kaufmann Publisher, San Mateo"},{"issue":"4","key":"350_CR50","doi-asserted-by":"crossref","first-page":"441","DOI":"10.1007\/s10115-003-0138-1","volume":"6","author":"HS Pinto","year":"2004","unstructured":"Pinto HS, Martins JP (2004) Ontologies: how can they be built?. Knowl Inf Syst 6(4): 441\u2013464","journal-title":"Knowl Inf Syst"},{"key":"350_CR51","doi-asserted-by":"crossref","unstructured":"Plaisant C, Grosjean J, Bederson BB (2002) Spacetree: supporting exploration in large node link tree, design evolution and empirical evaluation. In: INFOVIS \u201902: proceedings of the IEEE symposium on information visualization (InfoVis\u201902). pp 57\u201364","DOI":"10.1109\/INFVIS.2002.1173148"},{"key":"350_CR52","unstructured":"Preece A (1998) Building the right system right. In: Evaluating V&V methods in knowledge engineering, verification and validation of knowledge-based systems: papers from the AAAI-98 Workshop. AAAI Press, pp 38\u201345"},{"key":"350_CR53","doi-asserted-by":"crossref","unstructured":"Preece A (2001) Evaluating verification and validation methods in knowledge engineering. In: Micro-level knowledge management. Morgan-Kaufman, pp 123\u2013145","DOI":"10.1007\/978-1-4471-0351-6_6"},{"key":"350_CR54","doi-asserted-by":"crossref","first-page":"683","DOI":"10.1002\/int.4550090804","volume":"9","author":"A Preece","year":"1994","unstructured":"Preece A, Shinghal R (1994) Foundation and application of knowledge base verification. Int J Intell Syst 9: 683\u2013702","journal-title":"Int J Intell Syst"},{"key":"350_CR55","unstructured":"Puppe F (2000) Knowledge formalization patterns. In: PKAW 2000: proceedings of the Pacific rim knowledge acquisition workshop. Sydney, Australia"},{"key":"350_CR56","unstructured":"Puppe F, Atzmueller M, Buscher G, H\u00fcttig M, Luehrs H, Buscher H-P (2008) Application and evaluation of a medical knowledge system in sonography (SONOCONSULT). In: ECAI\u201908\/PAIS\u201908: proceedings of the 18th European conference on artificial intelligence, including prestigious applications of intelligent systems. IOS Press, Amsterdam, The Netherlands, pp 683\u2013687"},{"issue":"1","key":"350_CR57","first-page":"81","volume":"1","author":"JR Quinlan","year":"1986","unstructured":"Quinlan JR (1986) Induction of decision trees. Mach Learn 1(1): 81\u2013106","journal-title":"Mach Learn"},{"issue":"5","key":"350_CR58","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1016\/S0020-7373(83)80065-0","volume":"19","author":"JA Reggia","year":"1983","unstructured":"Reggia JA, Nau DS, Wang PY (1983) Diagnostic expert systems based on a set covering model. J Man Mach Stud 19(5): 437\u2013460","journal-title":"J Man Mach Stud"},{"issue":"4","key":"350_CR59","doi-asserted-by":"crossref","first-page":"402","DOI":"10.1007\/s10115-003-0136-3","volume":"6","author":"D Richards","year":"2004","unstructured":"Richards D (2004) Addressing the ontology acquisition bottleneck through reverse ontological engineering. Knowl Inf Syst 6(4): 402\u2013427","journal-title":"Knowl Inf Syst"},{"key":"350_CR60","unstructured":"Roth-Berghofer T (2003) Developing maintainable case-based reasoning systems: applying SIAM to empolis orenge. In: GWEM\u201903: German workshop on experience management, CEUR vol 67"},{"key":"350_CR61","unstructured":"Seipel D, Hopfner M, Baumeister J (2005) Declarative querying and visualizing knowledge bases in XML. In: INAP\/WLP\u201904: applications of declarative programming and knowledge management (selected papers), LNAI 3392. Springer, Berlin, pp 16\u201331"},{"key":"350_CR62","unstructured":"Shneiderman B (1991) Tree visualization with tree-maps: a 2-d space-filling approach. In: ACM transactions on graphics, vol 11. pp 92\u201399"},{"key":"350_CR63","volume-title":"Insight into data mining: theory and practice","author":"KP Soman","year":"2006","unstructured":"Soman KP, Diwakar S, Ajay V (2006) Insight into data mining: theory and practice. Prentice-Hall, Englewood Cliffs"},{"key":"350_CR64","volume-title":"Information visualization. Design for interaction","author":"R Spence","year":"2007","unstructured":"Spence R (2007) Information visualization. Design for interaction. Prentice-Hall, Upper Saddle River"},{"issue":"3","key":"350_CR65","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/s10115-009-0227-x","volume":"23","author":"I Subasic","year":"2009","unstructured":"Subasic I, Berendt B (2009) Discovery of interactive graphs for understanding and searching time-indexed corpora. Knowl Inf Syst 23(3): 293\u2013319","journal-title":"Knowl Inf Syst"},{"key":"350_CR66","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-6916-6","volume-title":"Validation and verification of knowledge based systems. Theory, tools and practice","author":"A Vermesan","year":"1999","unstructured":"Vermesan A, Coenen F (1999) Validation and verification of knowledge based systems. Theory, tools and practice. Kluwer Academic Publisher, Dordrecht"},{"issue":"1","key":"350_CR67","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1007\/s10115-002-8192-7","volume":"4","author":"S Wang","year":"2002","unstructured":"Wang S, Wang H (2002) Knowledge discovery through self-organizing maps: data visualization and query processing. Knowl Inf Syst 4(1): 31\u201345","journal-title":"Knowl Inf Syst"},{"issue":"6","key":"350_CR68","doi-asserted-by":"crossref","first-page":"1224","DOI":"10.1109\/TVCG.2007.70515","volume":"13","author":"JS Yi","year":"2007","unstructured":"Yi JS, Kang Ya, Stasko J, Jacko J (2007) Toward a deeper understanding of the role of interaction in information visualization. IEEE Trans Vis Comput Graph 13(6): 1224\u20131231","journal-title":"IEEE Trans Vis Comput Graph"},{"key":"350_CR69","unstructured":"Zacharias V (2007) Visualization of rule bases\u2014the overall structure. In: I-KNOW \u201907: proceedings of international conference on knowledge management"},{"key":"350_CR70","doi-asserted-by":"crossref","unstructured":"Zacharias V (2008) Development and verification of rule based systems\u2014a survey of developers. In: RuleML \u201908: proceedings of the international symposium on rule representation, interchange and reasoning on the Web, LNCS 5321. Springer-Verlag, Berlin, Heidelberg, pp 6\u201316","DOI":"10.1007\/978-3-540-88808-6_4"},{"issue":"4","key":"350_CR71","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1016\/S0167-9236(97)00044-4","volume":"21","author":"NP Zlatareva","year":"1997","unstructured":"Zlatareva NP (1997) Verification of non-monotonic knowledge bases. Decis Support Syst 21(4): 253\u2013261","journal-title":"Decis Support Syst"}],"container-title":["Knowledge and Information Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10115-010-0350-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10115-010-0350-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10115-010-0350-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,13]],"date-time":"2020-06-13T01:08:59Z","timestamp":1592010539000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10115-010-0350-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,10,19]]},"references-count":71,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2011,11]]}},"alternative-id":["350"],"URL":"https:\/\/doi.org\/10.1007\/s10115-010-0350-8","relation":{},"ISSN":["0219-1377","0219-3116"],"issn-type":[{"value":"0219-1377","type":"print"},{"value":"0219-3116","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,10,19]]}}}